Direkte Summe abelscher Gruppen

Der Begriff direkte Summe abelscher Gruppen verallgemeinert den Begriff der direkten Summe von Vektorräumen. Er ist von großer Bedeutung für die Theorie abelscher Gruppen. Kann eine Gruppe in eine direkte Summe zerlegt werden, so wird dadurch die Struktur der Gruppe auf einfachere Gruppen zurückgeführt. Neue Gruppen können aus den direkten Summanden gebildet werden. Die meisten Struktursätze machen eine Aussage über eine direkte Zerlegung von Gruppen.

Definitionen

Die abelsche Gruppe $A$ heißt genau dann direkte Summe zweier Untergruppen $A_{1}$ , $A_{2}$ , wenn folgende zwei Bedingungen erfüllt sind.

$A_{1}+A_{2}=A$ .
$A_{1}\cap A_{2}=0$ .

In diesem Fall wird geschrieben

A=A_{1}\oplus A_{2}

. Dabei bezeichnet

0

die Untergruppe, die nur das neutrale Element

0

enthält.

Eine Untergruppe $A_{1}\hookrightarrow A$ heißt direkter Summand, wenn es eine Untergruppe $A_{2}$ gibt mit: $A=A_{1}\oplus A_{2}$ . In diesem Fall heißt $A_{2}$ Komplement von $A_{1}$ .
$A$ heißt direkt unzerlegbar, wenn $A$ und $0$ die einzigen direkten Summanden von $A$ sind.
Sei $(A_{i}\mid i\in I)$ eine Familie von Untergruppen von $A$ . Die Gruppe $A$ heißt direkte Summe der $(A_{i}|i\in I)$ , wenn folgende Bedingungen erfüllt sind.

$\sum _{i\in I}A_{i}=A$ . Die Familie $(A_{i}\mid i\in I)$ erzeugt $A$ .
Für jedes $i\in I$ gilt: $A_{i}\cap \sum _{j\neq i}A_{j}=0$ .

Es wird geschrieben:

A=\bigoplus \limits _{i\in I}A_{i}

, oder

A=A_{1}\oplus \dots \oplus A_{n}

, falls

I=\{1,\dots ,n\}

.^[1]

Erläuterungen, einfache Sätze

Es seien $B,C$ Untergruppen der abelschen Gruppe $A$ . Dann sind folgende Aussagen äquivalent:
- Es ist $A=B\oplus C$ .
- Jedes $a\in A$ lässt sich eindeutig schreiben als $a=b+c$ mit $b\in B,c\in C$ .
- Es ist $A=B+C$ und aus $0=b+c$ mit $b\in B,c\in C$ folgt $b=0=c$ .
Ist $A=B\oplus C$ , so haben die beiden Endomorphismen $\pi _{B}\colon A\ni b+c\mapsto b\in A$ und $\pi _{C}\colon a\ni b+c\mapsto c\in A$ die folgende Eigenschaft: $\pi _{B}^{2}=\pi _{B},\pi _{C}^{2}=\pi _{C},\pi _{C}\pi _{B}=\pi _{B}\pi _{C}=0$ und $1_{A}=\pi _{B}+\pi _{C}$ . Dabei ist $1_{A}$ die Identität auf $A$ .

Homomorphismen liefern eine Möglichkeit, direkte Summanden zu kennzeichnen und zu erkennen:

Seien $A{\overset {f}{\longrightarrow }}B{\overset {g}{\longrightarrow }}C$ Homomorphismen. Dann gilt:

$gf$ ist ein Monomorphismus $\iff \operatorname {Bild} (f)\cap \operatorname {Kern} (g)=0$ und $f$ ist ein Monomorphismus.
Ist $gf$ ein Epimorphismus, dann ist $\operatorname {Bild} (f)+\operatorname {Kern} (g)=B$ .
Ist $gf$ ein Isomorphismus, dann ist $\operatorname {Bild} (f)\oplus \operatorname {Kern} (g)=B$ .^[2]

Für eine Untergruppe $B\hookrightarrow A$ sind folgende Aussagen äquivalent:

$B$ ist direkter Summand in $A$ .
Es gibt einen Endomorphismus $\pi \colon A\to A$ mit: $\pi ^{2}=\pi$ und $\pi (A)=B$ .
Ist $\iota \colon B\to A$ die Inklusionsabbildung, so gibt es einen Homomorphismus $\pi \colon A\to B$ mit $\pi \iota =1_{B}$ .

Beispiele

$0$ ist direkter Summand in jeder Gruppe.
Es sei $A$ die zyklische Gruppe $A=\mathbb {Z} /6\mathbb {Z} =\{0,1,2,3,4,5\}$ mit der zugehörigen Addition. Es sei $U=\{0,3\},V=\{0,2,4\}$ . Dann ist $A=U\oplus V$ . Es sind $U$ und $V$ Untergruppen von $A$ . Ihr Durchschnitt ist $0$ und ihre Summe ist $A$ . Es ist beispielsweise $3+4=1{\bmod {6}}$ .
Die Gruppen der ganzen Zahlen $\mathbb {Z}$ und der rationalen Zahlen $\mathbb {Q}$ sind unzerlegbar. Ist $p$ eine Primzahl, so ist $\mathbb {Z} /p\mathbb {Z}$ direkt unzerlegbar.
Hat die abelsche Gruppe eine größte Untergruppe $\neq A$ , dann ist $A$ direkt unzerlegbar. Ist $p$ eine Primzahl, so hat $A=\mathbb {Z} /p^{n}\mathbb {Z}$ die größte Untergruppe $p\mathbb {Z} /p^{n}\mathbb {Z} \neq A$ . Also ist $A$ direkt unzerlegbar.
Sind $a,b$ teilerfremde ganze Zahlen, so ist $\mathbb {Z} /(a\cdot b)\mathbb {Z} =a\mathbb {Z} /(a\cdot b)\mathbb {Z} \oplus b\mathbb {Z} /(a\cdot b)\mathbb {Z}$ .
Das letzte Beispiel hat eine starke Verallgemeinerung: Sei $A$ eine Gruppe und $n\in \mathbb {N}$ mit $A\cdot n=0$ . Außerdem sei $n=r\cdot s$ mit teilerfremden $r,s$ . Dann ist $A=A\cdot r\oplus A\cdot s$ .
Ist $\mathbb {Z} ^{2}=\{(z_{1},z_{2})|z_{1},z_{2}\in \mathbb {Z} \}$ , so ist $\mathbb {Z} ^{2}={\vec {e_{1}}}\mathbb {Z} \oplus {\vec {e_{2}}}\mathbb {Z}$ , wobei ${\vec {e_{1}}}=(1,0),{\vec {e_{2}}}=(0,1)$ ist. Das Komplement von ${\vec {e_{1}}}\mathbb {Z}$ ist keineswegs eindeutig bestimmt. Es ist zum Beispiel auch $\mathbb {Z} ^{2}={\vec {e_{1}}}\mathbb {Z} \oplus (z,1)\mathbb {Z}$ für alle $z\in \mathbb {Z}$ .
Das letzte Beispiel gilt allgemeiner. Sei $n\geq 1$ eine natürliche Zahl. $\mathbb {Z} ^{n}:=\{(z_{1},\dots ,z_{n})|z_{i}\in \mathbb {Z} \}$ die Menge der $n$ - Tupel mit Komponenten aus $\mathbb {Z}$ . Weiter sei ${\vec {e_{i}}}$ das Tupel, das an der Stelle $i$ eine $1$ hat und an anderen Stellen $0$ . Dann ist $\mathbb {Z} ^{n}=\bigoplus \limits _{i=1}^{n}{\vec {e}}_{i}\mathbb {Z}$ .
Um zu bestimmen, ob eine Untergruppe von $\mathbb {Z} ^{2}$ direkter Summand ist, gibt es ein einfaches Kriterium:

Sei

{\vec {a}}=(a_{1},a_{2})\in \mathbb {Z} ^{2}

. Dann sind folgende Aussagen äquivalent.

${\vec {a}}\mathbb {Z}$ ist direkter Summand in $\mathbb {Z} ^{2}$ .
Es gibt $b_{1},b_{2}\in \mathbb {Z}$ mit $a_{1}\cdot b_{1}+a_{2}\cdot b_{2}=1$ .

Einige Gitter und Determinante als Flächeninhalt
Ein Gitter mit den erzeugenden Vektoren $(1,0)\mathbb {Z} ,(0,1)\mathbb {Z}$
Die Determinante als Flächeninhalt
Ein Gitter mit den erzeugenden Vektoren $(1,1)\mathbb {Z} ,(-2,-1)\mathbb {Z}$ wird dargestellt

Die Eigenschaft 2. des letzten Satzes hat eine geometrische Bedeutung: Die Untergruppe ${\vec {a}}\mathbb {Z}$ ist genau dann direkter Summand in $\mathbb {Z} ^{2}$ , wenn es einen Vektor ${\vec {b}}=(b_{1},b_{2})$ gibt, so dass ${\vec {a}},{\vec {b}}$ ein Parallelogramm vom Flächeninhalt 1 aufspannen.

Die letzte Aussage lässt sich verallgemeinern. Ist ${\vec {a}}=(a_{1},\dots ,a_{n})\in \mathbb {Z} ^{n}$ so gilt: ${\vec {a}}\mathbb {Z}$ ist genau dann direkter Summand in $\mathbb {Z} ^{n}$ , wenn die Zahlen $a_{1},\dots ,a_{n}$ den größten gemeinsamen Teiler $1$ haben.

Primäre Gruppen

Der folgende Satz macht eine Aussage über die Zerlegung von Torsionsgruppen. Dazu wird definiert: Sei $p$ eine Primzahl. Die Gruppe $A$ heißt $p$ -primär genau dann, wenn es zu jedem $a\in A$ ein $n\in \mathbb {N}$ gibt mit $a\cdot p^{n}=0$ . Die Summe aller $p$ -primären Untergruppen einer Gruppe $A$ ist $p$ -primär. Es ist die größte $p$ -primäre Untergruppe von $A$ . Sie wird mit $A_{p}$ bezeichnet und heißt $p$ -Primärkomponente von $A$ . Es gilt:

Ist

A

eine Torsionsgruppe, so ist

A=\bigoplus \limits _{p{\text{ prim}}}A_{p}

. Es ist

A

direkte Summe ihrer Primärkomponenten.

Universelle Eigenschaft

Sei $A=A_{1}+A_{2}$ für zwei Untergruppen $A_{1},A_{2}$ und $q_{i}\colon A_{i}\hookrightarrow A$ die kanonischen Inklusionen. Es sind äquivalent:

$A=A_{1}\oplus A_{2}$ .
Zu je zwei Homomorphismen $f_{i}\colon A_{i}\to B,i\in \{1,2\}$ gibt es genau einen Homomorphismus $f\colon A\to B$ mit $f\circ q_{i}=f_{i}$ für $i\in \{1,2\}$ .

Die zweite Aussage des Satzes ist die sogenannte universelle Eigenschaft der direkten Summe. Sie gilt für beliebige Indexmengen.

Sei $(A_{i}\mid i\in I)$ eine Familie von Untergruppen mit $\sum \limits _{i\in I}A_{i}=A$ . Und $q_{i}\colon A_{i}\hookrightarrow A$ seien die Inklusionen. Dann sind äquivalent:

Es ist $\bigoplus \limits _{i\in I}A_{i}=A$ .
Zu jeder Familie von Homomorphismen $f_{i}\colon A_{i}\to B$ gibt es genau ein $f\colon A\to B$ mit $f\circ q_{i}=f_{i}$ . Das heißt, folgendes Diagramm ist für alle $i\in I$ kommutativ.

Seien $(A,q_{i})$ und $(S,s_{i})$ zwei abelsche Gruppen mit $q_{i}\colon A_{i}\to A$ und $s_{i}\colon A_{i}\to S$ . Gibt es zu jeder Familie $f_{i}\colon A_{i}\to B$ genau ein $f\colon A\to B$ mit $f_{i}=f\circ q_{i}$ und genau ein $g\colon S\to B$ mit $f_{i}=g\circ s_{i}$ , so sind $A$ und $S$ isomorph.

Einige Struktursätze

Satz: Ist $f\colon A\to \mathbb {Z}$ ein Homomorphismus, so ist $A=\operatorname {Kern} (f)\oplus a\mathbb {Z}$ mit $a\in A$ und $a\cdot \mathbb {Z} \cong \mathbb {Z}$ .
Satz: Jede Untergruppe von $\mathbb {Z} ^{n}$ ist direkte Summe von höchstens $n$ zyklischen Untergruppen.
Satz: Ist $F$ torsionsfrei und von $n$ Elementen erzeugt, so gibt es einen Monomorphismus $F\to \mathbb {Z} ^{n}$ .
Folgerung: Ist $F$ eine von $n$ Elementen erzeugte torsionsfreie Gruppe, so gibt es ein $k\leq n$ , so dass $F$ isomorph zu $\mathbb {Z} ^{k}$ ist.
Ist $A$ endlich erzeugt, so ist die Torsionsuntergruppe direkter Summand von $A$ .

Einzelnachweise

↑ László Fuchs: Abelian Groups. Springer, 2015, ISBN 978-3-319-19421-9, S. 43.
↑ Frank W. Anderson, Kent R. Fuller: Rings and Categories of Modules. Springer, 1992, ISBN 0-387-97845-3, S. 66.

Literatur

Frank W. Anderson, Kent R. Fuller: Rings an Categories of Modules. Springer, 1992, ISBN 0-387-97845-3.
László Fuchs: Abelian Groups. (= Springer Monographs in Mathematics). Springer International, 2015, ISBN 978-3-319-19421-9.
Friedrich Kasch: Moduln und Ringe. Teubner, Stuttgart 1977, ISBN 3-519-02211-7.

Weblinks

Da es recht mühsam ist die Beweise zu den Tatsachen in der angegebenen Literatur zusammen zu suchen sind hier Beweise zusammengestellt.

[1] László Fuchs: Abelian Groups. Springer, 2015, ISBN 978-3-319-19421-9, S. 43.

[2] Frank W. Anderson, Kent R. Fuller: Rings and Categories of Modules. Springer, 1992, ISBN 0-387-97845-3, S. 66.

[1]

[2]

Fahrer / Team für die Suche eingeben: