Mathematik-Glossar: Gruppentheorie

Vorlage:Navigation Regal Reihe Buch Im Glossar zur Gruppentheorie werden folgende Notationen verwendet: $(G,\circ )$ und $(H,\bullet )$ sind Gruppen. $e\in G=<e_1,...,e_k>$ ist das neutrale Element einer endlich erzeugten Gruppe mit Erzeugern $\{e_1,...,e_k\}$. $U\le G$ ist Untergruppe. $N⊴G$ ist Normalteiler. $G{/}_N$ ist Faktorgruppe. $G\simeq H$ oder $G\lesssim H$ bedeutet „$G$ isomorph zu (einer Untergruppe von) $H$“

Fachbegriffe, die aus dem Themengebiet der Gruppentheorie herausführen sind blau; Begriffe, die innerhalb dieses Glossars erklärt werden, sind grün. Alle Verweise auf Stichworten führen zudem auf einen Artikel in der Wikipedia.

Niels Henrik Abel.

A

Vorlage:Anker abelsch

heißt eine Gruppe $(G,\circ )$, wenn die Verknüpfung $\circ$ kommutativ ist, also $\mathrm{\forall }a,b\in G:a\circ b=b\circ a$. Benannt nach Niels Henrik Abel.

Vorlage:Anker Allgemeine lineare Gruppe

$G{L}_n(𝕂)$ vom Grad $n$ über einem Körper $𝕂$ ist die Menge aller invertierbaren oder regulären quadratischen Matrizen der Dimension $n$ mit Koeffizienten aus $𝕂$ und mit der Matrixmultiplikation als Gruppenverknüpfung.

Vorlage:Anker Alternierende Gruppe

$Al{t}_n$ oder auch $A_n$ ist die Menge aller geraden Permutationen einer Menge von $n$ Elementen; für $n>2$ eine nicht-triviale Untergruppe der symmetrischen Gruppe. Für $n>4$ ist sie einfach. Ihre Ordnung ist $n!/2$.

Vorlage:AnkerAutomorphismus

(altgr.: αὐτομορφισμός, „eigene Gestaltgeber“) ist ein bijektiver Homomorphismus (Isomorphismus) aus einer Gruppe in sich selbst.

B

Vorlage:Anker Vorlage:AnkerBahn

${\omega }^G$ eines Elements $\omega \in \mathrm{\Omega }$ unter der Operation mit $G$ ist die Menge aller möglichen Bilder von $\omega$ unter der Operation. ${\omega }^G\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}\{c_g(\omega )\mid g\in G\}$

Vorlage:AnkerVorlage:AnkerVorlage:AnkerBijektiv

heißt eine Abbildung, die sowohl injektiv als auch surjektiv ist.

C

Vorlage:AnkerVorlage:AnkerVorlage:AnkerVorlage:AnkerCharakteristische Untergruppe

ist eine Untergruppe, die unter Automorphismen auf sich abgebildet wird, also „fest bleibt“.

D

Vorlage:AnkerVorlage:AnkerDarstellung

einer Gruppe vom Grad $n$ ist ein Homomorphismus von einer Gruppe auf eine allgemeine lineare Gruppe. Die Darstellungstheorie ist ein umfangreiches Unterkapitel der Gruppentheorie.

Vorlage:Anker Diedergruppe

heißen eine Serie von Gruppen, die jeweils von zwei Involutionen erzeugt werden. Diedergruppen können als Symmetriegruppe eines regulären n-Ecks aufgefasst werden. Sind $a,b$ erzeugende Involutionen der Gruppe $D$ so hat diese Ordnung $2\cdot \mathrm{o}(ab)$. $D$ besitzt einen zyklischen Normalteiler $N$ der Ordnung $\mathrm{o}(ab)$ und jedes Element außerhalb von $N$ invertiert diesen. Diedergruppen sind durch die Gruppenordnung bis auf Isomorphie eindeutig bestimmt und in der Literatur als $D_{2\cdot k}$ bzw auch als $D_k$ notiert, wobei $k$ die Ordnung des zyklischen Normalteilers ist.

Vorlage:AnkerVorlage:AnkerVorlage:AnkerVorlage:AnkerVorlage:AnkerVorlage:AnkerVorlage:AnkerVorlage:AnkerDirektes Produkt

(bei additiver Interpretation auch direkte Summe) $((G_1,\circ )\times (G_2,\bullet ))$ zweier (auch beliebig vieler) Gruppen ist die Menge aller Tupel von Gruppenelementen. Mit der elementweisen Verknüpfung bildet es eine Gruppe. Ein Produkt von Untergruppen $U_1,..U_n\le G$ heißt intern, falls

$\begin{array}{ccc}G=U_1{U}_2..U_n& & \text{G ist Produkt aller }{U}_i\\ U_i⊴G& 0<i<n+1& \text{Alle }{U}_i\text{ normal in G}\\ U_i\cap (U_1..U_{i-1}{U}_{i+1}..U_n)& 0<i<n+1\end{array}$

Meistens ist mit dem direkten Produkt das interne direkte Produkt gemeint.

E

Vorlage:AnkerVorlage:AnkerVorlage:Anker Einfach

heißt eine Gruppe aus mindestens zwei Elementen, die nur $\{e\}$ und sich selbst als Normalteiler enthält. Jede endliche Gruppe ist in gewisser Weise aus einfachen Gruppen zusammengesetzt. Die endlichen einfachen Gruppen sind abschließend klassifiziert.

Vorlage:AnkerVorlage:Anker Einselement

siehe neutrales Element

Vorlage:AnkerVorlage:Anker Endlich

heißt eine Gruppe, wenn sie nur endlich viele Elemente enthält, also von endlicher Ordnung ist.

Vorlage:Anker Elementar abelsch

heißt eine endliche p-Gruppe, für all deren Elemente gilt, dass $x^p=1$ ist.

Vorlage:AnkerVorlage:Anker Endlich erzeugt

heißt eine Gruppe, wenn sie von endlich vielen Elementen erzeugt wird. Also jedes Element eine Darstellung als Kombination endlich vieler Erzeuger hat. Die Erzeuger sind i.A. nicht eindeutig. Ist eine endlich erzeugte Gruppe abelsch, gilt der Hauptsatz über endlich erzeugte abelsche Gruppen.

Vorlage:Anker Vorlage:Anker Epimorphismus

(von altgr: έπίμορφήισμός, „Gestalteinführer“) ist ein surjektiver Homomorphismus.

Erzeuger

siehe Erzeugendensystem.

Vorlage:AnkerVorlage:AnkerVorlage:AnkerVorlage:Anker Erzeugendensystem

ist eine Teilmenge $M=\{e_i\}$ einer Gruppe, deren Elemente Erzeuger heißen, sodass jedes Element eine Darstellung als Produkt endlicher Potenzen der Erzeuger hat. Die Länge von $M$ ist die Anzahl der Elemente in $M$. Die Minimale Länge eines Erzeugendensystems ist für eine gegebene Gruppe eindeutig. Ist sie endlich, heißt sie endlich erzeugt. Ist die Länge gleich eins, heißt $G$ zyklisch. Für „$G$ wird von $\{M\}$ erzeugt“ schreibt man $G=<M>$.

F

Vorlage:AnkerVorlage:AnkerVorlage:Anker Faktorgruppe

(auch: Quotientengruppe, Restklassengruppe) $G{/}_N$ ist für $N⊴(G,\circ )$ die Menge der (hier Links)-Nebenklassen mit der Verknüpfung $\bullet :G{/}_N\times G{/}_N\to G{/}_N$ wie folgt erklärt $\mathrm{\forall }aN,bN\in G{/}_N:aN\bullet bN\mapsto \bullet (aN,bN)\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}(a\circ b)N$. Der Zusammenhang von Normalteilern, Homomorphismen und Faktorgruppen ist im Homomorphiesatz zusammengefasst.

Évariste Galois

G

Vorlage:AnkerVorlage:Anker Grad einer Darstellung

Dimension der allgemeinen linearen Gruppe, in die eine Darstellung abbildet.

Vorlage:Anker Grad einer linearen Gruppe

ist die Zahl der Spalten (also auch der Zeilen) der quadratischen Matrizen, aus denen diese Gruppe besteht. Siehe allgemeine lineare Gruppe.

Vorlage:Anker Gruppe

ist eine nichtleere Menge mit einer zweistelligen Verknüpfung, die gewissen Eigenschaften genügt.

Vorlage:AnkerVorlage:Anker Gruppenaxiome

siehe Verknüpfung.

Gruppenhomomorphismus

siehe Homomorphismus.

H

Hauptsatz über endlich erzeugte abelsche Gruppen

Siehe Satz.

Homomorphiesatz

Siehe Satz.

Vorlage:AnkerVorlage:AnkerVorlage:AnkerVorlage:AnkerVorlage:AnkerVorlage:Anker Homomorphismus

von Gruppen ist eine Abbildung $\phi :(G,\circ )\to (H,\bullet )$ die die Gruppenstruktur erhält. Also $\mathrm{\forall }a,b\in G:\phi (a\circ b)=\phi (a)\bullet \phi (b)$. Ein Homomorphismus heißt Monomorphismus, falls $\phi$ injektiv; Epimorphismus, falls $\phi$ surjektiv; Isomorphismus, falls $\phi$ bijektiv; Automorphismus, falls $\phi$ $G$ in sich selbst überführt, also $G=H$. Siehe auch Natürlicher Homomorphismus

I

Beispiel: Isomorphismus

Identität	$r_1$ (Rotation 90° rechts)	$r_2$ (Rotation 180° rechts)	$r_3$ (Rotation 270° rechts)
$f_v$ (Vertikale Spiegelung)	$f_h$ (Horizontale Spiegelung)	$f_d$ (Diagonale Spiegelung)	$f_g$ (Gegendiagonalspiegelung)
Die Elemente $\{\mathrm{id},r_1,r_2,r_3,f_v,f_h,f_d,f_g\}$ dieser geometrischen Abstraktion (sog. Symmetriegruppe des Quadrats) bilden mit der Hinereinanderausführung eine Gruppe. Sie ist isomorph zur Dieder Gruppe . Man kann in verschiedenen Darstellungen oft ohne viel Aufwand Informationen über erheblich komplexere Gruppenstrukturen sammeln, die beim Wechseln mit Isomorphismen erhalten bleiben.

Vorlage:Anker Index

einer Untergruppe ist die Anzahl ihrer Rechts- oder Linksnebenklassen.

Vorlage:AnkerVorlage:AnkerVorlage:Anker Involution

(auch Selbstinverse) heißen Gruppenelemente, die sich selbst invertieren.

Vorlage:Anker Isomorph

(von altgr.: ἰσομορφός, „von selber Struktur“) heißen Strukturen, die durch einen bijektiven Homomorphismus (Isomorphismus) aufeinander abgebildet werden können. Isomorphe Strukturen können als bis auf die Bezeichnung ihrer Elemente „identisch“ angesehen werden. Eine Hauptaufgabe der Gruppentheorie ist die möglichst eindeutige Klassifikation von Gruppen „bis auf Isomorphie“. Beispielsweise ist jede zyklische Gruppe isomorph zu einer Untergruppe der ganzen Zahlen $\mathbb{Z}$. Für „$G$ ist isomorph zu $H$“ schreibt man $G\simeq H$. Für „$U$ ist Isomorph zu einer Untergruppe von $G$“ schreibt man $U\lesssim G$

Vorlage:Anker Isomorphismus

ist ein bijektiver Homomorphismus.

K

Vorlage:Anker Kern einer Abbildung

die Teilmenge der Ausgangsmenge, die auf das neutrale Element der Zielmenge abgebildet wird. Jeder Normalteiler ist Kern eines Gruppenhomomorphismus und umgekehrt. Besteht der Kern eines Homomorphismus' nur aus dem neutralen Element, so ist dieser injektiv.

Vorlage:Anker Kleinsche Vierergruppe

$V$ ist die kleinste nicht-zyklische Gruppe. Sie hat die Ordnung 4.

Vorlage:Anker kommutativ

siehe abelsch.

Vorlage:Anker Kompositionsreihe

siehe Reihe.

Sophus Lie

Vorlage:AnkerVorlage:AnkerVorlage:Anker Konjugation

mit einem Element $g$ ist die Abbildung ${\mathrm{c}}_g:G\to G,h\mapsto {\mathrm{c}}_g(h)\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}gh{g}^{-1}$ Die Konjugation ist ein innerer Automorphismus von $G$. ${\mathrm{c}}_g\in \mathrm{Inn}(G)$. Die Abbildung $T:G\to \mathrm{Inn}(G),g\mapsto {\mathrm{c}}_g$ bildet $G$ in die Gruppe der inneren Automorphismen, einen Normalteiler der Automorphismengruppe, ab. Der Kern von $T$ ist das Zentrum $Z(G)$ von $G$. Normalteiler sind bezüglich Konjugation invariante Mengen (Auch Untergruppen). Das Zentrum ist die größte, elementweise bezüglich Konjugation invariante Menge.

L

Vorlage:Anker Lie-Gruppe

ist eine Gruppe, die zugleich eine analytische reelle oder komplexe Mannigfaltigkeit ist, und deren Verknüpfung (nebst Umkehrfunktion) eine analytische Funktion ist.

Vorlage:Anker Links-Nebenklassen

Siehe Nebenklasse

M

Vorlage:AnkerMonoid

ist eine Halbgruppe mit neutralem Element, aber ohne inverses Element.

Monomorphismus

(altgr.: μονομορφήισμός „einzige Gestaltgeber“) ist ein injektiver Homomorphismus.

Vorlage:Anker Monstergruppe

ist die größte sporadische Gruppe.

N

Beispiel: natürlicher Homomorphismus

Die Abbildung, die in den ganzen Zahlen Elemente der $p$-elementigen Faktorgruppe zuordnet. Die Abbildung entscheidet, ob eine Zahl durch $p$ teilbar ist.

Vorlage:Anker Natürlicher Homomorphismus

ist bezüglich $N⊴G$ der Homomorphismus $\phi :G\to G{/}_N$ mit $g\mapsto \phi (g)\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}Ng$ Der Homomorphismus, der jedes Element als Vertreter seiner Faktorgruppe $G{/}_N$ interpretiert.

Vorlage:Anker Nebenklasse

von $H$ zum Element $a$ ist die Menge die durch Verknüpfung von einer festen Seite aller Elemente aus $H$ mit $a$ entsteht. Die Rechtsnebenklasse von $H$ unter $a$ ist also $Ha=\{h\circ a\mid h\in H\}$

Vorlage:AnkerVorlage:Anker Neutrales Element

ist das Element $e\in G$, das verknüpft mit beliebigen Element das Element fest lässt. $\mathrm{\forall }g\in G:e\circ g=g\circ e=g$

Vorlage:Anker Normal

siehe Normalteiler.

Vorlage:Anker Normalreihe

siehe Reihe.

Vorlage:Anker Normalisator

$N_G(U)$ einer Teilmenge (praktisch meistens Untergruppe) $U$ in $G$ ist die Menge aller Elemente in $G$, für die $U$ unter Konjugation invariant gelassen wird. $N_G(U)=\{g\in G\mid c_g(U)=U\}$. Gilt $N_G(U)=G$ heißt U Normalteiler.

Vorlage:Anker Normalteiler

ist eine unter Konjugation mit beliebigen Element invariante Untergruppe. Also $\mathrm{\forall }g\in G:c_g(N)=N$ oder $\mathrm{\forall }x\in N:\mathrm{\forall }g\in G:g^{-1}xg\in N$. Normalteiler zu sein ist gleichbedeutend mit der Gleichheit der rechten und linken Nebenklasse. Das gilt in abelschen Gruppen immer. Für „$N$ ist Normalteiler von $G$“ schreibt man auch $N⊴G$. $N$ ist genau dann Normalteiler, wenn der Normalisator von $N$ in $G$ gleich G ist.

Vorlage:Anker Nullelement

siehe neutrales Element.

O

Vorlage:AnkerVorlage:AnkerVorlage:AnkerVorlage:AnkerVorlage:AnkerVorlage:Anker Operation

einer Gruppe auf einer Menge $\mathrm{\Omega }$ ist ein Homomorphismus $\mathrm{op}:G\to S_{\mathrm{\Omega }}$ mit $g\mapsto \mathrm{op}(g):\mathrm{\Omega }\times \mathrm{\Omega }:\omega \mapsto c_g(\omega )$. Eine Operation heißt treu, falls jedes Element aus $\mathrm{\Omega }$ unter $G\setminus \{e\}$ auch bewegt wird, also $\mathrm{Ker}(\omega )=\{e\}$. Kann ein Element bei Operation mit $G$ auf ein anderes abgebildet werden, also falls $\mathrm{\exists }g\in G:c_g(\alpha )=\beta$, sagt man, die Elemente liegen in einer Bahn.

Orbit

siehe Bahn.

Vorlage:AnkerVorlage:AnkerOrdnung einer endlichen Gruppe

ist die Anzahl ihrer Elemente.

Vorlage:AnkerOrdnung eines Elements

$g$ einer Gruppe $G$ ist, die kleinste positive Potenz von $g$, die das Einselement ergibt. $\min \{m\in \mathbb{N}:g^m=e\}$ Die Ordnung einer endlichen Gruppe ist durch die Ordnung jedes Elements teilbar. (siehe Satz von Lagrange)

P

Vorlage:AnkerVorlage:AnkerVorlage:Ankerp-Gruppe

ist eine Gruppe deren Ordnung Potenz einer Primzahl ist.

Permutationsgruppe

Siehe symmetrische Gruppe.

Vorlage:AnkerVorlage:AnkerVorlage:AnkerVorlage:AnkerVorlage:AnkerVorlage:AnkerVorlage:AnkerPrime Restklassengruppe

Siehe Faktorgruppe.

Punktgruppe

Siehe Symmetriegruppe.

Q

Vorlage:Anker Quaternionengruppe

ist die Gruppe des Schiefkörpers der Hamiltonschen Quaternionen

Quotientengruppe

siehe Faktorgruppe.

R

Vorlage:Anker Raumgruppe

ist die Symmetriegruppe eines Kristalls.

Vorlage:Anker Reihe

Eine monotone Folge geeigneter Untergruppen einer Gruppe.

Restklassengruppe

siehe Faktorgruppe.

S

Satz

ist hier eine bewiesene Aussage über algebraische Zusammenhänge. Die Gruppentheorie kennt folgende Sätze:

Satz von Ado

behandelt Darstellbarkeit von Lie-Algebren als Matrizen.

Satz von Artin

auch Artinsches Reziprozitätsgesetz: Die Galoisgruppe einer abelschen Körpererweiterung ist Quotient einer Idealklassengruppe.

Satz von Brauer-Suzuki

Eine Aussage über spezielle Untergruppen.

Bikommutantensatz

Eine von-Neumann-Algebra stimmt mit ihrem doppelten Kommutanten überein.

Satz von Cayley

Jede Gruppe ist isomorph zu einer Gruppe von Permutationen.

Satz von Engel

Charakterisierung nilpotenter Lie-Algebren.

Fünferlemma

Lemma aus der homologischen Algebra (Diagrammjagd)

Hauptsatz der Galoistheorie

Beziehungen zwischen Untergruppen der Galoisgruppe und den Zwischenkörpern von Körpererweiterungen.

Hauptsatz über endlich erzeugte abelsche Gruppen

jede eeaG hat eine Zerlegung in ein direktes Produkt zyklischer Untergruppen.

Homomorphiesatz

besagt, dass das Bild eines beliebigen Gruppenhomomorphismus $\phi$ mit der Gruppe nach ihrem Kern isomorph ist: $G{/}_{\mathrm{Ker}(\phi )}\simeq \mathrm{Im}(\phi )$

Erster Isomorphiesatz

$((H\le G)\wedge (N⊴G))\Rightarrow H{/}_{H\cap N}\simeq HN{/}_N$

Zweiter Isomorphiesatz

Sind $N,H⊴G$ Normalteiler, dann gilt $\frac{G{/}_N}{H{/}_N}\simeq G{/}_H$

Satz von Jordan-Hölder

Zwei beliebige Kompositionsreihen einer Gruppe sind äquivalent.

Satz von Krull-Remak-Schmidt

Gruppen bzw. Moduln mit Endlichkeitsvoraussetzungen sind Produkt von unzerlegbaren Untergruppen bzw. Untermoduln.

Satz von Lagrange

Die Ordnung einer Untergruppe einer endlichen Gruppe teilt die Gruppenordnung.

Satz von Maschke

Zerlegung einer Gruppendarstellung in ein direktes Produkt irreduzibler Darstellungen.

Lemma von Nakayama

Lemma über endlich erzeugte Moduln.

Satz von Poincaré-Birkhoff-Witt

Satz über die Basis der universellen einhüllenden Lie-Algebra.

Satz von Schreier

Zwei Normalreihen einer Gruppe lassen sich durch Verfeinerung zu äquivalenten Normalreihen verlängern.

Sylow-Sätze

erlauben es, Aussagen über Untergruppen von endlichen Gruppen zu treffen und einige Gruppen endlicher Ordnung zu klassifizieren. (Nach Ludwig Sylow

Vorlage:AnkerVorlage:AnkerSpezielle lineare Gruppe

$S{L}_n(𝕂)$ vom Grad $n$ über einem Körper $𝕂$ ist die Menge aller invertierbaren Matrizen $A$ der Dimension $n$ mit der Determinante eins. $A\in {\mathrm{Mat}}_{n,n}(𝕂):\det (A)=1$ Die spezielle lineare Gruppe ist Untergruppe der allgemeinen linearen Gruppe.

Vorlage:AnkerVorlage:Ankerspezielle orthogonale Gruppe

$S{O}_n(𝕂)$ vom Grad $n$ über einem Körper $𝕂$ in einem Prähilbertraum ist die Menge aller orthogonalen Matrizen der Dimension $n$. Die spezielle orthogonale Gruppe ist Untergruppe der allgemeinen linearen Gruppe.

Vorlage:AnkerVorlage:AnkerSporadische Gruppe

ist eine der 26 endlichen einfachen Gruppen, die sich keiner der 18 Familien endlicher einfacher Gruppen zuordnen lassen.

Sylow.

Vorlage:AnkerVorlage:AnkerSylow-Gruppe

siehe Sylowsätze.

Vorlage:AnkerVorlage:AnkerSymmetriegruppe

ist die Menge der Abbildungen eines geometrischen Objekts auf sich selbst mit der Hintereinanderausführung von Abbildungen als Verknüpfung. Die Symmetriegruppen regulärer $n$-Polygone entsprechen der symmetrischen Gruppe auf $n$ Elementen.

Vorlage:AnkerVorlage:Anker Vorlage:AnkerSymmetrische Gruppe

$S_n$ besteht aus der Menge alle Permutationen auf einer Menge von $n$ Elementen. Sie hat die Ordnung $n!$.

Vorlage:AnkerVorlage:AnkerVorlage:AnkerVorlage:AnkerSymplektische Gruppe

$S{p}_n(𝕂)$ vom Grad $2n$ über einem Körper $𝕂$ ist die Menge aller linearen Abbildungen, die Symplektische Formen, also nicht ausgeartete, alternierende Bilinearformen, invariant lassen. Für Körper mit Charakteristik verschieden von 2 ist die symplektische Gruppe Untergruppe der allgemeinen linearen Gruppe die diese im direkten Produkt mit der speziellen orthogonalen Gruppe erzeugt.

T

Vorlage:AnkerVorlage:AnkerVorlage:AnkerVorlage:AnkerTreue Darstellung

ist ein Monomorphismus einer Gruppe auf die allgemeine lineare Gruppe. Siehe auch Darstellungstheorie.

Vorlage:Anker Triviale Gruppe

besteht nur aus dem neutralem Element.

U

Vorlage:AnkerVorlage:Anker unitäre Gruppe

ist die Gruppe der unitären Matrizen.

Vorlage:AnkerVorlage:AnkerUntergruppe

ist eine nichtleere Teilmenge $U$ einer Gruppe $(G,\circ )$, die bezüglich der Verknüpfung $\circ$ eine Gruppe ist. Insbesondere ist die Menge unter der Verknüpfung und des Bildens der inversen Elemente abgeschlossen. Untergruppe zu sein ist äquivalent zur Gültigkeit des sogenannten Untergruppenkriteriums: $(e\in U)\wedge (\mathrm{\forall }a,b\in U:a\circ b^{-1}\in U)$

Untergruppenkriterium

siehe Untergruppe.

Unimodulare Gruppe

ist eine Gruppe, für die das linksseitige und rechtsseitige Haarsche Maß übereinstimmen. Standardbeispiel sind die unimodularen Matrizen, auch spezielle lineare Gruppe genannt.

V

Vorlage:Anker Verknüpfung

Eine binäre Relation $\circ :G\times G\to G$, die abgeschlossen und assoziativ ist. Zudem gibt es ein Element, das bezüglich der Verknüpfung alle anderen unverändert lässt, das neutrale Element $e$ und zu jedem Element$g\in G$ eines, das dieses auf das neutrale Element abbildet, das inverse Element $g^{-1}$. In einer abelschen Gruppe ist die Verknüpfung kommutativ. Es gilt also:

$\begin{array}{cc}\mathrm{\forall }a,b,c\in G:a\circ (b\circ c)=(a\circ b)\circ c& \text{Assoziativität}\\ \mathrm{\exists }e\in G:\mathrm{\forall }g\in G:e\circ g=g& \text{Neutrales Element}\\ \mathrm{\forall }g\in G:\mathrm{\exists }{g}^{-1}\in G:g^{-1}\circ g=e& \text{Inverses Element}\\ \mathrm{\forall }a,b\in G:a\circ b=b\circ a& \text{(Kommutativ)}\end{array}$

W

Wirkung

Siehe Operation.

Z

Vorlage:Anker Zentralisator

$Z_G(x)$ eines Elements $x\in G$ ist die aus allen mit $x$ kommutierenden Elementen bestehende Menge. $Z_G(x)=\{g\in G\mid gx=xg\}$

Vorlage:Anker Zentrum

$Z(G)$ einer Gruppe $G$ ist die größte Untergruppe von $G$, in der jedes Element mit allen Elementen von G kommutiert. $Z(G)=\{x\in G\mid \mathrm{\forall }g\in G:gx=xg\}=\bigcap _{x\in G}{Z}_G(x)$, also der Schnitt über alle Zentralisatoren von $G$

Vorlage:AnkerVorlage:Anker Zyklisch

heißt eine Gruppe $G$, die von genau einem Element $g$ erzeugt wird: Alle Elemente von $G$ sind Potenzen von $g$. Jede endlich erzeugte abelsche Gruppe ist das direkte Produkt von zyklischen Gruppen von Primzahlpotenzordnung. (Hauptsatz über endlich erzeugte abelsche Gruppen)