Einheitengruppe
# Einheitengruppe

In der Mathematik ist die Einheitengruppe eines Rings mit Einselement die Menge aller multiplikativ invertierbaren Elemente. Sie ist mit der Ringmultiplikation eine Gruppe.

Die Einheitengruppen von (unitären) assoziativen Algebren können als Verallgemeinerung der allgemeinen linearen Gruppe angesehen werden.

## Definition

Sei $R$ ein Ring mit 1. Die Menge aller multiplikativ invertierbaren Elemente (Einheiten) von $R$ bildet mit der Ringmultiplikation eine Gruppe. Sie wird Einheitengruppe von $R$ genannt. Man schreibt die Einheitengruppe meist als $R^{*}$ oder als $R^{\times }$. Die Definition lässt sich auf Monoide übertragen.

## Eigenschaften und verwandte Begriffe

* Ein kommutativer Ring mit 1, dessen Einheitengruppe aus allen Elementen außer der Null besteht, ist bereits ein Körper.
* Ein kommutativer Ring mit 1 ist genau dann lokal, wenn das Komplement der Einheitengruppe ein Ideal ist.

## Die Einheitengruppe eines Körpers

Die Einheitengruppe $K^{*}$ (auch $K^{\times }$) $:=\{x\in K\mid x\neq 0\}$ eines Körpers $K$ heißt multiplikative Gruppe. Sie ist isomorph zur linearen algebraischen Gruppe

    $\mathbb {G} _{m}(K):=\left\{{\begin{pmatrix}x&0\\0&~x^{-1}\end{pmatrix}}\;{\Bigg |}\;x\in K^{*}\right\}\subseteq \mathrm {GL} _{2}(K)$,

also Untergruppe der allgemeinen linearen Gruppe vom Grad 2.

Jede endliche multiplikative Untergruppe eines kommutativen Körpers $K$ ist zyklisch (s. Einheitswurzel).

## Beispiele

* Die Einheitengruppe des Rings $\mathbb {Z}$ der ganzen Zahlen besteht aus den beiden Elementen 1 und −1.
* Die Einheitengruppe des Rings $\mathbb {Q}$ der rationalen Zahlen besteht aus allen rationalen Zahlen ungleich der Null, $\mathbb {Q}$ ist also ein Körper.
* Die Einheitengruppe des Restklassenrings modulo 10 besteht aus den Elementen 1, 3, 7 und 9.
* Ist $p$ eine Primzahl, so gibt es in $\mathbb {Z} /p\mathbb {Z}$ genau $p-1$ Einheiten.
* Allgemein: Ist $m\in \mathbb {N}$, so gibt es in $\mathbb {Z} /m\mathbb {Z}$ genau $\varphi (m)$ Einheiten. Dabei ist $\varphi$ die Euler-Funktion. $\varphi (m)$ ist die Anzahl der natürlichen Zahlen, die nicht größer als $m$ und teilerfremd zu $m$ sind.
* Die Einheitengruppe des Matrizenrings der $n\times n$-Matrizen mit Koeffizienten in einem Körper $K$ heißt allgemeine lineare Gruppe $\mathrm {GL} (n,K)$. $\mathrm {GL} (n,\mathbb {R} )$ und $\mathrm {GL} (n,\mathbb {C} )$ sind Lie-Gruppen.
