Math 2.0

Associative rings and algebras Definition

Self-injective ring

Builds on RingModule over a ringInjective module

Definition

Let RR be a ring with identity. The ring RR is left self-injective if RR, viewed as a left module over itself by left multiplication, is an injective module. It is right self-injective if RR is injective as a right module over itself, and self-injective if it is both.

Remarks

Example: R=ℤ/nℤR = \Z/n\Z for n≥1n \ge 1 is self-injective. By Baer's criterion it suffices to extend maps ff from an ideal dℤ/nℤd\Z/n\Z, with d∣nd \mid n, to RR. The image a=f(d)a = f(d) satisfies (n/d)a=0(n/d) a = 0, so a=dba = db for some b∈Rb \in R, and x↦bxx \mapsto bx extends ff. Non-example: ℤ\Z is not self-injective. The map 2ℤ→ℤ2\Z \to \Z, 2m↦m2m \mapsto m, has no extension g ⁣:ℤ→ℤg \colon \Z \to \Z, since 2g(1)=12 g(1) = 1 has no solution in ℤ\Z. Left and right self-injectivity are different conditions in general. A ring is quasi-Frobenius if and only if it is left Noetherian and left self-injective.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Injective module concept
  2. Module over a ring concept
  3. Ring concept
  4. Self-injective ring definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Quasi-Frobenius_ring
About this page
Tag6ANP035KG8
URIm2://6ANP035KG8
Kinddefinition
WritingW0 stub
MSC16D50
DefinesSelf-injective ring
UsesRing, Module over a ring, Injective module
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.