Kurs:Einführung in die Algebra (Osnabrück 2009)/Vorlesung 1/latex
\setcounter{section}{1}
\zwischenueberschrift{Beispiele zu Symmetrien}
Wir beginnen diese Vorlesung, indem wir am Beispiel der Symmetrien an einem Würfel den Gruppenbegriff in Erinnerung rufen.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Snijden_kruisen_evenwijdig.png} }
\end{center}
\bildtext {} }
\bildlizenz { Snijden kruisen evenwijdig.png } {} {MADe} {nl.wikipedia} {cc-by-sa 3.0} {}
\inputbeispiel{}
{
Wir betrachten einen Würfel
\mavergleichskette
{\vergleichskette
{W
}
{ \subset }{\R^3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit der Seitenlänge $2$ und dem Nullpunkt als Mittelpunkt. Die Eckpunkte sind also
\mathdisp {(\pm 1, \pm 1, \pm 1)} { . }
Wir fragen uns, welche Möglichkeiten es gibt, den Würfel in sich selbst zu überführen. Dabei soll der Würfel nicht in irgendeiner Form deformiert werden, es ist nur erlaubt, ihn als Ganzes zu bewegen, und zwar soll die Bewegung wirklich physikalisch durchführbar sein. Man spricht auch von einer
\zusatzklammer {eigentlichen} {} {}
\stichwort {Bewegung} {} des Würfels. Bei einer solchen Bewegung verändert der Würfelmittelpunkt seine Lage nicht, und es werden Seiten auf Seiten, Kanten auf Kanten und Ecken auf Ecken abgebildet. Ebenso werden Seitenmittelpunkte auf Seitenmittelpunkte abgebildet, und gegenüberliegende Seitenmittelpunkte werden auf gegenüberliegende Seitenmittelpunkte abgebildet. Die Seitenmittelpunkte sind die sechs Punkte
\mathdisp {(\pm 1,0,0),\, (0,\pm 1,0), \, (0,0,\pm 1)} { . }
Wenn der Punkt
\mathl{(1,0,0)}{} auf den Seitenmittelpunkt $S$ abgebildet wird, so wird
\mathl{(-1,0,0)}{} auf den gegenüberliegenden Punkt, also $-S$, abgebildet. Hierbei ist jede Vorgabe von $S$ erlaubt, doch dadurch ist die Bewegung noch nicht eindeutig bestimmt. Für den Seitenmittelpunkt
\mathl{(0,1,0)}{} gibt es dann noch vier mögliche Bildpunkte
\zusatzklammer {nur $S$ und $-S$ sind ausgeschlossen} {} {,}
da man den Würfel um die durch $S$ gegebene Achse um ein Vielfaches von $90$ Grad drehen kann. Diese Drehungen entsprechen genau den Möglichkeiten, den Punkt
\mathl{(0,1,0)}{} auf einen der vier verbliebenen Seitenmittelpunkte abzubilden. Durch die Wahl des zweiten Seitenmittelpunktes $T$ ist die Bewegung dann eindeutig festgelegt. Ist das völlig klar?
Um sich das klar zu machen, sind folgende Beobachtungen sinnvoll.
\aufzaehlungdrei{Bewegungen lassen sich hintereinander ausführen, d.h. wenn man zwei Würfelbewegungen \mathkon { \varphi } { und } { \psi }{ } hat, so ist auch die \stichwort {Hintereinanderausführung} {}
\mathl{\psi \circ \varphi}{,} die zuerst $\varphi$ und dann $\psi$ durchführt, sinnvoll definiert.
}{Die \stichwort {identische Bewegung} {,} die nichts bewegt, ist eine Bewegung. Wenn man zu einer beliebigen Bewegung die identische Bewegung davor oder danach durchführt, so ändert das die Bewegung nicht.
}{Zu einer Bewegung $\varphi$ gibt es die \stichwort {entgegengesetzte Bewegung} {} \zusatzklammer {oder \anfuehrung{Rückwärtsbewegung}{}} {} {}
$\varphi^{-1}$, die die Eigenschaft besitzt, dass die Hintereinanderausführungen \mathkon { \varphi^{-1} \circ \varphi } { und } { \varphi \circ \varphi^{-1} }{ } einfach die Identität sind.
}
Mit diesen Beobachtungen kann man sich das oben erwähnte Prinzip folgendermaßen klar machen: angenommen, es gibt zwei Bewegungen \mathkon { \varphi } { und } { \psi }{ ,} die beide $(1,0,0)$ auf $S$ und $(0,1,0)$ auf $T$ abbilden. Es sei $\psi^{-1}$ die umgekehrte Bewegung zu $\psi$. Dann betrachtet man die Gesamtbewegung
\mavergleichskettedisp
{\vergleichskette
{ \theta
}
{ =} { \psi^{-1} \circ \varphi
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Diese Bewegung hat die Eigenschaft, dass \mathkor {} {(1,0,0)} {auf} {(1,0,0)} {} und dass \mathkor {} {(0,1,0)} {auf} {(0,1,0)} {} abgebildet wird, da ja $\varphi$ den Punkt \mathkor {} {(1,0,0)} {auf} {S} {} schickt und $\psi^{-1}$ den Punkt \mathkor {} {S} {auf} {(1,0,0)} {} zurückschickt
\zusatzklammer {und entsprechend für \mathlk{(0,1,0)}{}} {} {.}
$\theta$ hat also die Eigenschaft, dass sowohl
\mathkor {} {(1,0,0)} {als auch} {(0,1,0)} {}
auf sich selbst abgebildet werden, d.h., es handelt sich um \stichwort {Fixpunkte} {} der Bewegung. Dann ist aber bereits die gesamte $x,y$-Ebene fix. Die einzige physikalisch durchführbare Bewegung des Würfels, die diese Ebene unbewegt lässt, ist aber die identische Bewegung. Daher ist
\mavergleichskette
{\vergleichskette
{ \psi^{-1} \circ \varphi
}
{ = }{
\operatorname{Id}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und damit
\mavergleichskette
{\vergleichskette
{ \varphi
}
{ = }{ \psi
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Man beachte, dass die \stichwort {Spiegelung} {} an der $x,y$-Ebene die Punkte
\mathkor {} {(0,0,1)} {und} {(0,0,-1)} {}
vertauscht, doch ist dies eine sogenannte \stichwort {uneigentliche Bewegung} {,} da sie nicht physikalisch durchführbar ist.
}
Damit ergibt sich, dass es für den Basisvektor
\mathl{(1,0,0)}{} sechs mögliche Bildvektoren gibt, für den zweiten Basisvektor
\mathl{(0,1,0)}{} noch jeweils vier und dass dadurch die Abbildung eindeutig festgelegt ist. Insgesamt gibt es also $24$ Transformationen des Würfels. Am einfachsten beschreibt man die Bewegungen durch eine $3 \times 3$-Matrix, wobei in den Spalten die Bildvektoren der Basisvektoren stehen. Wenn der erste Basisvektor festgehalten wird, so sind die vier möglichen Bewegungen durch die Matrizen
\mathdisp {\begin{pmatrix} 1& 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{pmatrix},\,
\begin{pmatrix} 1& 0 & 0 \\ 0 & 0 & -1 \\ 0 & 1 & 0 \end{pmatrix}, \,
\begin{pmatrix} 1& 0 & 0 \\ 0 & -1 & 0 \\ 0 & 0 & -1 \end{pmatrix}, \,
\begin{pmatrix} 1& 0 & 0 \\ 0 & 0 & 1 \\ 0 & -1 & 0 \end{pmatrix}} { }
gegeben. Dies sieht man so: wenn eine Seitenmitte auf sich selbst abgebildet wird, so gilt das auch für die gegenüberliegende Seitenmitte und dann wird die dadurch definierte Achse nicht bewegt. Eine Bewegung, die eine solche \stichwort {Seitenmittelpunktachse} {} fest hält, muss eine Drehung um diese Achse sein, und zwar eine um ein Vielfaches von $90$ Grad. Eine solche Drehung ist eine Bewegung in der Ebene
\zusatzklammer {nämlich in der zur festen Achse senkrechten Ebene} {} {,}
und diese Beobachtung führt zu den angegebenen Matrizen.
Eine wichtige Eigenschaft dieser Bewegungen ist, dass es sich um Drehungen des Raumes um eine fixierte Achse handelt. Diese Eigenschaft zeichnet Raumbewegungen sogar aus, wie wir später noch sehen werden. Da die eben besprochenen Drehungen Vielfache einer Vierteldrehung sind, folgt, dass wenn man sie jeweils viermal hintereinander durchführt, dann wieder die Identität vorliegt. Bei der Halbdrehung führt natürlich schon die zweifache Ausführung zur Identität. Dies wird später mit dem Begriff der \stichwort {Ordnung} {} einer Bewegung (eines Gruppenelementes) präzisiert.
Wir betrachten nun im Würfelbeispiel die Raumdiagonale $D$, die durch
\mathkor {} {(1,1,1)} {und durch} {(-1,-1,-1)} {}
geht. Auch um diese Achse kann man den Würfel drehen, und zwar um Vielfache von $120$ Grad. Man mache sich hierzu klar, wie der Würfel aussieht, wenn diese Achse zu einem Punkt im Gesichtsfeld wird. Die Dritteldrehung, die
\mathkor {} {(1,0,0)} {auf} {(0,0,1)} {}
schickt, muss
\mathkor {} {(0,0,1)} {auf} {(1,0,0)} {}
schicken. Die beiden Dritteldrehungen um diese Raumdiagonale sind daher in Matrixdarstellung durch
\mathdisp {\begin{pmatrix} 0 & 0 & 1 \\ 1 & 0 & 0 \\ 0 & 1 & 0 \end{pmatrix} \text{ und } \begin{pmatrix} 0 & 1 & 0 \\ 0 & 0 & 1 \\ 1 & 0 & 0 \end{pmatrix}} { }
gegeben
\zusatzklammer {die natürlich invers zueinander sind} {} {.}
Die Bewegungen am Würfel kann man dadurch verstehen, indem man untersucht, was eine Bewegung mit den Seitenmittelpunkten macht, wie sie also diese sechs Punkte ineinander überführt, welche sie fest lässt, etc. Eine Bewegung bestimmt dabei stets eine
\definitionsverweis {Bijektion}{}{}
dieser Punktmenge in sich selbst. Eine solche Bijektion nennt man auch eine \stichwort {Permutation} {.} Es gibt aber auch andere charakteristische Punkte bzw. allgemeiner geometrische Teilobjekte des Würfels, die bei einer Würfelbewegung ineinander überführt werden, z.B. die Menge der Eckpunkte, die Menge der Kantenmittelpunkte, die Menge der Kanten, die Menge der Seiten, die Menge aller Raumdiagonalen, etc. Jede Bewegung hat auf diesen Objekten eine für sie charakteristische (Aus-)wirkung. Die mathematische Präzisierung dieser Beobachtung führt zum Begriff der \stichwort {Gruppenwirkung} {} und des \stichwort {Gruppenhomomorphismus} {.} Wenn man die Bezeichnung der Ecken vom obigen Bild übernimmt, so haben die oben an zweiter Stelle angeführte Vierteldrehung und die erste Dritteldrehung folgende Wirkung auf den Eckpunkten.
Vierteldrehung um Seitenmittelachse.
\wertetabelleachtausteilzeilen { Punkt }
{\mazeileundfuenf {A} {B} {C} {D} {E} }
{\mazeileunddrei {F} {G} {H
} }
{ Bildpunkt }
{\mazeileundfuenf {E} {A} {D} {H} {F} }
{\mazeileunddrei {B} {C} {G
} }
Dritteldrehung um Raumdiagonale
\wertetabelleachtausteilzeilen { Punkt }
{\mazeileundfuenf {A} {B} {C} {D} {E} }
{\mazeileunddrei {F} {G} {H
} }
{ Bildpunkt }
{\mazeileundfuenf {H} {D} {C} {G} {E} }
{\mazeileunddrei {A} {B} {F
} }
Wenn man eine Drehachse für eine Raumbewegung gefunden hat, so ist die Bewegung dadurch charakterisiert, wie sie auf der zur Achse senkrechten Ebene wirkt. Von daher ist es zuerst wichtig, die Bewegungen der Ebene mit einem fixierten Punkt zu verstehen.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Kreis3Teilung.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Kreis3Teilung.svg } {} {Exxu} {Commons} {CC-by-sa 3.0} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Kreis5Teilung.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Kreis5Teilung.svg } {} {Exxu} {Commons} {CC-by-sa 3.0} {}
\inputbeispiel{}
{
Wir betrachten den Einheitskreis
\mavergleichskettedisp
{\vergleichskette
{S^1
}
{ =} { { \left\{ (x,y) \in \R^2 \mid x^2+y^2=1 \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Dieser wird bekanntlich durch die trigonometrischen Funktionen parametrisiert. Diese ordnen einem Winkel
\mathl{\alpha \in [0, 2 \pi)}{}
\zusatzklammer {bezüglich der $x$-Achse, gegen den Uhrzeigersinn} {} {}
den zugehörigen Punkt
\mathdisp {(\cos \alpha, \sin \alpha)} { }
auf dem Kreisbogen zu. Eine gleichmäßige Unterteilung des Intervalls
\mathl{[0, 2 \pi]}{} in $n$ gleichgroße Stücke, die durch die Grenzen
\mathdisp {0,\, \frac{2 \pi}{n},\,2\frac{2 \pi}{n},\,3 \frac{2 \pi}{n} , \ldots , (n-1) \frac{2 \pi}{n},\, n\frac{2 \pi}{n}=2 \pi} { }
gegeben sind, führt zu einer gleichmäßigen Unterteilung des Kreises mit den Eckpunkten
\mathdisp {(1,0),\, \left( \cos \frac{2 \pi}{n} , \, \sin \frac{2 \pi}{n} \right) ,\,
\left( \cos 2\frac{2 \pi}{n} , \, \sin 2\frac{2 \pi}{n} \right),\,
\mathdisplaybruch
\left( \cos 3 \frac{2 \pi}{n} , \, \sin 3 \frac{2 \pi}{n} \right)
, \ldots , \left( \cos (n-1) \frac{2 \pi}{n} , \, \sin (n-1) \frac{2 \pi}{n} \right)} { . }
Diese Punkte sind die Eckpunkte eines \stichwort {regelmäßigen} {} $n$-\stichwort {Ecks} {.} Das regelmäßige \anfuehrung{Zweieck}{} besitzt die Ecken \mathkon { (1,0) } { und } { (-1,0) }{ ,} das regelmäßige
\zusatzklammer {\stichwort {gleichseitige} {}} {} {}
Dreieck besitzt die Ecken
\mathdisp {\left( 1 , \, 0 \right) ,\, \left( - { \frac{ 1 }{ 2 } } , \, { \frac{ \sqrt{3} }{ 2 } } \right) ,\, \left( - { \frac{ 1 }{ 2 } } , \, - { \frac{ \sqrt{3} }{ 2 } } \right)} { , }
das regelmäßige Viereck (Quadrat) besitzt die Ecken
\mathdisp {(1,0),\, (0,1),\, (-1,0),\, (0,-1)} { , }
usw. Wir fassen ein solches reguläres $n$-Eck als ein in sich starres Gebilde auf und interessieren uns dafür, wie man es in sich selbst überführen kann. Der Nullpunkt ist der Mittelpunkt
\zusatzklammer {Schwerpunkt} {} {}
des $n$-Eckes, und bleibt bei einer Bewegung des $n$-Eckes auf sich selbst unverändert. Da eine solche Bewegung die Längen nicht ändert, muss der Punkt
\mathl{(1,0)}{} auf einen der Eckpunkte abgebildet werden, da nur diese Punkte des $n$-Eckes vom Nullpunkt den Abstand eins besitzen. Da eine Bewegung auch die Winkel nicht verändert, muss der Nachbarpunkt
\mathl{\left( \sin \frac{2 \pi}{n} , \, \cos \frac{2 \pi}{n} \right)}{}
auf einen Nachbarpunkt des Bildpunktes von $(1,0)$ abgebildet werden. Bei einer eigentlichen
\zusatzklammer {physikalisch in der Ebene!} {} {}
durchführbaren Bewegung bleibt auch die Reihenfolge
\zusatzklammer {die \anfuehrung{Orientierung}{}} {} {}
der Ecken erhalten, sodass die einzigen eigentlichen Bewegungen eines regulären $n$-Eckes die Drehungen um ein Vielfaches von $2 \pi/n$ sind.
Wenn man auch noch uneigentliche Bewegungen zulässt, so gibt es noch die Spiegelungen an einer Achse, und zwar geht bei $n$ gerade die Achse durch zwei gegenüberliegende Eckpunkte oder zwei gegenüberliegende Seitenmittelpunkte, und bei $n$ ungerade durch einen Eckpunkt und einen gegenüberliegenden Seitenmittelpunkt.
Es sei $n$ fixiert, und setze
\mavergleichskette
{\vergleichskette
{ \alpha
}
{ = }{ 2 \pi/n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und sei $\varphi$ die Drehung des $n$-Eckes um $\alpha$ gegen den Uhrzeigersinn. Dann kann man jede Drehung am $n$-Eck schreiben als $\varphi^k$ mit einem eindeutig bestimmten $k$ zwischen
\mathkor {} {0} {und} {n-1} {.}
Dabei ist
\mavergleichskette
{\vergleichskette
{\varphi^0
}
{ = }{
\operatorname{Id}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Nulldrehung
\zusatzklammer {die identische Bewegung} {} {,}
bei der nichts bewegt wird. Wenn man $\varphi$ $n$-mal ausführt, so hat man physikalisch gesehen eine volle Umdrehung durchgeführt. Vom Ergebnis her stimmt das aber mit der Nulldrehung überein. Allgemeiner gilt, dass wenn man $\varphi$ $m$-mal ausführt, dass dann das Endergebnis
\zusatzklammer {also die effektive Bewegung} {} {}
nur vom \stichwort {Rest} {} $m \mod n$ abhängt. Die inverse Bewegung zu
\mathl{\varphi^k}{} ist
\mathl{\varphi^{-k}}{,} also $k$-mal wieder zurück, oder gleichbedeutend
\mathl{\varphi^{(n-k) }}{.}
Es sei nun $\psi$ eine bestimmte Drehung am $n$-Eck, also
\mavergleichskette
{\vergleichskette
{ \psi
}
{ = }{\varphi^k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit einem eindeutig bestimmten
\mathbed {k} {}
{0 \leq k \leq n-1} {}
{} {} {} {.} Dann kann man sich überlegen, welche Drehungen sich als Hintereinanderausführung von $\psi$ schreiben lassen, also zur Menge
\mathdisp {\psi^0=\operatorname{id} \, , \psi^1=\psi, \psi^2 , \psi^3, \ldots} { }
gehören. Da die Menge der Drehungen endlich ist, muss es eine Wiederholung geben. Wie sieht diese aus, wann durchlaufen die Hintereinanderausführungen von $\psi$ sämtliche Drehungen am $n$-Eck? Dafür gibt es recht einfache Antworten im Rahmen der elementaren Gruppentheorie.
}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Driezijdige_piramide.png} }
\end{center}
\bildtext {} }
\bildlizenz { Driezijdige piramide.png } {} {Svdmolen} {nl.wikipedia} {PD} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Metano.png} }
\end{center}
\bildtext {} }
\bildlizenz { Metano.png } {} {Kaprak} {Commons} {PD} {}
\inputbeispiel{}
{
Wir betrachten einen \stichwort { Tetraeder} {,} also eine Pyramide mit vier gleichseitigen Dreiecken als Flächen. Das einfachste Modell dafür ergibt sich, wenn man bei einem Würfel jeden \anfuehrung{zweiten}{} Punkt nimmt, also beispielsweise die Eckpunkte
\mathdisp {(1,1,1),\, (-1,-1,1),\, (1,-1,-1), \, (-1,1,-1)} { . }
Der Abstand der Eckpunkte zum Nullpunkt ist dann $\sqrt{3}$ und die Kantenlängen sind $\sqrt{2}$. Eine eigentliche Bewegung des Tetraeders ist auch eine eigentliche Bewegung des zugehörigen Würfels
\zusatzklammer {in den der Tetraeder eingeschrieben werden kann} {} {}
}
\zwischenueberschrift{Der Gruppenbegriff}
In den angeführten Beispielen haben wir gesehen, dass man die Bewegungen an einem der geometrischen Objekte hintereinander ausführen kann und wieder eine Bewegung erhält, dass es die identische Bewegung gibt, und dass es zu einer gegebenen Bewegung die umgekehrte Bewegung gibt, die sie neutralisiert. Diese Eigenschaften werden durch den Begriff der Gruppe mathematisch präzisiert.
\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
\mathl{x * y}{} oder einfach
\mathl{xy}{.}
Wenn $X$ ein geometrisches Objekt ist, und
\mavergleichskette
{\vergleichskette
{ M
}
{ = }{ \operatorname{Bew} \,(X)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Menge der Bewegungen auf $X$
\zusatzklammer {also die bijektiven Abbildungen von $X$ nach $X$, die die geometrische Struktur von $X$ respektieren} {} {,}
so ist die Hintereinanderschaltung von Bewegungen, also
\maabbeledisp {} { \operatorname{Bew} \, (X) \times \operatorname{Bew} \, (X) } { \operatorname{Bew} \, (X) } {(f,g)} { g \circ f
} {,}
eine Verknüpfung.
\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
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}
Die Hintereinanderausführung von Bewegungen ist assoziativ, da es allgemeiner bei der Hintereinanderausführung von Abbildungen nicht auf die Klammerung ankommt. Die identische Bewegung ist die neutrale Bewegung. 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, sodass 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.
}