Kurs:Elemente der Algebra (Osnabrück 2024-2025)/Vorlesung 1/latex
\setcounter{section}{1}
\zwischenueberschrift{Der Gruppenbegriff}
\inputdefinition
{}
{
Eine \definitionswort {Verknüpfung}{} $\circ$ auf einer Menge $M$ ist eine \definitionsverweis {Abbildung}{}{} \maabbeledisp {\circ} {M\times M} {M } {(x,y)} {\circ(x,y) = x \circ y } {.}
}
Statt
\mathl{\circ (x,y)}{} schreibt man
\mathl{x \circ y}{} oder
\zusatzklammer {je nach Kontext} {} {}
\mathl{x + y}{} oder
\mathl{x * y}{} oder einfach
\mathl{xy}{.}
\inputdefinition
{}
{
Ein \definitionswort {Monoid}{} ist eine Menge $M$ zusammen mit einer
\definitionsverweis {Verknüpfung}{}{}
\maabbdisp {\circ} {M \times M } { M
} {}
und einem ausgezeichneten Element
\mavergleichskette
{\vergleichskette
{e
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
derart, dass folgende beiden Bedingungen erfüllt sind.
\aufzaehlungzwei {Die Verknüpfung ist \stichwort {assoziativ} {,} d.h. es gilt
\mavergleichskettedisp
{\vergleichskette
{ (x \circ y) \circ z
}
{ =} { x \circ (y \circ z)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{x,y,z
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {$e$ ist \stichwort {neutrales Element} {} der Verknüpfung, d.h. es gilt
\mavergleichskettedisp
{\vergleichskette
{ x \circ e
}
{ =} { x
}
{ =} { e \circ x
}
{ } {
}
{ } {
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}
In einem Monoid ist das neutrale Element eindeutig bestimmt. Wenn es nämlich zwei Elemente
\mathkor {} {e_1} {und} {e_2} {}
gibt mit der neutralen Eigenschaft, so folgt sofort
\mavergleichskettedisp
{\vergleichskette
{e_1
}
{ =} {e_1e_2
}
{ =} {e_2
}
{ } {}
{ } {}
}
{}{}{.}
\inputdefinition
{}
{
Ein
\definitionsverweis {Monoid}{}{}
\mathl{(G, e, \circ)}{} heißt
\definitionswort {Gruppe}{,}
wenn jedes Element ein
\definitionswortenp{inverses Element}{} besitzt, d.h. wenn es zu jedem
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\mavergleichskette
{\vergleichskette
{ y
}
{ \in }{ G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ x \circ y
}
{ = }{e
}
{ = }{y \circ x
}
{ }{
}
{ }{
}
}
{}{}{}
gibt.
}
Die Menge aller Abbildungen auf einer Menge $X$ in sich selbst ist mit der Hintereinanderschaltung ein Monoid; die nicht bijektiven Abbildungen sind aber nicht umkehrbar, so dass sie kein Inverses besitzen und daher keine Gruppe vorliegt. Die Menge der bijektiven Selbstabbildungen einer Menge und die Menge der Bewegungen eines geometrischen Objektes sind hingegen eine Gruppe.
\inputfaktbeweis
{Gruppe/Eindeutige Existenz des Inversen/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei
\mathl{(G, e, \circ)}{} eine
\definitionsverweis {Gruppe}{}{.}}
\faktfolgerung {Dann ist zu jedem
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
das Element
\mavergleichskette
{\vergleichskette
{y
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{x \circ y
}
{ =} { y \circ x
}
{ =} { e
}
{ } {
}
{ } {
}
}
{}{}{}
eindeutig bestimmt.}
\faktzusatz {}
\faktzusatz {}
}
{
Es sei
\mavergleichskettedisp
{\vergleichskette
{x \circ y
}
{ =} { y \circ x
}
{ =} { e
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{x \circ z
}
{ =} { z \circ x
}
{ =} {e
}
{ } {
}
{ } {
}
}
{}{}{.}
Dann ist
\mavergleichskettedisp
{\vergleichskette
{ y
}
{ =} { y \circ e
}
{ =} { y \circ ( x \circ z )
}
{ =} { ( y \circ x) \circ z
}
{ =} { e \circ z
}
}
{
\vergleichskettefortsetzung
{ =} { z
}
{ } {}
{ } {}
{ } {}
}{}{.}
Daher schreibt man das zu einem Gruppenelement
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eindeutig bestimmte inverse Element als
\mathdisp {x^{-1}} { . }
\inputdefinition
{}
{
Eine
\definitionsverweis {Gruppe}{}{}
\mathl{(G, e, \circ)}{} heißt \definitionswort {kommutativ}{}
\zusatzklammer {oder \definitionswort {abelsch}{}} {} {,}
wenn die Verknüpfung kommutativ ist, wenn also
\mavergleichskette
{\vergleichskette
{ x \circ y
}
{ = }{ y \circ x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{x,y
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt.
}
Aus der Grundvorlesung sind schon viele kommutative Gruppen bekannt. Zunächst gibt es die additiven Zahlbereiche, also
\mathdisp {(\Z, 0,+),\, (\Q, 0,+),\, (\R, 0,+),\, ({\mathbb C}, 0,+)} { , }
wobei jeweils das Inverse durch das Negative einer Zahl gegeben ist. Diese Zahlbereiche haben allerdings über die additive Gruppenstruktur hinaus noch mehr Struktur, nämlich die Multiplikation, die mit der Addition durch die Distributivgesetze verbunden sind. Dies wird später mit dem Begriff des \anfuehrung{Ringes}{} bzw. des \anfuehrung{Körpers}{} präzisiert. Bei
\mathl{\Q, \R, {\mathbb C}}{} gilt ferner, dass man durch jede von null verschiedene Zahl \anfuehrung{dividieren darf}{.} Dies ist gleichbedeutend damit, dass multiplikative Gruppen
\mathdisp {(\Q \setminus \{0\}, 1, \cdot),\, (\R \setminus \{0\} , 1, \cdot ),\, ({\mathbb C} \setminus \{0\} , 1, \cdot)} { }
vorliegen. Diese werden meistens mit
\mathl{\Q^\times,\, \R^\times,\, {\mathbb C}^\times}{} bezeichnet. Innerhalb der ganzen Zahlen darf man nur durch $1$ und $-1$ dividieren, und in der Tat ist die Menge
\mathl{\{1,-1\}}{} mit der Multiplikation eine Gruppe. Und wenn wir schon bei kleinen Gruppen sind: Es gibt im wesentlichen genau eine Gruppe mit nur einem Element, die man die
\definitionsverweis {triviale Gruppe}{}{}
nennt.
Ferner ist der Begriff des Vektorraums bekannt, also beispielsweise der
\mathl{\Q^n,\, \R^n,\, {\mathbb C}^n}{} mit komponentenweiser Addition. Das neutrale Element ist der Nullvektor
\mavergleichskette
{\vergleichskette
{ 0
}
{ = }{ (0, \ldots , 0)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
und das Inverse ist wieder das Negative eines Vektors, das wiederum komponentenweise gegeben ist. Diese Gruppen sind alle kommutativ.
Die Drehungen in der Ebene an einem regelmäßigen $n$-Eck bilden wiederum eine kommutative Gruppe, die aus $n$ Elementen besteht
\zusatzklammer {siehe unten} {} {.}
Die Menge aller ebenen Drehungen zu einem beliebigen Winkel
\mathbed {\alpha} {}
{0 \leq \alpha < 2 \pi} {}
{} {} {} {,} ist ebenfalls eine Gruppe, die sogenannte \stichwort {Kreisgruppe} {.} Sie ist die eigentliche Symmetriegruppe des Kreises.
\zwischenueberschrift{Lösbarkeit von Gleichungen}
Häufig wird gesagt, dass es in der Algebra um die Lösbarkeit und die Lösungen von Gleichungen geht.
\inputfaktbeweis
{Gruppe/Lösbarkeit von Gleichungen/Fakt}
{Satz}
{}
{
\faktsituation {}
\faktvoraussetzung {Es sei
\mathl{(G,e,\circ)}{} eine
\definitionsverweis {Gruppe}{}{.}}
\faktfolgerung {Dann besitzen zu je zwei Gruppenelementen
\mavergleichskette
{\vergleichskette
{a,b
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die beiden Gleichungen
\mathdisp {a \circ x=b \text{ und } y \circ a=b} { }
eindeutige Lösungen
\mavergleichskette
{\vergleichskette
{x,y
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Wir betrachten die linke Gleichung. Aus beidseitiger Multiplikation mit $a^{-1}$
\zusatzklammer {bzw. mit $a$} {} {}
von links folgt, dass nur
\mavergleichskettedisp
{\vergleichskette
{ x
}
{ =} { a^{-1} \circ b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
als Lösung in Frage kommt. Wenn man dies einsetzt, so sieht man, dass es sich in der Tat um eine Lösung handelt.
\inputbemerkung
{}
{
Im Aufbau des Zahlensystems spielt das Bestreben eine wichtige Rolle, Gleichungen eines bestimmten Typs lösbar zu machen. So erklärt sich der Übergang von
\mathkor {} {\N} {nach} {\Z} {}
dadurch, Gleichungen der Form
\mathdisp {a+x=b \text{ mit } a,b \in \N} { , }
lösen zu können, und der Übergang von
\mathkor {} {\Z} {nach} {\Q} {}
dadurch, Gleichungen der Form
\mathdisp {ax=b \text{ mit } a,b \in \Z,\, a \neq 0} { , }
lösen zu können. Das entspricht dem Übergang vom Monoid
\mathl{(\N,0,+)}{} zur Gruppe
\mathl{(\Z,0,+)}{} und dem Übergang vom Monoid
\mathl{(\Z \setminus \{0\} ,1, \cdot )}{} zur Gruppe
\mathl{(\Q \setminus \{0\}, 1, \cdot)}{.}
}
\zwischenueberschrift{Potenzgesetze}
Es sei $G$ eine
\zusatzklammer {multiplikativ geschriebene} {} {}
Gruppe und
\mavergleichskette
{\vergleichskette
{ g
}
{ \in }{ G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Element. Dann definieren wir zu jeder ganzen Zahl
\mavergleichskette
{\vergleichskette
{ k
}
{ \in }{ \Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die $k$-te \stichwort {Potenz} {} von $g$, geschrieben $g^k$, durch
\mavergleichskettedisp
{\vergleichskette
{ g^k
}
{ =} { \begin{cases} e_G, \text{ falls } k = 0 \, , \\
g g \cdots g \, \, \, \, \, \, k\text{-mal}, \text{ falls } k \text{ positiv ist} \, , \\
g^{-1} g^{-1} \cdots g^{-1} \, \, \, \, \, \, (-k)\text{-mal}, \text{ falls } k \text{ negativ ist} \, . \end{cases}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
Bei additiver Schreibweise schreibt man $kg$ und spricht vom $k$-ten \stichwort {Vielfachen} {} von $g$.
\inputfaktbeweis
{Gruppentheorie/Potenzgesetze/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktvoraussetzung {Es sei $G$ eine
\definitionsverweis {Gruppe}{}{}
und
\mavergleichskette
{\vergleichskette
{g
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Element. Ferner seien
\mavergleichskette
{\vergleichskette
{m,n
}
{ \in }{\Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ganze Zahlen.}
\faktfolgerung {Dann gelten die folgenden Potenzgesetze.
\aufzaehlungzwei {Es ist
\mavergleichskette
{\vergleichskette
{ g^0
}
{ = }{ e_G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {Es ist
\mavergleichskette
{\vergleichskette
{ g^{m+n}
}
{ = }{ g^m g^n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}}
\faktzusatz {}
\faktzusatz {}
}
{
Die erste Aussage folgt aus der Definition. Die zweite Aussage ist klar, wenn beide Zahlen $\geq 0$ oder beide $\leq 0$ sind. Es sei also $m$ positiv und $n$ negativ. Bei
\mavergleichskette
{\vergleichskette
{ m
}
{ \geq }{ -n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
kann man in
\mathl{g^mg^n}{} \anfuehrung{innen}{} $-n$-mal $g$ mit $g^{-1}$ zu $e_G$ kürzen, und übrig bleibt die
\mavergleichskette
{\vergleichskette
{ m-(-n)
}
{ = }{ (m+n)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{-}te Potenz von $g$, also
\mathl{g^{m+n}}{.} Bei
\mavergleichskette
{\vergleichskette
{ m
}
{ < }{ -n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
kann man $m$-mal $g$ mit $g^{-1}$ kürzen und übrig bleibt die
\mathl{-n-m=-(m+n)}{-} te Potenz von $g^{-1}$. Das ist wieder
\mathl{g^{m+n}}{.}
Die vorstehende Aussage werden wir später so formulieren, dass ein Gruppenhomomorphismus von $\Z$ nach $G$ vorliegt, siehe hierzu auch
Lemma 10.7.
\zwischenueberschrift{Gruppenordnung und Elementordnung}
\inputdefinition
{}
{
Zu einer endlichen
\definitionsverweis {Gruppe}{}{}
$G$ bezeichnet man die Anzahl ihrer Elemente als \definitionswort {Gruppenordnung}{} oder als die \definitionswort {Ordnung der Gruppe}{,} geschrieben
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{ord} \, (G)
}
{ =} { { \# \left( G \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputdefinition
{}
{
Es sei $G$ eine
\definitionsverweis {Gruppe}{}{}
und
\mavergleichskette
{\vergleichskette
{g
}
{ \in }{G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Element. Dann nennt man die kleinste positive Zahl $n$ mit
\mavergleichskette
{\vergleichskette
{g^n
}
{ = }{e_G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die \definitionswort {Ordnung}{} von $g$. Man schreibt hierfür
\mathl{\operatorname{ord} \, (g)}{.} Wenn alle positiven Potenzen von $g$ vom neutralen Element verschieden sind, so setzt man
\mavergleichskette
{\vergleichskette
{ \operatorname{ord} \, (g)
}
{ = }{ \infty
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
\inputfaktbeweis
{Gruppentheorie/Endlich/Ordnung/Verschieden/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $G$ eine endliche
\definitionsverweis {Gruppe}{}{.}}
\faktfolgerung {Dann besitzt jedes Element
\mavergleichskette
{\vergleichskette
{ g
}
{ \in }{ G
}
{ }{}
{ }{}
{ }{}
}
{}{}{}
eine endliche
\definitionsverweis {Ordnung}{}{.}}
\faktzusatz {Die Potenzen
\mathdisp {g^0=e_G,\, g^1=g,\, g^2 , \ldots , g^{ \operatorname{ord} \, (g)-1}} { }
sind alle verschieden.}
\faktzusatz {}
}
{
Da $G$ endlich ist, muss es unter den Potenzen zu den positiven Exponenten
\mathdisp {g^1,\, g^2, \, g^3, \ldots} { }
eine Wiederholung geben, sagen wir \mathkon { g^m=g^n } { mit } { m < n }{ .} Wir multiplizieren diese Gleichung mit $g^{-m}$ und erhalten
\mavergleichskettedisp
{\vergleichskette
{ g^{n-m}
}
{ =} { g^mg^{-m}
}
{ =} { (g^1 g^{-1})^{m}
}
{ =} { e_G^m
}
{ =} { e_G
}
}
{}{}{.}
Also ist die Ordnung von $g$ maximal gleich
\mathl{n-m}{.} Mit dem gleichen Argument kann man die Annahme, dass es unterhalb der Ordnung zu einer Wiederholung kommt, zum Widerspruch führen.
\zwischenueberschrift{Untergruppen}
\inputdefinition
{}
{
Es sei
\mathl{(G,e,\circ)}{} eine
\definitionsverweis {Gruppe}{}{.}
Eine Teilmenge
\mavergleichskette
{\vergleichskette
{ H
}
{ \subseteq }{ G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt \definitionswort {Untergruppe}{} von $G$ wenn folgendes gilt.
\aufzaehlungdrei{
\mavergleichskette
{\vergleichskette
{ e
}
{ \in }{ H
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Mit
\mavergleichskette
{\vergleichskette
{ g,h
}
{ \in }{ H
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist auch
\mavergleichskette
{\vergleichskette
{ g \circ h
}
{ \in }{ H
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Mit
\mavergleichskette
{\vergleichskette
{ g
}
{ \in }{ H
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist auch
\mavergleichskette
{\vergleichskette
{ g^{-1}
}
{ \in }{ H
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}
Man hat beispielsweise die beiden Ketten von sukzessiven additiven Untergruppen,
\mavergleichskettedisp
{\vergleichskette
{\Z
}
{ \subseteq} {\Q
}
{ \subseteq} { \R
}
{ \subseteq} { {\mathbb C}
}
{ } {}
}
{}{}{}
und multiplikativen Gruppen
\mavergleichskettedisp
{\vergleichskette
{ \{ 1,-1\}
}
{ \subseteq} { \Q^\times
}
{ \subseteq} { \R^\times
}
{ \subseteq} { {\mathbb C}^\times
}
{ } {}
}
{}{}{.}
Die triviale Gruppe $\{e\}$ ist Untergruppe von jeder Gruppe. Untervektorräume eines Vektorraums sind ebenfalls Untergruppen.
{Durchschnitt von Untergruppen/Fakt}
{Lemma}
{}
{
Es sei $G$ eine
\definitionsverweis {Gruppe}{}{}
und
\mathbed {H_i \subseteq G} {}
{i \in I} {}
{} {} {} {,} eine Familie von
\definitionsverweis {Untergruppen}{}{.}
Dann ist auch der Durchschnitt
\mathdisp {\bigcap_{i \in I} H_i} { }
eine Untergruppe von $G$.
{ Siehe Aufgabe 1.15. }
\inputdefinition
{}
{
Es sei $G$ eine
\definitionsverweis {Gruppe}{}{}
und
\mavergleichskette
{\vergleichskette
{ M
}
{ \subseteq }{ G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Teilmenge. Dann nennt man
\mavergleichskettedisp
{\vergleichskette
{ (M)
}
{ =} { \bigcap _{M \subseteq H,\, H \, \text{Untergruppe} } H
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die von $M$ \definitionswort {erzeugte Untergruppe}{.}
}
Insbesondere spricht man zu einer endlichen Menge
\mavergleichskette
{\vergleichskette
{ g_1 , \ldots , g_n
}
{ \in }{ G
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
von der davon erzeugten Untergruppe
\mathdisp {(g_1, \ldots , g_n)} { . }
Sie besteht aus allen \anfuehrung{Wörtern}{} oder \anfuehrung{Termen}{}
\zusatzklammer {Buchstabenkombinationen} {} {}
in den \mathkon { g_i } { und } { g_i^{-1} }{ .} Zu einem einzigen Element $g$ hat die davon erzeugte Gruppe eine besonders einfache Gestalt, sie besteht nämlich aus allen Potenzen
\mathdisp {g^k,\, k \in \Z} { , }
wobei diese Potenzen untereinander nicht verschieden sein müssen.
\zwischenueberschrift{Zyklische Gruppen}
\inputdefinition
{}
{
Eine \definitionsverweis {Gruppe}{}{} $G$ heißt \definitionswort {zyklisch}{,} wenn sie von einem Element erzeugt wird.
}
Die Gruppe $\Z$ der ganzen Zahlen ist zyklisch, und zwar ist $1$ aber auch $-1$ ein Erzeuger. Alle anderen ganzen Zahlen sind kein Erzeuger von $\Z$, da die $1$ nur ein ganzzahliges Vielfaches von $1$ und von $-1$ ist
\zusatzklammer {allerdings ist die von einer ganzen Zahl
\mavergleichskette
{\vergleichskette
{ n
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
erzeugte Untergruppe \anfuehrung{isomorph}{} zu $\Z$} {} {.}
Ebenso sind die \anfuehrung{Restklassengruppen}{}
\zusatzklammer {siehe
\inputbeispiel{}
{
Es sei
\mathl{n \in \N}{.} Bei Division durch $n$ besitzt jede ganze Zahl $k$ einen eindeutig bestimmten Rest aus
\mavergleichskettedisp
{\vergleichskette
{ \Z/(n)
}
{ =} { \{0, 1 , \ldots , n-1 \}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
den man mit
\mathl{k \mod n}{} bezeichnet. Auf der Menge dieser Reste kann man addieren, und zwar setzt man
\mavergleichskettedisp
{\vergleichskette
{ a +b
}
{ \defeq} {(a+b) \mod n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
D.h. man ersetzt die in $\Z$ durch die gewöhnliche Addition gewonnene Summe durch ihren Rest modulo $n$. Dies ist ebenfalls eine zyklische Gruppe, siehe
Aufgabe 1.19,
mit $1$ als Erzeuger.
}} {} {}
\mavergleichskettedisp
{\vergleichskette
{ \Z/(n)
}
{ =} { \{0, 1 , \ldots , n-1 \}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
zyklisch, und $1$ und $-1$ sind ebenfalls Erzeuger. Allerdings gibt es dort in aller Regel noch viele weitere Erzeuger; mit deren genauer Charakterisierung werden wir uns in
Satz 16.4
beschäftigen.
Wie gesagt, in einer zyklischen Gruppe gibt es ein Element $g$ derart, dass man jedes andere Element als $g^k$ mit einer ganzen Zahl
\mavergleichskette
{\vergleichskette
{ k
}
{ \in }{ \Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
schreiben kann, die im Allgemeinen nicht eindeutig bestimmt ist. Daraus folgt sofort die folgende Beobachtung.
{Zyklische Gruppe/Kommutativ/Fakt}
{Lemma}
{}
{
\faktsituation {}
\faktvoraussetzung {Eine
\definitionsverweis {zyklische Gruppe}{}{}}
\faktfolgerung {ist kommutativ.}
\faktzusatz {}
\faktzusatz {}
}
Wir erwähnen zwei Modelle für die zyklische Gruppe der Ordnung $n$.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {2007-07-09Aquilegia01.jpg} }
\end{center}
\bildtext {Eine zyklische Blüte der Ordnung fünf.} }
\bildlizenz { 2007-07-09Aquilegia01.jpg } {} {Wildfeuer} {Commons} {CC-BY-SA-3.0} {}
\inputbeispiel{}
{
Es sei
\mavergleichskette
{\vergleichskette
{ n
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann bilden die ebenen Drehungen um Vielfache des Winkels
\mathl{360/n}{} Grad eine zyklische Gruppe der Ordnung $n$.
}
\inputbeispiel{}
{
Es sei
\mathl{n \in \N}{.} Bei Division durch $n$ besitzt jede ganze Zahl $k$ einen eindeutig bestimmten Rest aus
\mavergleichskettedisp
{\vergleichskette
{ \Z/(n)
}
{ =} { \{0, 1 , \ldots , n-1 \}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
den man mit
\mathl{k \mod n}{} bezeichnet. Auf der Menge dieser Reste kann man addieren, und zwar setzt man
\mavergleichskettedisp
{\vergleichskette
{ a +b
}
{ \defeq} {(a+b) \mod n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
D.h. man ersetzt die in $\Z$ durch die gewöhnliche Addition gewonnene Summe durch ihren Rest modulo $n$. Dies ist ebenfalls eine zyklische Gruppe, siehe
Aufgabe 1.19,
mit $1$ als Erzeuger.
}