Affine Gruppe

Die affine Gruppe oder allgemeine affine Gruppe ist ein Begriff aus dem mathematischen Teilgebiet der Gruppentheorie. Es handelt sich um die Gruppe aller invertierbaren, affinen Abbildungen eines affinen Raums über einem Körper $K$ in sich selbst.

Definition

Eine bijektive, affine Abbildung auf einem Vektorraum $V$ hat die Form

$f:V\to V,f(x)=Ax+v$,

wobei $A\in \mathrm{G}\mathrm{L}(V)$ ein Vektorraumisomorphismus, das heißt ein Element der allgemeinen linearen Gruppe, ist und $v\in V$ ein fester Vektor. Das heißt, $f$ ist die Kombination aus einem Vektorraumisomorphismus und einer Translation. Um die Abhängigkeit von $A$ und $v$ anzudeuten, schreiben wir auch $f=f_{A,v}$. Komposition und Umkehrung bijektiver affiner Abbildungen sind wieder bijektiv und affin, denn offenbar gilt

$(f_{A,v}\circ f_{B,w})(x)=f_{A,v}(f_{B,w}(x))=f_{A,v}(Bx+w)=ABx+Aw+v=f_{AB,Aw+v}(x)$   also   $f_{A,v}\circ f_{B,w}=f_{AB,Aw+v}$

$f_{A,v}(x)=y\iff Ax+v=y\iff x=A^{-1}y-A^{-1}v$   also   $f_{A,v}^{-1}=f_{A^{-1},-A^{-1}v}$

Die bijektiven, affinen Abbildungen bilden daher eine Gruppe, die sogenannte affine Gruppe oder allgemeine affine Gruppe. Typische Bezeichnungen sind $\mathrm{A}\mathrm{G}\mathrm{L}(V)$, $\mathrm{A}\mathrm{f}\mathrm{f}(V)$ oder $\mathrm{G}\mathrm{A}(V)$. Ist $V=K^n$ der n-dimensionale Vektorraum über einem Körper $K$, so schreibt man auch ${\mathrm{A}\mathrm{G}\mathrm{L}}_n(K)$. Ist weiter $K$ endlich mit $q$ Elementen, so bezeichnet man ${\mathrm{A}\mathrm{G}\mathrm{L}}_n(K)$ auch einfach mit ${\mathrm{A}\mathrm{G}\mathrm{L}}_n(q)$, denn ein endlicher Körper ist durch die Anzahl seiner Elemente bis auf Isomorphie eindeutig bestimmt.

Beispiele

AGL₁(ℝ)

Sei $V={ℝ}^1$ der eindimensionale reelle Vektorraum. Eine bijektive, affine Abbildung ist dann nichts anderes als eine Geradengleichung

$f(x)=ax+v$ mit $a\in {ℝ}^{*}=ℝ\setminus \{0\}$ und $v\in ℝ$.

${\mathrm{A}\mathrm{G}\mathrm{L}}_1(ℝ)$ ist also die Gruppe aller nicht-konstanten Geradengleichungen. Jedes Element hat die Form $f=f_{a,v}$ mit $a\in {ℝ}^{*},v\in ℝ$. Also kann ${\mathrm{A}\mathrm{G}\mathrm{L}}_1(ℝ)$ mit ${ℝ}^{*}\times ℝ$ identifiziert werden, und für die Gruppenoperationen gilt bei dieser Identifikation

$(a,v)\cdot (b,w)=(ab,aw+v)$

$(a,v{)}^{-1}=(\frac{1}{a},\frac{-v}{a})$.

$(1,0)$ ist das neutrale Element.

AGL₁(5)

Ersetzt man in obigem Beispiel $ℝ$ durch den endlichen Körper ${\mathbb{Z}}_5=\{0,1,2,3,4\}$, so erhält man die im Folgenden beschriebene endliche Gruppe mit 20 Elementen.

Eine bijektive, affine Abbildung ${\mathbb{Z}}_5\to {\mathbb{Z}}_5$ hat die Gestalt

$f(x)=ax+v$ mit $a\in {\mathbb{Z}}_5^{*}=\{1,2,3,4\}$ und $v\in {\mathbb{Z}}_5$.

Bezeichnet man ein solches Element einfach mit av, so ist

${\mathrm{A}\mathrm{G}\mathrm{L}}_1(5)=\{10,11,12,13,14,20,21,22,23,24,30,31,32,33,34,40,41,42,43,44\}$

und man hat folgende Verknüpfungstafel:

$\cdot$	$10$	$11$	$12$	$13$	$14$	$40$	$41$	$42$	$43$	$44$	$20$	$21$	$22$	$23$	$24$	$30$	$31$	$32$	$33$	$34$
$10$	$10$	$11$	$12$	$13$	$14$	$40$	$41$	$42$	$43$	$44$	$20$	$21$	$22$	$23$	$24$	$30$	$31$	$32$	$33$	$34$
$11$	$11$	$12$	$13$	$14$	$10$	$41$	$42$	$43$	$44$	$40$	$21$	$22$	$23$	$24$	$20$	$31$	$32$	$33$	$34$	$30$
$12$	$12$	$13$	$14$	$10$	$11$	$42$	$43$	$44$	$40$	$41$	$22$	$23$	$24$	$20$	$21$	$32$	$33$	$34$	$30$	$31$
$13$	$13$	$14$	$10$	$11$	$12$	$43$	$44$	$40$	$41$	$42$	$23$	$24$	$20$	$21$	$22$	$33$	$34$	$30$	$31$	$32$
$14$	$14$	$10$	$11$	$12$	$13$	$44$	$40$	$41$	$42$	$43$	$24$	$20$	$21$	$22$	$23$	$34$	$30$	$31$	$32$	$33$
$40$	$40$	$44$	$43$	$42$	$41$	$10$	$14$	$13$	$12$	$11$	$30$	$34$	$33$	$32$	$31$	$20$	$24$	$23$	$22$	$21$
$41$	$41$	$40$	$44$	$43$	$42$	$11$	$10$	$14$	$13$	$12$	$31$	$30$	$34$	$33$	$32$	$21$	$20$	$24$	$23$	$22$
$42$	$42$	$41$	$40$	$44$	$43$	$12$	$11$	$10$	$14$	$13$	$32$	$31$	$30$	$34$	$33$	$22$	$21$	$20$	$24$	$23$
$43$	$43$	$42$	$41$	$40$	$44$	$13$	$12$	$11$	$10$	$14$	$33$	$32$	$31$	$30$	$34$	$23$	$22$	$21$	$20$	$24$
$44$	$44$	$43$	$42$	$41$	$40$	$14$	$13$	$12$	$11$	$10$	$34$	$33$	$32$	$31$	$30$	$24$	$23$	$22$	$21$	$20$
$20$	$20$	$22$	$24$	$21$	$23$	$30$	$32$	$34$	$31$	$33$	$40$	$42$	$44$	$41$	$43$	$10$	$12$	$14$	$11$	$13$
$21$	$21$	$23$	$20$	$22$	$24$	$31$	$33$	$30$	$32$	$34$	$41$	$43$	$40$	$42$	$44$	$11$	$13$	$10$	$12$	$14$
$22$	$22$	$24$	$21$	$23$	$20$	$32$	$34$	$31$	$33$	$30$	$42$	$44$	$41$	$43$	$40$	$12$	$14$	$11$	$13$	$10$
$23$	$23$	$20$	$22$	$24$	$21$	$33$	$30$	$32$	$34$	$31$	$43$	$40$	$42$	$44$	$41$	$13$	$10$	$12$	$14$	$11$
$24$	$24$	$21$	$23$	$20$	$22$	$34$	$31$	$33$	$30$	$32$	$44$	$41$	$43$	$40$	$42$	$14$	$11$	$13$	$10$	$12$
$30$	$30$	$33$	$31$	$34$	$32$	$20$	$23$	$21$	$24$	$22$	$10$	$13$	$11$	$14$	$12$	$40$	$43$	$41$	$44$	$42$
$31$	$31$	$34$	$32$	$30$	$33$	$21$	$24$	$22$	$20$	$23$	$11$	$14$	$12$	$10$	$13$	$41$	$44$	$42$	$40$	$43$
$32$	$32$	$30$	$33$	$31$	$34$	$22$	$20$	$23$	$21$	$24$	$12$	$10$	$13$	$11$	$14$	$42$	$40$	$43$	$41$	$44$
$33$	$33$	$31$	$34$	$32$	$30$	$23$	$21$	$24$	$22$	$20$	$13$	$11$	$14$	$12$	$10$	$43$	$41$	$44$	$42$	$40$
$34$	$34$	$32$	$30$	$33$	$31$	$24$	$22$	$20$	$23$	$21$	$14$	$12$	$10$	$13$	$11$	$44$	$42$	$40$	$43$	$41$

Die Anordnung der Elemente wurde dabei so gewählt, dass die oberen, linken Teile der Verknüpfungstafel die 5-elementige Untergruppe $\{10,11,12,13,14\}$ und die 10-elementige Untergruppe $\{10,11,12,13,14,40,41,42,43,44\}$ zeigen. Diese sind isomorph zu ${\mathbb{Z}}_5$ bzw. ${\mathbb{Z}}_2⋊{\mathbb{Z}}_5$ (siehe unten spezielle affine Gruppe ). Letztere ist offenbar nichtabelsch. Da es bis auf Isomorphie aber nur zwei 10-elementige Gruppen gibt, siehe Liste kleiner Gruppen, muss sie isomorph zur Diedergruppe $D_5$ sein.

Die affine Gruppe als semidirektes Produkt

Konstruktion

Wir betrachten die affine allgemeine Gruppe $\mathrm{A}\mathrm{G}\mathrm{L}(V)$ über dem Vektorraum $V$. Die Untergruppe der Translationen auf $V$ ist isomorph zur additiven Gruppe $(V,+)$ und die Untergruppe $\mathrm{G}\mathrm{L}(V)$ operiert als Gruppe von Automorphismen auf den Translationen. Offenbar ist jedes Element aus $\mathrm{A}\mathrm{G}\mathrm{L}(V)$ ein Produkt aus einem Element der Untergruppe $\mathrm{G}\mathrm{L}(V)$ und der Translationengruppe $V$. Daher hat man das folgende semidirekte Produkt

$\mathrm{A}\mathrm{G}\mathrm{L}(V)\cong V⋊\mathrm{G}\mathrm{L}(V)$.

Für $V=K^n$ bedeutet das

${\mathrm{A}\mathrm{G}\mathrm{L}}_n(K)\cong K^n⋊\mathrm{G}\mathrm{L}(n,K)$.

Anzahl der Elemente

Damit lässt sich die Ordnung der Gruppe ${\mathrm{A}\mathrm{G}\mathrm{L}}_n(q)$ über dem Körper $K$ mit $q=p^k$ Elementen leicht auf die Gruppenordnung von ${\mathrm{G}\mathrm{L}}_n(q)$ zurückführen:

$\mathrm{o}\mathrm{r}\mathrm{d}({\mathrm{A}\mathrm{G}\mathrm{L}}_n(q))=|K^n|\cdot \mathrm{o}\mathrm{r}\mathrm{d}({\mathrm{G}\mathrm{L}}_n(q))=q^n\cdot \prod _{i=0}^{n-1}(q^n-q^i)$

Beispiel AGL₁(5)

Das obige Beispiel ${\mathrm{A}\mathrm{G}\mathrm{L}}_1(5)$ hat nach obiger Anzahlformel $5^1\cdot (5^1-5^0)=20$ Elemente und kann als

${\mathrm{A}\mathrm{G}\mathrm{L}}_1(5)\cong {\mathbb{Z}}_5⋊{\mathbb{Z}}_5^{*}$

geschrieben werden. Da ${\mathbb{Z}}_4\cong {\mathbb{Z}}_5^{*}$, erhält man

${\mathrm{A}\mathrm{G}\mathrm{L}}_1(5)\cong {\mathbb{Z}}_5⋊{\mathbb{Z}}_4$.

Dabei ist allerdings darauf zu achten, wie ${\mathbb{Z}}_4$ als Automorphismen auf ${\mathbb{Z}}_5$ operiert. Bei den vorgenommenen Identifikationen wird das erzeugende Element $1\in {\mathbb{Z}}_4$ auf die Multiplikation mit 2 auf ${\mathbb{Z}}_5$ abgebildet. Das ist mit dem semidirekten Produkt ${\mathbb{Z}}_5⋊{\mathbb{Z}}_4$ gemeint.

Beispiel AGL₂(2)

${\mathrm{A}\mathrm{G}\mathrm{L}}_2(2)$ ist die Gruppe der affinen Abbildungen des zweidimensionalen ${\mathbb{Z}}_2$-Vektorraums, sie permutiert die vier Vektoren dieses Vektorraums und ist daher isomorph zu einer Untergruppe der symmetrischen Gruppe $S_4$. Nach obigem ist aber auch $\mathrm{o}\mathrm{r}\mathrm{d}({\mathrm{A}\mathrm{G}\mathrm{L}}_2(2))=2^2\cdot (2^2-2^0)\cdot (2^2-2)=4\cdot 3\cdot 2=24$, das heißt, ${\mathrm{A}\mathrm{G}\mathrm{L}}_2(2)$ muss daher zu $S_4$ isomorph sein.

Die affine Gruppe als Matrizengruppe

Die affinen Gruppen erweisen sich als Untergruppen von allgemeinen linearen Gruppen. Leicht rechnet man nach, dass

$K^n⋊{\mathrm{G}\mathrm{L}}_n(K)\to {\mathrm{G}\mathrm{L}}_{n+1}(K),(v,A)\mapsto \left(\begin{array}{cccc}{a}_{11}& \dots & a_{1n}& v_1\\ ⋮& \ddots & ⋮& ⋮\\ a_{n1}& \dots & a_{nn}& v_n\\ 0& \dots & 0& 1\end{array}\right)$

ein injektiver Homomorphismus ist. Aus der Isomorphie ${\mathrm{A}\mathrm{G}\mathrm{L}}_n(K)\cong K^n⋊{\mathrm{G}\mathrm{L}}_n(K)$ ergibt sich daher, dass ${\mathrm{A}\mathrm{G}\mathrm{L}}_n(K)$ isomorph zur Gruppe der Matrizen

$\{(c_{i,j}{)}_{i,j=1,\dots ,n}|c_{i,j}\in K,c_{n+1,1}=\dots =c_{n+1,n}=0,c_{n+1,n+1}=1\}$

ist. Kurz: ${\mathrm{A}\mathrm{G}\mathrm{L}}_n(K)$ ist eine Untergruppe von ${\mathrm{G}\mathrm{L}}_{n+1}(K)$.

Weitere affine Gruppen

Die spezielle affine Gruppe

Auf den affinen Gruppen hat man die Determinantenabbildung

$\det :{\mathrm{A}\mathrm{G}\mathrm{L}}_n(K)\cong K^n⋊{\mathrm{G}\mathrm{L}}_n(K)\to K^{*},(v,A)\mapsto \det (A)$,

die ein Homomorphismus in die Einheitengruppe des Körpers ist. Alternativ kann man auch obige Einbettung ${\mathrm{A}\mathrm{G}\mathrm{L}}_n(K)\subset {\mathrm{G}\mathrm{L}}_{n+1}(K)$ verwenden und die Determinantenabbildung auf ${\mathrm{A}\mathrm{G}\mathrm{L}}_n(K)$ als Einschränkung der Determinantenabbildung auf ${\mathrm{G}\mathrm{L}}_{n+1}(K)$ definieren.

Der Kern dieses Homomorphismus, das heißt die Menge aller Elemente mit Determinante 1, ist dann ein Normalteiler in ${\mathrm{A}\mathrm{G}\mathrm{L}}_n(K)$, den man in Analogie zur speziellen linearen Gruppe die spezielle affine Gruppe nennt und mit ${\mathrm{A}\mathrm{S}\mathrm{L}}_n(K)$ bezeichnet.

In obigem Beispiel ${\mathrm{A}\mathrm{G}\mathrm{L}}_1(5)$ ist offenbar ${\mathrm{A}\mathrm{S}\mathrm{L}}_1(5)=\{10,11,12,13,14\}$.

Allgemeiner kann man Urbilder beliebiger Untergruppen von $K^{*}$ betrachten. In ${\mathrm{A}\mathrm{G}\mathrm{L}}_1(5)$ hat man also den weiteren Normalteiler ${\det }^{-1}(\{1,4\})$, das ist die bereits oben erwähnte 10-elementige Untergruppe von ${\mathrm{A}\mathrm{G}\mathrm{L}}_1(5)$. In der Sprache der semidirekten Produkte ist das ${\mathbb{Z}}_5⋊{\mathbb{Z}}_2$, indem man ${\mathbb{Z}}_2$ als Untergruppe $\{1,4\}\subset {\mathbb{Z}}_5^{*}$ auffasst.

Die affine semilineare Gruppe

Die affinen Gruppen ${\mathrm{A}\mathrm{G}\mathrm{L}}_n(K)$ entstehen aus der allgemeinen linearen Gruppe ${\mathrm{G}\mathrm{L}}_n(K)$ durch Hinzunahme der Translationen. Diese Gruppen kann man durch Hinzunahme von Körperautomorphismen weiter vergrößern. Ist $\sigma$ ein Automorphismus auf $K$, $A\in {\mathrm{G}\mathrm{L}}_n(K)$ und $v\in K^n$, so sei

$f_{A,v,\sigma }:K^n\to K^n,x\mapsto A(\sigma (x))+v$,

wobei $\sigma (x)$ durch komponentenweise Anwendung auf die Komponenten des Spaltenvektors $x\in K^n$ definiert ist. Derartige Abbildungen nennt man affin-semilinear, Kompositionen und Umkehrungen bijektiver affin-semilinearer Abbildungen sind wieder von dieser Art.

${\mathrm{A}\mathrm{\Gamma }\mathrm{L}}_n(K):=\{f_{A,v,\sigma };A\in {\mathrm{G}\mathrm{L}}_n(K),v\in K^n,\sigma \in \mathrm{A}\mathrm{u}\mathrm{t}(K)\}$

heißt affin semilineare Gruppe.

In den Fällen $K=\mathbb{Q}$ oder $K={\mathbb{Z}}_p$ mit einer Primzahl $p$ gibt es keine nicht-trivialen Körperautomorphismen und man erhält nichts Neues. Bei Körpern wie $K=GF(4)$ hat man es mit echten Erweiterungen von ${\mathrm{A}\mathrm{G}\mathrm{L}}_n(K)$ zu tun. Fasst man die affinen Abbildungen als strukturerhaltende Abbildungen affiner Räume auf, so ist ${\mathrm{A}\mathrm{G}\mathrm{L}}_n(K)$ im Allgemeinen nicht die volle Automorphismengruppe der affinen Struktur, diese erhält man erst durch die im Allgemeinen größere affine semilineare Gruppe.