Gruppenexponent

Im mathematischen Teilgebiet der Gruppentheorie versteht man unter dem Gruppenexponenten $\exp (G)$ einer Gruppe $(G, \cdot, e)$ die kleinste natürliche Zahl $n > 0$ , für die $g^{n} = e$ (Potenz eines Gruppenelements) für alle Gruppenelemente $g$ gilt.^[1] Gibt es keine derartige Zahl, so sagt man, $G$ habe Exponent $\infty$ (sie muss dann auch unendliche Ordnung haben).

Eigenschaften

Nach dem Satz von Lagrange ist der Gruppenexponent für eine endliche Gruppe ein Teiler der Gruppenordnung und somit insbesondere endlich.
In einer zyklischen Gruppe stimmt der Gruppenexponent mit der Gruppenordnung überein.
Die Gruppenordnung stimmt genau dann mit dem Gruppenexponenten überein, wenn alle Sylowgruppen der Gruppe zyklisch sind.^[2]
Der Gruppenexponent ist das kleinste gemeinsame Vielfache (kgV) der Ordnung aller Gruppenelemente.
Der Gruppenexponent einer Untergruppe ist ein Teiler des Exponenten der ganzen Gruppe.

Für die primen Restklassengruppen $(ℤ / n ℤ)^{\times}$ erhält man den Gruppenexponenten durch die Carmichael-Funktion.
Der Gruppenexponent von $(ℤ / p ℤ)^{\times}$ mit einer Primzahl $p$ ist gleich der Gruppenordnung $p - 1$ .
Der Gruppenexponent von $(ℤ / 8 ℤ)^{\times}$ ist 2 (vergleiche: Die Gruppenordnung ist 4).
Der Körper $𝔽_{q}$ mit $q = p^{k}$ Elementen, aufgefasst als additive Gruppe, hat Gruppenordnung $q$ und Gruppenexponent $p$ (vergleiche Charakteristik eines Körpers).
Unendliche Gruppen mit endlichem Exponenten sind bspw. der Polynomring $𝔽_{p} [X]$ und der algebraische Abschluss von $𝔽_{p}$ , jeweils (wegen der Primzahlcharakteristik $p$ ) in der additiven Verknüpfung.
Jedes Element $m / n + ℤ$ der (unendlichen) Torsionsgruppe $ℚ / ℤ$ hat die endliche Ordnung $n$ , wenn $n > 0$ gilt und $m$ zu $n$ teilerfremd ist. Da die Elementordnungen aber nicht beschränkt sind, ist $\exp (ℚ / ℤ) = \infty$ .