Einheitengruppe
Bei der Einheitengruppe eines Rings mit Eins handelt es sich um die Menge der multiplikativ invertierbaren Elemente; diese bilden gemeinsam mit der Multiplikation des Rings eine Gruppe.
Definition
Bei der Einheitengruppe eines Rings mit Eins $\mathcal{R} = \bigl(R,\oplus,\odot\bigr)$ handelt es sich um die Menge derjenigen Elemente, die ein inverses Element bezüglich der Multiplikation $\odot$ besitzen. Diese werden Einheiten genannt und bilden gemeinsam mit der Multiplikation $\odot$ eine Gruppe – die Einheitengruppe. Diese wird häufig als $\mathcal{R}^\times$ oder auch als $E(\mathcal{R})$ geschrieben.
Eigenschaften
Neutrales Element
Die Einheitengruppe $\mathcal{R}^\times$ eines Rings mit Eins $\mathcal{R} = \bigl(R,\oplus,\odot\bigr)$ beinhaltet stets das neutrale Element $e_\odot$ der Multiplikation $\odot$.
Einheitengruppe und Körper
Handelt es sich bei der Einheitengruppe $\mathcal{R}^\times$ eines Rings mit Eins $\mathcal{R} = \bigl(R,\oplus,\odot\bigr)$ um alle Elemente der Trägermenge $R$ mit Ausnahme des Nullelements $e_\oplus$, gilt also $\mathcal{R}^\times = R \setminus \bigl\{ e_\oplus \bigr\}$, so handelt es sich bei $\mathcal{R}$ sogar um einen Körper.
Beispiele
Ganze Zahlen
Der Ring $\bigl(\Z,+,\cdot\bigr)$ der ganzen Zahlen besitzt genau zwei multiplikativ invertierbare Elemente; es gilt:
Rationale Zahlen
Alle rationalen Zahlen mit Ausnahme der Null besitzen ein multiplikatives Inverses; es gilt folglich
Es handelt sich beim Ring $\bigl(\Q,+,\cdot\bigr)$ also sogar um einen Körper.
Restklassenringe
Ein Element $ {[a]}_m$ des Restklassenrings $\bigl( \Z_m,+,\cdot \bigr)$ besitzt genau dann ein multiplikatives Inverses, wenn der zu invertierende Wert $a$ und der Modul $m$ teilerfremd sind. Die Einheitengruppe $\Z_m^\times$ besitzt somit genau $\varphi(m)$ Elemente. Bei $\varphi$ handelt es sich um die eulersche $\varphi$-Funktion.
Für die Einheitengruppe des Rings $\bigl( \Z_{42},+,\cdot \bigr)$ ergibt sich exemplarisch die folgende Gruppe mit $\varphi(42) = 12$ Elementen:
Handelt es sich beim Modul $m$ um eine Primzahl $p$, so besitzen alle Elemente mit Ausnahme von $ {[0]}_p$ ein multiplikatives Inverses; bei $\bigl( \Z_p,+,\cdot \bigr)$ handelt es sich folglich um einen Körper.
Polynomringe
Die Einheitengruppe des Polynomrings $\mathcal{R}[x]$ der Polynome mit Koeffizienten aus einem kommutativen Ring mit Eins $\mathcal{R}$ sind diejenigen Polynome
für die der Koeffizient $a_0$ im Ring $\mathcal{R}$ ein multiplikatives Inverses besitzt (also eine Einheit ist) und für die alle Koeffizienten $a_1,\ldots,a_n$ nilpotent sind, d. h., für jedes $a_i$ mit $1 \leq i \leq n$ existiert eine natürliche Zahl $N$, sodass $a_i^N=0_R$ gilt. Mit $0_R$ ist das Nullelement des Rings $\mathcal{R}$ bezeichnet, also das neutrale Element der Addition des Rings $\mathcal{R}$.
Matrizenringe
Die Einheitengruppe des Matrizenrings $\bigl( \mathcal{K}^{n \times n},+,\cdot\bigr)$ der quadratischen $n \times n$ Matrizen über einem Körper $\mathcal{K}$ besteht aus den invertierbaren Matrizen und wird als allgemeine lineare Gruppe $\operatorname{GL}(n,\mathcal{K})$ bezeichnet.