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 ein Ring mit 1. Die Menge aller multiplikativ invertierbaren Elemente (Einheiten) von bildet mit der Ringmultiplikation eine Gruppe. Sie wird Einheitengruppe von 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 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 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 eine Primzahl, so gibt es in $\mathbb {Z} /p\mathbb {Z}$ genau 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 und teilerfremd zu sind.
Die Einheitengruppe des Matrizenrings der $n\times n$ -Matrizen mit Koeffizienten in einem Körper heißt allgemeine lineare Gruppe $\mathrm {GL} (n,K)$ . $\mathrm {GL} (n,\mathbb {R} )$ und $\mathrm {GL} (n,\mathbb {C} )$ sind Lie-Gruppen.

Literatur

Andreas Bartholomé, Josef Rung, Hans Kern: Zahlentheorie für Einsteiger. Vieweg+Teubner, 7. Auflage, 2010, ISBN 978-3-8348-1213-1.
Armin Leutbecher: Zahlentheorie. Eine Einführung in die Algebra. Springer, Berlin / Heidelberg / New York 1996, ISBN 3-540-58791-8.

Basierend auf einem Artikel in:

Wikipedia.de