Injektives Objekt

Injektives Objekt ist ein Begriff aus dem mathematischen Teilgebiet der Kategorientheorie.

Definition

Injektivesobjekt.png

In einer Kategorie {\mathcal  {C}} heißt ein Objekt  Q injektiv, wenn es zu jedem Monomorphismus \alpha \colon A\rightarrow B und jedem {\displaystyle f\colon A\rightarrow Q} ein {\displaystyle f^{*}\colon B\rightarrow Q} gibt, so dass {\displaystyle f^{*}\circ \alpha =f} ist.

Demnach ist Q genau dann injektiv, wenn für alle Monomorphismen \alpha \colon A\rightarrow B die induzierte Abbildung {\displaystyle \mathrm {Mor} _{\mathcal {C}}(B,Q)\ni g\mapsto g\circ \alpha \in \mathrm {Mor} _{\mathcal {C}}(A,Q)} surjektiv ist.

Beispiele

Injektive Moduln

Für einen Rechtsmodul  Q über einem Ring R sind die folgenden Aussagen äquivalent.

  1.  Q ist in der Kategorie der Rechtsmoduln injektiv.
  2. Für jeden Monomorphismus {\displaystyle \alpha \colon Q\rightarrow M} gibt es ein {\displaystyle \beta \colon M\rightarrow Q} mit {\displaystyle \beta \circ \alpha =\mathbf {1} _{Q}}. Dabei ist {\displaystyle \mathbf {1} _{Q}} die Identität auf  Q .
  3. Baersches Kriterium: Für jedes Rechtsideal {\displaystyle {\mathfrak {a}}\hookrightarrow R} und jedem Homomorphismus {\displaystyle f\colon {\mathfrak {a}}\rightarrow Q} gibt es ein {\displaystyle f^{*}\colon R\rightarrow Q}, so dass {\displaystyle f^{*}\circ \iota =f} ist.

Injektive Moduln wurden 1940 von Reinhold Baer eingeführt, der allerdings das Adjektiv complete (d.h. vollständig) statt injektiv verwendete. Die deutsche Bezeichnung injektiver Modul lässt sich 1953 belegen.

Beispiele

  1. Ein Ring ist halbeinfach genau dann, wenn jeder Modul über dem Ring injektiv ist. Daher ist jeder Vektorraum über einem Schiefkörper injektiv. Aus dem Baerschen Kriterium ergibt sich, dass über Hauptidealringen genau die teilbaren Moduln injektiv sind. Dabei ist ein Modul teilbar genau dann, wenn {\displaystyle Q\cdot r=Q} ist für alle Ringelemente  r.
  2. Ist {\displaystyle (Q_{i}|i\in I)} eine Familie von Moduln, so ist das direkte Produkt der Familie genau dann injektiv, wenn jedes {\displaystyle Q_{i}} injektiv ist.
  3. Ein Ring ist noethersch genau dann, wenn die direkte Summe von injektiven Moduln injektiv ist. Dies ist eine Verallgemeinerung der entsprechenden Aussage über teilbare abelsche Gruppen.
  4. Über einem erblichen (hereditären) Ring ist jedes epimorphe Bild eines injektiven Moduls injektiv. Dies ist eine Verallgemeinerung des entsprechenden Satzes über teilbare Gruppen.
  5. Über einem Integritätsring ist ein torsionsfreier Modul genau dann injektiv, wenn er teilbar ist.
  6. Ist {\displaystyle \rho \colon S\rightarrow R} ein unitärer Ringhomomorphismus, so ist R auf beiden Seiten ein S- Modul. Ist  Q ein weiterer S- Modul, so trägt die Menge der S-Homomorphismen {\displaystyle \operatorname {Hom} _{S}(R,Q)} auf der rechten Seite eine R-Modulstruktur durch {\displaystyle (\alpha \cdot r)(x)\colon =\alpha (r\cdot x)}. Es gilt: Ist  Q als S Modul injektiv, so ist {\displaystyle \operatorname {Hom} _{S}(R,Q)} ein injektiver R-Modul. Besonders wichtig ist dies im Fall {\displaystyle S=\mathbb {Z} }. Ist D eine teilbare Gruppe, also als  \Z -Modul injektiv, so ist {\displaystyle \operatorname {Hom} _{\mathbb {Z} }(R,D)} ein injektiver R-Modul.

Es gibt genügend viele injektive Moduln

Jeder Modul  M kann monomorph in einen injektiven Modul abgebildet werden.

Injektive Hülle

Ein Untermodul {\displaystyle U\hookrightarrow Q} heißt groß , wenn \{0\} der einzige Untermodul von  Q ist, der mit  U den Durchschnitt \{0\} hat. Ein Monomorphismus {\displaystyle \alpha :M\rightarrow Q} heißt wesentlich, wenn {\displaystyle \alpha (M)} groß in  Q ist. Es gilt:

Jeder Modul kann wesentlich in einen injektiven Modul  Q abgebildet werden. Der Modul  Q ist durch diese Eigenschaft bis auf Isomorphie eindeutig bestimmt. Er heißt injektive Hülle von M und wird oft mit {\displaystyle I(M)} bezeichnet.

Unzerlegbare injektive Moduln

Ein Modul  M heißt direkt unzerlegbar, wenn er nicht direkte Summe zweier Untermoduln ungleich Null ist. Für einen Modul  M sind folgende Aussagen äquivalent.

  1. Jeder Untermodul ungleich dem Nullmodul ist groß in  M .
  2. Die injektive Hülle {\displaystyle I(M)} ist direkt unzerlegbar.
  3. {\displaystyle I(M)} ist die injektive Hülle eines jeden Untermoduls ungleich Null.
  4. Der Endomorphismenring von {\displaystyle I(M)} ist lokal.

Ein Modul, der die äquivalenten Eigenschaften des Satzes erfüllt heißt uniform .  M wird dann oft auch irreduzibel (durchschnittsirreduzibel) genannt.

Beispiele

Siehe auch

Trenner
Basierend auf einem Artikel in: Wikipedia.de
Seitenende
Seite zurück
©  biancahoegel.de
Datum der letzten Änderung: Jena, den: 09.11. 2020