Sie sind auf Seite 1von 42

Zur Darstellung der PSL

2
(Z[i]) als amalgamiertes
Produkt
Ausarbeitung zum Vortrag im Baccalaureus
Abschlussseminar
von
Andreas B uchler
geboren am 13. November 1986 in Memmingen
5. Dezember 2011
Betreuer:
Prof. A. Huber-Klawitter
Dr. M. Wendt
Albert-Ludwigs-Universit at Freiburg
Fakult at f ur Mathematik und Physik
Mathematisches Institut
INHALTSVERZEICHNIS
Inhaltsverzeichnis
1 Einf uhrung 2
2 Grundlagen 3
3 Die Operation der Picardgruppe auf dem oberen Halbraum 8
4 Prasentation der Gruppe 16
5 Der Fundamentalbereich f ur 21
5.1 Der topologische Raum (H, ) und Annaherungen an den Fundamental-
bereich . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
5.2 Der zweidimensionale Retrakt

X von H . . . . . . . . . . . . . . . . . . 24
5.3 Der Fundamentalbereich f ur in

X . . . . . . . . . . . . . . . . . . . . . 25
6 Die Stabilisatoren der Ecken des Fundamentalbereichs 28
6.1 Allgemeine Vor uberlegung . . . . . . . . . . . . . . . . . . . . . . . . . . 28
6.2
p
, p = (0, 1) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
6.3
q
, q =
_
1
2
,

3
2
_
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
6.4
u
, u =
_
1+i
2
,

2
2
_
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
6.5
v
, v = (
i
2
,

3
2
) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
6.6 Die Schnittmengen der Stabilisatorgruppen . . . . . . . . . . . . . . . . . 37
7 als Amalgamiertes Produkt 38
Literaturverzeichnis 41
1
1 EINF

UHRUNG
1 Einf uhrung
Seien Z[i] die Gauschen Zahlen, also der Ring ganzer Zahlen in Q(

1), und
= PSL
2
(Z[i]), die projektive spezielle lineare Gruppe von Matrizen mit Eintragen aus
den Gauschen Zahlen. Ziel dieser Arbeit ist eine Prasentation dieser Gruppe herzuleiten,
die veranschaulicht, dass eine Amalgam im Sinne von Jean-Pierre Serre ist. Motivieren-
des verwandtes Beispiel ist die Modulgruppe PSL
2
(Z). Hier zeigte Serre, dass die Dar-
stellung der Gruppe als Amalgam direkt mit der Geometrie des Fundamentalbereichs der
Operation auf der oberen Halbebene verkn upft ist. Betrachtet man namlich die Wirkung
der Gruppe auf einem Baum, ndet man als Fundamentalbereich eine Kante k mit den
Ecken P und Q. Serre bewies, dass die Gruppe dann als Amalgam (StabP)
Stabk
(StabQ)
aufgefasst werden kann.
Dieter Floege verallgemeinerte diese Vorgehensweise - die Fundamentalbereiche der Ope-
rationen auf geeigneten Retrakten des oberen Halbraumes zu betrachten - in seiner Dis-
sertation f ur Gruppen PSL
2
(R) uber ausgewahlten imaginar quadratischen Zahlringen
R. Interessant ist vor allem der Fall der Gauschen Zahlen, da der Fundamentalbereich
hier aus einer 2-Zelle mit vier Ecken besteht. Die vorliegende Arbeit f uhrt Floeges all-
gemeine

Uberlegungen f ur den Fall der Gauschen Zahlen, also R = Z[i] konkret aus.
Zuerst werden die notigen Begrie eingef uhrt. Anschlieend betrachten wir die Opera-
tion von auf dem oberen Halbraum. Wir leiten anschlieend den Zusammenhang der
Prasentation der Gruppe mit dem Fundamentalbereich und vor allem den Stabilisatoren
der Ecken des Fundalmentalbereichs her, bevor wir sowohl Fundamentalbereich, als auch
die Stabilisatoren der Eckpunke berechnen. Im letzten Kapitel konnen wir schlielich die
Gruppe als Amalgam im Sinne von Serre angeben.
Ich mochte mich an dieser Stelle bei Herrn Dr. Matthias Wendt vielmals f ur die sehr gu-
te, anregende und regelmaige Betreuung bedanken. Ebenfalls danke ich Herrn Professor
Andreas Buchleitner und Herrn Professor Sebastian Goette, die mir das Doppelstudium
zugetraut und damit ermoglicht haben.
2
2 GRUNDLAGEN
2 Grundlagen
Dieses Kapitel umfasst die Denitionen der zentralen Konzepte und Begrie dieser Ar-
beit.
Denition 2.1 (PSL
2
(R)). Die projektive spezielle lineare Gruppe der Matrizen in
zwei Dimensionen uber einem Ring R, PSL
2
R ist:
PSL
2
(R) = SL
2
(R)/I,
dabei ist SL
2
(R) := A Mat(2, R)[det(A) = 1 und I die Einheitsmatrix in SL
2
. Mit

sei im Folgenden die Verkn upfung der Gruppe, die gewohnliche


Matrix-Multiplikation, bezeichnet.
Wir interessieren uns spater f ur die PSL
2
(R) uber dem Ring der Gauschen Zahlen.
Zunachst betrachten wir die formelle Denition als Ganzheitsring eines quadratischen
Zahlkorpers, in diesem Kontext wird der Ring bei Floge eingef uhrt.
Denition 2.2 (Quadratischer Zahlkorper). Sei d Z und quadratfrei, das heit in der
Primfaktorzerlegung von d kommen keine doppelten Faktoren vor. Ein Korper der Form
Q(

d) := z C [ z = x +y

d, x, y Q
heit quadratischer Zahlkorper.
F ur d > 0 spricht man von einem reell quadratischen und f ur d < 0 von einem imaginar
quadratischen Zahlkorper.
Denition 2.3 (Ganzheitsring). Der Ganzheitsring O
K
eines Zahlkorpers K ist der
Ring der ganz algebraischen Elemente von K, das heit:
O
K
= K [ n N und a
1
, ..., a
n
Z mit
n
+a
1

n1
+... +a
n
= 0
Bei einer Ganzheitsgleichung muss der Koeezient vor
n
per Denition die Eins des
Ringes sein.
F ur K=Q(

d) mit einem d Z und d < 0 spricht man von einem imaginar


quadratischen Zahlring.
3
2 GRUNDLAGEN
Bemerkung 2.4. F ur K=Q(

d) mit quadratfreiem d Z gilt:


F ur d , 1 mod 4 ist O
K
= a +b

d [ a, b Z
F ur d 1 mod 4 ist O
K
=
u+v

d
2
[ u, v Z und u v mod 2
Diese Bemerkung lasst sich mit den Eigenschaften der Ganzheitsgleichung und mit dem
Gau-Lemma beweisen. Eine Ausf uhrung dazu ndet sich unter anderem in Bosch Alge-
bra Lehrbuch [Bo95].
Floge untersucht in dem dieser Arbeit zu Grunde liegendem Paper [Flo83] Gruppen der
FormPSL
2
(R), wobei R stets der Ganzheitsring eines imaginar quadratischen Zahlkorpers
Q(

d) ist, f ur d 1, 2, 3, 5, 6, 7, 10, 11. Allgemein werden derartige Gruppen mit


d > 0 als Bianchi-Gruppen bezeichnet (vgl. [Fi89]). Wir werden uns auf den Fall
d = 1 beschranken.
Denition 2.5 (Gausche Zahlen). Der Ganzheitsring des imaginar quadratischen
Zahlkorpers Q(

1) wird als Ring der Gauschen Zahlen bezeichnet.


Bemerkung 2.6. Mit Bemerkung 2.4 folgt eine wesentlich pragmatischere Denition
der Gauschen Zahlen:
O
Q(

1)
=a +b

1 [ a, b Z
=a +bi [ a, b Z
=Z[i]
Denition 2.7 (Picardgruppe, gema [Fi89]). Die Gruppe
:= PSL
2
(Z[i])
wird Picardgruppe genannt. Diese Gruppe gehort zu den Bianchi-Gruppen.
Wir interessieren uns f ur die Operation von als Gruppe von Homoomorphismen auf
einem topologischem Raum X. Deswegen mochte ich kurz mehrere relevante Begrie aus
dem Themengebiet der Gruppenwirkungen klarstellen.
4
2 GRUNDLAGEN
Denition 2.8 (Operation). Eine Gruppenwirkung oder Operation einer Gruppe G auf
einer Menge X ist eine Abbildung
: X X
mit folgenden Eigenschaften:
1. Wenn e das neutrale Element in G ist, so gilt f ur alle x aus X: (e, x) = x
2. F ur alle g, h aus G und f ur beliebige x aus X gilt (g, (h, x)
. .
X
) = (g h
..
G
, x)
Im Folgenden wird anstelle von (g, x) haug auch gx oder spater g x verwendet.
Denition 2.9 (Bahn und Stabilisator). Deniert eine Operation der Gruppe G auf
einer Menge X, dann heit die folgende Teilmenge von X
Gx := gx[g G
die (G-)Bahn von x. Die Bahnen liefern eine Partition von X.
Des Weiteren bezeichnet man die Teilmenge von G
G
x
:= g G[gx = x
als Stabilisator eines Elementes x von X unter G. Insbesondere ist jeder so denierte
Stabilisator eine Untergruppe von G.
Nachdem das Ziel dieser Arbeit ist, eine Prasentation der Picardgruppe als amalgamiertes
Produkt herzuleiten, sollen auch diese Begrie eingef uhrt werden.
Denition 2.10 (Freie Gruppe). Eine Gruppe G ist eine freie Gruppe, wenn eine
Teilmenge E G existiert, so dass jedes g G eine eindeutige Darstellung als Produkt
g = e
1
n
1
e
2
n
2
...e
l
n
l
mit e
i
E und n
o
Z 0 besitzt. Ein solches Produkt wird Wort
genannt. Gilt im obigen Produkt zusatzlich, dass e
j
,= e
j+1
, spricht man von einem
5
2 GRUNDLAGEN
reduzierten Wort. Da die Gruppe nicht notwendig abelsch ist, ist die Reihenfolge
wichtig.
Die Verkn upfung in der freien Gruppe entspricht dem Zusammensetzten von Wortern.
Existiert eine solche Teilmenge E, nennt man E ein freies Erzeugendensystem und G
die freie Gruppe uber E, bezeichnet als T(E).
Bemerkung 2.11. Dem neutralen Element der von E frei erzeugten Gruppe G entspricht
das leere Wort in T(E). Elemente aus E konnen auf nat urliche Weise in T(E) eingebettet
werden, das Wort entspricht dem Element selbst.
Denition 2.12. Bezeichne T(E) die freie Gruppe uber einer Menge von Erzeugern E
und sei 1
V
T(E) eine Menge von Wortern. Sei A(1
E
) der von 1
E
in T(E)
erzeugten Normalteiler. Dann sei:
E[1
E
:= T(
V
)/A(1
V
)
die von Erzeugern E und von den denierten Relationen aus 1
E
prasentierte
Gruppe. Gilt G

= E[1
E
, so ist E[1
E
eine Prasentation der Gruppe G.
Bemerkung 2.13. Die Konstruktion T(E)/A(1
E
) ergibt wieder eine Gruppe und A(1
E
)
ist Kern des Gruppenmorphismus : T(E) T(E)/A(1
E
). Daraus folgt, dass die
Relationen diejenigen Elemente aus T(E) bestimmen, die auf das neutrale Element in
T(
V
)/A(1
V
) abgebildet werden.
Gilt beispielsweise: 1
E
= e, gibt es keine algebraischen Relationen. Eine Gruppe
E

[1
E
entspricht dann der von E

frei erzeugten Gruppe.


Denition 2.14. Eine Gruppe

= E[1
E
heit endlich prasentiert, wenn E und
1
E
endliche Mengen sind.
Beispiel 2.15.
1. Alternierende Gruppe auf vier Symbolen (Drehgruppe des Tetraeders)
A
4
=

A, C[A
3
= C
3
= (AC)
2
= 1
_
6
2 GRUNDLAGEN
2. Symmetrische Gruppe auf 3 Symbolen (Dreh- und Spiegelgruppe des gleich-
seitigen Dreiecks)
S
3
=

A, D[A
3
= D
2
= (AD)
2
= 1
_
3. Kleinsche 4-er Gruppe (Symmetriegruppe des Rechtecks)
D
2
=

B, D[B
2
= D
2
= (BD)
2
= 1
_
= Z
2
Z
2
4. Modulare Gruppe (PSL
2
Z)
M=

C, D[C
3
= D
2
= 1
_
= Z
3
Z
2
Diese vier Gruppen, die mit Ausnahme der Modularen Gruppe alle Untergruppen der
SL
2
(C) sind, sind alle endlich prasentiert.
Denition 2.16 (Freies Produkt). Sei (G
i
)
iI
eine Familie von Gruppen. Das freie
Produkt G
i
besteht aus der Menge der reduzierten Worter w = g
1,i
1
g
2,i
2
....g
n,i
n
.
Dabei gilt: g
r,i
r
G
i
r
und i
r
,= i
r+1
. Die Verkn upfung zweier Elemente aus G
i
entspricht dem Zusammensetzten der Worter.
Denition 2.17 (Amalgame). Sei (G
i
)
iI
eine Familie von Gruppen. Des Weiteren sei
A eine Gruppe. Jede Gruppe G
i
besitzte eine zu A isomorphe Untergruppe, dazu sei

i
: A G
i
die zugehorige Einbettung.
F ur alle i gibt es Homomorphismen
i
: G
i

A
G
i
, so dass die Verkn upfung
i

i
f ur
verschiedene i kommutiert.
Eindeutig deniert ist das Amalgamierte Produkt uber folgende universelle
Eigenschaft: Wenn ein Diagramm der Gestalt 1 kommutiert, dann existiert f ur jedes
Diagramm der Form aus 2 ein eindeutiges , so dass auch dieses kommutiert:
G
i

i
//
H
A
?

i
O


j
/
G
j

j
OO
(1)
7
3 DIE OPERATION DER PICARDGRUPPE AUF DEM OBEREN HALBRAUM
G
i

i
//

i
""
H
G
i

A
G
j
!
;
A
?

i
O


j
/
G
j

j
bb

j
OO
(2)
Bemerkung 2.18. Um das Amalgamierte Produkt
A
G
i
einer Familie von Gruppen uber
der Menge A zu konstruieren, werden die Elemente der zu A isomorphen Untergruppen
der G
i
in den Wortern des freien Produktes uber der Familie mit ihrem Urbild aus A
identiziert. Dadurch lassen sich die Worter weiter reduzieren. Sie verschmelzen die G
i
ineinander.
Beispiel 2.19.
1. F ur den Fall A = 1 enstpricht das Amalgam einer Familie von Gruppen G
i
uber A
dem freien Produkt. Beispielweise ist die unendliche Diedergruppe als freies Produkt
darstellbar: D

= Z
2
Z
2
2. Die Gruppen A
4
und S
3
aus Beispiel 2.15 besitzen beide eine Untergruppe isomorph
zu A[ A
3
= 1

= Z
3
. Es lasst sich also ein amalgamiertes Produkt der Symetrie-
gruppen uber Z
3
denieren:
A
4

Z
3
S
3

=

A, D, C[A
3
= C
3
= (AC)
2
= D
2
= (AD)
2
= 1
_
3 Die Operation der Picardgruppe auf dem oberen
Halbraum
Wir werden nun die Wirkung von auf dem oberen Halbraum H untersuchen denieren
und verizieren, dass die Operation wohldeniert ist.
Denition 3.1.
H := C R
+
= (z, r) : z C, r R, r > 0
8
3 DIE OPERATION DER PICARDGRUPPE AUF DEM OBEREN HALBRAUM
ist der obere Halbraum.
Die Topologie sei die Spur der ublichen Topologie des R
3
(geht, da H C R

= R
3
).
Es bezeichne die Matrix
_
a b
c d
_
einen Reprasentanten ihrer Klasse g in , es sei (z, r)
H, dann wirke g wie folgt auf dem oberen Halbraum:
_
a b
c d
_
(z, r) :=
_
(d cz)(az b) r
2
ca
[cz d[
2
+r
2
[c[
2
,
r
[cz d[
2
+r
2
[c[
2
_
(3)
Bemerkung 3.2. Es lasst sich eine Metrik d auf H nden, so dass die PSL
2
(R) auf
(H, d) als Gruppe von Isometrien operiert. Die von einer solchen Metrik d erzeugte To-
pologie stimmt mit dem uberein.
Satz 1. Gleichung (3) deniert eine Operation von auf dem oberen Halbraum. Das
heit, g
1
, g
2
und (z, r) H: (g
2
g
1
) (z, r) = g
2
(g
1
(z, r))
Der Beweis des Satzes ist eine ausf uhrliche Fassung der Beweisskizze im 2. Kapitel aus
[Flo80]. Vor allem wurde die Idee, als Gruppenoperation uber der Menge P der po-
sitiv deniten hermiteschen Formen in zwei komplexen Variablen zu behandeln daraus
entnommen. Der Beweis, der nun in aller Ausf uhrlichkeit dargestellt wird, umfasst die
folgenden zwei Lemmata (3.4 und 3.5).
Um uns die folgenden Beweise zu vereinfachen, bedienen wir uns der zu H verwandten
Menge P:
Denition 3.3.
P :=
_
p =
_
p
1
p
2
p
2
p
3
_
[ p
2
C , p
1
, p
3
Rund p
1
, p
3
, det(P) > 0
_
ist die Menge der positiv deniten hermiteschen Formen in zwei komplexen
Variablen.
Wir denieren zunachst eine Wirkung

von auf P (aus Denition 3.3):


g p := (g
1
)
t
p g
1
=
_
d c
b a
__
p
1
p
2
p
2
p
3
__
d b
c a
_
(4)
9
3 DIE OPERATION DER PICARDGRUPPE AUF DEM OBEREN HALBRAUM
Lemma 3.4. Mit der in Gleichung 4 denierten Verkn upfung gilt f ur g, h , p P
und r R
+
:
1.
_
1 0
0 1
_
p = p
2. (g h) p = g (h p)
3. g (rp) = r(g p)
Beweis. Aussagen 1. und 3. sind klar.
Aussage 2. gilt, da:
(g h) p = ((gh)
1
)
t
p (gh)
1
= (h
1
g
1
)
t
p h
1
g
1
= g
1
t
h
1
t
p h
1
g
1
= g (h p)
Wir betrachten nun

P = P/ , wobei die

Aquivalenzrelation wie folgt deniert ist:
p p

r R
+
: rp = p

Die

Aquivalenzklassen von p sind also:
[p] := p

P[p

p = p

P[r R
+
: rp = p
Somit wird Aussage 3. zu 3.:
g[p] = [gp] g , p P
Mit Aussagen 1., 2. und 3. folgt, dass auf

P operiert.
Somit gilt, dass auch auf H operiert, wenn es eine Abbildung gibt, die jedes Element
[p]

P so mit einem Punkt des oberen Halbraumes H identiziert, dass die Gruppen-
operation von mit der Identikation vertraglich ist.
Nach Denition der Relation gilt also f ur jede beliebige Matrix p P, dass auch die
Matrix p

=
1
p
1
p in der Aquivalenzklasse von p liegt. Es gilt: p

1
= 1 und per Denition
10
3 DIE OPERATION DER PICARDGRUPPE AUF DEM OBEREN HALBRAUM
der

Aquivalenzrelation kann es nur ein einziges p

[p] mit dieser Eigenschaft geben. Jede

Aquivalenzklasse [p] kann demnach durch eine Matrix mit p


1
= 1 reprasentiert werden.
Fortan betrachten wir

P, als Menge der Reprasentanten:
p =
1
p
1
p =
_
1 p
2
/p
1
(p
2
)/p
1
p
3
/p
1
_
Es ist einfach zu zeigen, dass wir so eine Teilmenge von P erhalten, die isomorph zu der
vorigen Denition von

P ist und dass Aussagen 1.-3. weiterhin g ultig sind.
Sei nun:
:

P H
p =
_
1 p
2
p
2
p
3
_
( p
2
,
_
det( p))
Da P

P folgt:
1.
_
det( p) = p
3
p
2
p
2
R
+
und
2. p
2
C.
Somit ist wohldeniert.
Andererseits sei:

1
: H

P
(z, r)
_
1 z
z [z[
2
+ r
2
_
Es gilt hier:
1. [z[
2
+ r
2
R
+
, sowie
2.
_
det(
1
((z, r))) =

det
_
1 z
z [z[
2
+r
2
_
=
_
([z[
2
+ r
2
zz) =

r
2
= r R
+
(5)
.
Damit ist auch
1
wohldeniert.
11
3 DIE OPERATION DER PICARDGRUPPE AUF DEM OBEREN HALBRAUM
Lemma 3.5. Die Abbildungen und
1
vermitteln bijektive Abbildungen zwischen

P
und H, es gilt
1
= id
H
und
1
= id

P
.
Beweis.
(
1
)(z, r) =
__
1 z
z [z[
2
+ r
2
__
=(z,
_
det(
1
((z, r))))
=(z, r)
Der letzte Schritt folgt aus Gleichung 21. Damit ist
1
= id
H
.
(
1
)
_
1 p
2
p
2
p
3
_
=
1
(p
2
,
_
p
3
[ p
2
[
2
)
=
_
1 p
2
p
2
( p
3
[ p
2
[
2
+[ p
2
[
2
)
_
=
_
1 p
2
p
2
p
3
_
Damit gilt:
1
= id

P
. und
1
liefern also die gesuchte eindeutige Identikation.
Folgerung 3.6. Die Abbildung
g (z, r) := (g
1
((z, r)))
deniert eine Gruppenwirkung von auf H.
Beweis. Mithilfe von Aussagen 1.-3. und
1
= id

P
gilt:
h (g (z, r)) =h (g
1
((z, r)))
=
_
h
1
_

_
g
1
((z, r))
___
=(h (g
1
((z, r))))
2.
=((h g)
1
((z, r)))
=(h g) (z, r)
Folgerung 3.7. Die Abbildung aus Gleichung 3 entspricht derjenigen aus Folgerung 3.6
und ist damit eine Operation.
12
3 DIE OPERATION DER PICARDGRUPPE AUF DEM OBEREN HALBRAUM
Beweis.
g (z, r) = (g
1
((z, r)))
=
__
a b
c d
_

_
1 z
z [z[
2
+ r
2
__
=
_
_
_
_
a b
c d
_
1
_
t
_
1 z
z [z[
2
+r
2
_ _
a b
c d
_
1
_
_
=
__
d c
b a
_ _
1 z
z [z[
2
+r
2
_ _
d c
b a
__
=
__
d c
b a
_ _
d zc b +az
dz c([z[
2
+r
2
) bz +a([z[
2
+r
2
)
__
=
__
d(d zc) c(dz c([z[
2
+ r
2
)) d(b +az) c(bz +a([z[
2
+r
2
))
b(d zc) + a(dz c([z[
2
+ r
2
)) b(b +az) a(bz +a([z[
2
+r
2
))
__
=
__
[d[
2
dzc cdz +[c[
2
([z[
2
+r
2
)) db +daz +c bz caz z car
2
)
bd + bzc +adz aczz acr
2
)) [b[
2
baz abz +[a[
2
([z[
2
+r
2
))
__
=
__
(cz d)(cz d) + r
2
[c[
2
) (d cz)(az b) car
2
(d cz)(az b) acr
2
(az b)(az b) + r
2
[a[
2
__
=
_
_
_
_
_
_
_
1
(dcz)(azb)car
2
|(czd)|
2
+r
2
|c|
2
(dcz)(axzb)acr
2
|(czd)|
2
+r
2
|c|
2
(azb)(azb)+r
2
|a|
2
|(czd)|
2
+r
2
|c|
2
_
. .
:= p
_
_
_
_
_
_
=
_
(d cz)(az b) car
2
[(cz d)[
2
+r
2
[c[
2
,
_
det( p)
_
det( p) =
(az b)(az b) + r
2
[a[
2
[(cz d)[
2
+r
2
[c[
2

(d cz)(az b) car
2
[(cz d)[
2
+r
2
[c[
2
(d cz)(az b) acr
2
[(cz d)[
2
+ r
2
[c[
2
=
1
([(cz d)[
2
+r
2
[c[
2
)
2
_
((az b)(az b) + r
2
[a[
2
)([(cz d)[
2
+ r
2
[c[
2
)
((d cz)(az b) car
2
)((d cz)(az b) acr
2
)
_
=
1
([(cz d)[
2
+r
2
[c[
2
)
2
_
c

bcb([z[
2
+r
2
) + c

bad[z[
2
c

bad([z[
2
+r
2
) c

bcb[z[
2
+

d ada([z[
2
+ r
2
) +

d acb[z[
2


d abc([z[
2
+ r
2
)

d aad[z[
2
_
=
1
([(cz d)[
2
+r
2
[c[
2
)
2
_
_
c

b(cb ad
. .
1
)(r
2
) +

d a(da bc
. .
1
)(r
2
)
_
_
=
1
([(cz d)[
2
+r
2
[c[
2
)
2
_
( a

d c

b)(r
2
)
_
=
r
2
([(cz d)[
2
+r
2
[c[
2
)
2
13
3 DIE OPERATION DER PICARDGRUPPE AUF DEM OBEREN HALBRAUM
Damit gilt:
g (z, r) =
_
(d cz)(az b) car
2
[(cz d)[
2
+r
2
[c[
2
,
r
([(cz d)[
2
+r
2
[c[
2
)
_
Hiermit ist schlussendlich Satz 1 bewiesen.
Beispiel 3.8. Betrachten wir die Wirkung von Matrizen der Form t
x
=
_
1 x
0 1
_
_
1 x
0 1
_
(z, r) =
_
(1 0z)(1z (x)) r
2
01
[0z 1[
2
+r
2
[0[
2
,
r
[0z 1[
2
+r
2
[0[
2
_
= (z + x, r) (6)
Matrizen dieses Types werden im Folgenden als Translation bezeichnet.
Lemma 3.9. wird erzeugt von den vier Matrizen:
_
1 1
0 1
_
,
_
1 i
0 1
_
,
_
i 0
0 i
_
,
_
0 1
1 0
_
Beweis. Da der Euklidische-Algorithmus auf Z[i] deniert ist, besitzt jede Gausche Zahl
eine (bis auf Permutation) eindeutige Primzahl-Zerlegung. Daraus folgt, dass auf M
2
(Z[i])
der Gau-Algorithmus deniert ist. Jede Matrix kann also durch Elementarmatrizen auf
Diagonalgestalt gebracht werden.
In der PSL
2
(Z[i]) gibt es nur zwei Klassen von Diagonalmatrizen:
D
1
=
_
i 0
0 i
_
D
2
=
_
1 0
0 1
_
Da nat urlich auch die Determinante der Elementarmatrizen in der PSL
2
(Z[i]) gleich 1
ist, kommen nur drei verschiedene Typen von Elementarmatrizen in Frage:
1.

Vertauschen
1
der Zeilen:
P
1
=
_
0 1
1 0
_
P
2
=
_
0 i
i 0
_
1
Da f ur Elementarmatrix T gelten muss det(T) = 1, muss wahrend dem Vertauschen gleichzeitig
entweder eine Zeile mit 1, bzw. beide mit i multipliziert werden
14
3 DIE OPERATION DER PICARDGRUPPE AUF DEM OBEREN HALBRAUM
2. Addieren des b-fachen der zweiten Zeile zur ersten (b Z[i]):
T
b,1
=
_
1 b
0 1
_
3. Addieren des b-fachen der ersten Zeile zur zweiten:
T
b,2
=
_
1 0
b 1
_
Somit erzeugt die Menge D
1
, D
2
, P
1
, P
2
, T
b,1
, T
b,2
.
Die Menge lasst sich aber noch weiter reduzieren:
D
2
=
_
1 0
0 1
_
=
_
i 0
0 i
_

_
i 0
0 i
_
=D
1
2
P
2
=
_
0 i
i 0
_
=
_
i 0
0 i
_

_
0 1
1 0
_
=D
1
P
1
T
b,2
=
_
1 0
b 1
_
=
_
0 1
1 0
_

_
b 1
1 0
_
=
_
0 1
1 0
_

_
1 b
0 1
_

_
0 1
1 0
_
=P
1
T
b,1
P
1
Wie leicht nachzuvollziehen ist, gilt dazu:
_
1 x
0 1
_

_
1 y
0 1
_
=
_
1 x + y
0 1
_
_
i 0
0 i
_

_
1 x
0 1
_

_
i 0
0 i
_
=
_
i 0
0 i
_

_
i ix
0 i
_
=
_
1 x
0 1
_
15
4 PR

ASENTATION DER GRUPPE


Damit ist f ur z.B. b Z[i], mit 1(b), (b) 0:
T
b,1
=
_
1 b
0 1
_
=
_
1 1
0 1
_
. . .
_
1 1
0 1
_
. .
(b) mal

_
1 i
0 1
_
. . .
_
1 i
0 1
_
. .
(b) mal
Oder f ur b

Z[i], mit 1(b

) < 0, (b

) 0:
T
b

,1
=
_
1 b

0 1
_
=
_
i 0
0 i
__
1 1
0 1
_
. . .
_
1 1
0 1
_
. .
|(b

)| mal
_
i 0
0 i
_

_
1 i
0 1
_
. . .
_
1 i
0 1
_
. .
(b

) mal
Auch in den anderen beiden Fallen kann T
b,1
aus D
1
und Matrizen der Form:
T
1
:=
_
1 1
0 1
_
T
2
:=
_
1 i
0 1
_
erzeugt werden. Damit haben wir die Menge der Erzeuger auf D
1
, P
1
, T
1
, T
i
kondensiert.
4 Prasentation der Gruppe
Im folgenden Kapitel werde ich begr unden, warum wir im Falle der PSL
2
(Z[i]) eine
Prasentation nden werden, die nur noch von den Stabilisatoren endlicher vieler Punkte
aus dem Fundamentalbereich abhangt. Bevor wir den Fundamentalbereich (im folgen-
den Kapitel 5), die Stabilisatoren der Ecken ( ubernachstes Kapitel 6) und schlielich
die Prasentation (Kapitel 7) konkret bestimmen, werden in diesem Kapitel die zentralen
Satze angef uhrt, die diese Vorgehensweise begr unden.
Aufgrund ihrer Ausf uhrlichkeit und da sie f ur das Verstandnis der folgenden Kapitel nicht
notwendig sind, verzichte ich darauf, in dieser Arbeit die Beweise nochmals nachzuvoll-
ziehen. Allerdings gebe ich jeweils an, wo und bei wem diese zu nden sind.
In ahnlicher Weise ndet sich die Zusammenfassung in Kapitel 1 in [Flo80].
Denition 4.1. Sei wie oben eine Gruppe die auf einer Menge X operiert und sei
V X. Es sei g und gV := gv[v V , dann bezeichne:

V
:= g [V gV ,= und
16
4 PR

ASENTATION DER GRUPPE


1
V
:= gh(gh)
1
[g, h
V
mit V gV ghV ,=
Dabei sei g die nat urliche Einbettung von g
V
in die freie Gruppe uber
V
, T(
V
).
Satz 2. Bezeichne eine Gruppe, die auf einer Menge X operiert. Sei V X und gelte
1. V := gv[g , v V = X (d.h. V ist

Fundamentalbereich
2
)
2. X ist wegzusammenhangend und einfach zusammenhangend
3. V ist oen und wegzusammenhangend
Dann gilt:

=
V
[1
V

Beweis. Siehe [Be62] S. 117 Korollar 1 und [Mac64] S. 476 Theorem 1.


Wir werden spater sehen, dass der Fundamentalbereich im Falle der PSL
2
(Z[i]) auf dem
topologischen Raum (H, ) (siehe Abschnitt 5.1) abgeschlossen ist. Deswegen:
Folgerung 4.2. Sei F X und gelte:
1. F = X
2. X ist wegzusammenhangend und einfach zusammenhangend
3. X ist lokal wegzusammenhangend
4. F ist wegzusammenhangend
5. F besitzt eine oene Umgebung U mit der Eigenschaft:
g, h : (U gU ghU ,= ) (F gF ghF)
Dann gilt:

=
F
[1
F

Beweis. Siehe [Flo80], Kapitel 1, Korollar 1.2


2
Analog zu Floges Dissertation [Flo80] benutze ich in dieser Arbeit den Begri

Fundamentalbereich
f ur eine Menge, die mindestens ein Element jeder Bahn einer Gruppenoperation enthalt. Ein minimaler
Fundamentalbereich ist eine abgeschlossene Menge, deren einzige abgeschlossene Teilmenge, die immer
noch Fundamentalbereich ist, die Menge selbst ist. Dies entspricht der in der Literatur gangigeren Ver-
wendung dieses Begries.
17
4 PR

ASENTATION DER GRUPPE


Nicht klar ist an dieser Stelle noch, ob der Fundamentalbereich eine solche oene Umge-
bung besitzt. Hilfreich ist der folgende Satz. Doch zuerst eine Denition nach Siegel, die
in den Beweisen von Macbeath und Floge benutzt wird:
Denition 4.3. Eine Menge F X heit -normal, wenn gF[g eine lokal
endliche

Uberdeckung von X ist, also wenn zu jedem x X eine (oene) Umgebung U
x
von x existiert, so dass g [gF U
x
,= endlich ist.
Satz 3. X sei ein metrischer Raum und operiere als Gruppe von Isometrien. Es sei
F X und gelte:
1. F ist abgeschlossen
2. F ist

-normal
Dann besitzt F eine oene Umgebung mit der Eigenschaft 5 aus Folgerung 4.2
Beweis. Siehe [Mac64] S. 480, Theorem 2
Allerdings lasst sich die Prasentation noch weiter vereinfachen, indem man nur Relationen
auf einer endlichen Anzahl gewisser Punkte aus dem Fundamentalbereich betrachtet:
Folgerung 4.4. Sei F ein Fundamentalbereich f ur in X, der den Vorraussetzungen
von Folgerung 4.2 gen ugt. Sei F
0
F endlich mit der Eigenschaft:
g, h : (F gF ghF ,= ) (F
0
gF
0
ghF
0
,= )
Dann gilt:

=
F
[1
F

=
F
0
[1
F
0

Beweis. Klar mit Folgerung 4.2.


Im zweiten Teil von Kapitel 1 in [Flo80] wird ausf uhrlich dargestellt, wie aus der Prasen-
tation der Stabilisatorgruppen gewisser Punkte aus F
0
eine Prasentation der Gruppe
hergeleitet werden kann. Der Beweis des folgenden Satzes orientiert sich an einem all-
gemeinen Beweis uber endliche Prasentierbarkeit der von Floge betrachteten Gruppen.
Spater wird uns dieser Satz die Prasentation der PSL
2
(Z[i]) liefern.
18
4 PR

ASENTATION DER GRUPPE


Satz 4 (Prop.2 aus [Sou73]). Operiere auf einer Menge X. Sei F
0
eine Teilmenge eines
Fundamentalbereiches F von in X und besitze die Eigenschaft, dass aus gx = y, f ur
g , x, y F
0
bereits x = y folgt, sowie
g, h : (F gF ghF ,= ) (F
0
gF
0
ghF
0
,= ),
dann ist das amalgamierte Produkt der Stabilisatoren
x
(x F
0
) bez uglich ihrer
Durchschnitte:

x

F
0

x
,
Der Beweis gliedert sich in zwei Behauptungen, aus denen der Beweis mit Folgerung 4.4
folgt. Die erste Behauptung bezieht sich auf die Erzeuger der Gruppe, die zweite auf die
Relationen in der Prasentation. Der Stabilisator eines Punktes x
i
sei durch
x
i
= E
i
[R
i

prasentiert.
Behauptung 4.5. Sei F
0
= x
1
, ...x
n
und besitze die Eigenschaft aus Satz 4. Dann gilt:

F
0
=
n

i=1
E
i
.
Beweis.
1.
F
0

n

i=1
E
i

g
F
0
: x
i
, x
j
F
0
F
0
, so dass: gx
i
= x
j
. Nach Vorraussetzung des Satzes gilt
dann aber: x
j
= x
i
, bzw. i = j. Damit ist g
x
i
. Also e
1
, ..., e
m
E
i
, so dass
e
1
... e
m
= g. Daraus folgt g E
i
und insbesondere g
n

i=1
E
i
2.
n

i=1
E
i

F
0

i 1, ...n: E
i
=
x
i
, da x
i
F
0
gilt: g
x
i
: gF
0
F
0
,= und somit nach
Denition: g
F
0
. Damit ist:
n

i=1
E
i

F
0
und es folgt die Behauptung.
In der folgenden Behauptung bezeichne w
g,(x,y)
ein Wort aus T(
F
0
), das einer Operation
g

=
F
0
[1
F
0
mit gx = y zugeordnet ist, wobei (x, y) F
0
F
0
.
Die genaue Denition der w
g,(x,y)
, die allerdings f ur unseren Spezialfall nicht der Aus-
breitung bedarf, ndet sich in S. 4 . in [Flo80]. Wichtig ist zu verstehen, dass das Wort
w
g,(x,x)
eine Operation g aus dem Stabilisator
x
reprasentiert.
19
4 PR

ASENTATION DER GRUPPE


Behauptung 4.6. Sei F
0
= x
1
, ...x
n
und besitze die Eigenschaft aus Satz 4. Dann gilt
A(1
F
0
) = A(
n

i=1
1
i
R

), wobei R
i
die Relationen der Stabilisatorgruppen der Punkte
aus F
0
sind (
x
i
= E
i
[R
i
) und
R

:= w
g,(x,x)
(w
g,(x

,x

)
)
1
[x, x

F
0
, g
x

x
.
Beweis. Nach Floge gilt allgemein
F
0
[1
F
0

= E[1 mit E =
n

i=0
E
i
und 1 =
n

i=0
1
i
f ur
i > 0 gehen E
i
und R
i
aus der Prasentation des Stabilisators des Punktes x
i
hervor. E
0
enthalt Operationen g mit gx = y, wobei x ,= y. In unserem Fall gilt also E
0
= . Dies
stimmt auch mit der vorigen Behauptung uberein.
Die Relationen aus R
0
stellen Elemente der verschiedenen -Bahnen in Bezug zueinander:
R
0
:= w
g,(x,y)
(w
g,(x

,y

)
)
1
[x, x

, y, y

F
0
, g mit gx = y, gx

= y

Nach der Voraussetzung in Satz 4 gilt in der Denition von R


0
: x = y und x

= y

. Somit
ist hier R
0
= R

.
Beweis von Satz 4. Aus den Behauptungen folgt:
n

i=1
E
i
[
n

i=1
R
i
R

=
F
0
[1
F
0
. Ohne
die Relationen R

entsprache dies einem freien Produkt aus Elementen der Stabilisa-


toren. R

f uhrt aber dazu, dass in dem freien Produkt die Elemente der isomorphen
Untergruppen
x
i

x
j
aus
x
i
und
x
j
gleichgesetzt werden. Dies entspricht zunachst
einem Amalgam der Stabilisatoren uber ihre Schnitte im Sinne von Soule
3
.
Mit Folgerung 4.4 folgt der Satz.
Das Ergebnis dieses Kapitels ist, dass wir nun wissen, unter welchen Vorausetzungen eine
Menge F
0
existiert, so dass wir die Prasentation der PSL
2
(Z[i]) aus den Prasentationen
der Stabilisatoren der Punkte in F
0
erhalten.
Das nachste Kapitel widme ich der Entwicklung einer geeigneten Topologie auf dem
erweiterten oberen Halbraum und der Herleitung des Fundamentalbereichs F und Menge
der Ecken F
0
.
3
Wir werden spater zeigen, dass die PSL
2
(Z[i]) auch einem Amalgam im Sinne von Serre entspricht.
20
5 DER FUNDAMENTALBEREICH F

UR
5 Der Fundamentalbereich f ur
5.1 Der topologische Raum (H, ) und Annaherungen an den
Fundamentalbereich
Die wesentlichen Ideen der Herleitung des Fundamentalbereichs nden sich in [Sw71],
ebenso wie die genauen Beweise der folgenden Bemerkungen und Lemmata - im Gegen-
satz zum Beweis einer Folgerung aus den Erkenntnissen des Kapitels 3:
Folgerung 5.1.
1. (H, ) ist wegzusammenhangend, lokal wegzusammenhangend und einfach zusam-
menhangend
2. operiert als Gruppe von Homoomorphismen auf (H, )
Beweis.
1. ist klar, nach Denition 3.1 und Bemerkung 3.2
zu 2.: Nach Lemma 3.9 lasst sich jede Abbildung
g
: (z, r) g (z, r) - wobei g
ein beliebiges Element aus ist - aufteilen in eine Kette von Abbildungen:
g
(z, r) =

e
1

e
2
...
e
n
(z, r) = e
1
e
2
... e
n
(z, r). Dabei sei n eine nat urliche Zahl und jedes
e
i
steht f ur einen Erzeuger von .
Betrachten wir deswegen zuerst die Abbildungen
e
i
. Alle Elemente e
i
sind Operationen
und, da die Determinante aller Matrizen der PSL
2
(Z[i]) 1 ist, sind die Matrizen invertier-
bar. Es existiert demnach jeweils eine Umkehrabbildung e
i
1
. Die Abbildungen sind also
bijektiv. Zu zeigen ist noch die Stetigkeit. Da auch die Umkehrabbildungen als Produkt
der Erzeuger dargestellt werden konnen und jede Verkn upfung stetiger Abbildung wieder
stetig ist, gen ugt es nur die Stetigkeit der
e
i
f ur die vier Erzeuger zu zeigen.
Jedes
e
i
ist von einer der folgenden vier Typen:
1.
_
1 1
0 1
_
(z, r) = (z + 1, r)
2.
_
1 i
0 1
_
(z, r) = (z +i, r)
21
5 DER FUNDAMENTALBEREICH F

UR
3.
_
i 0
0 i
_
(z, r) = (z, r)
4.
_
0 1
1 0
_
(z, r) =
_
z
|z|
2
+r
2
,
r
|z|
2
+r
2
_
F ur Fall 1 bis 3 ist klar, dass die Abbildungen stetig sind: Es handelt sich bei 1 und 2
um Translationen, bei 3 um eine Drehung um 180

um die r-Achse.
Betrachtet man Abbildung 4 genau, ist zu erkennen, dass (z, r) an der (z) r-Ebene
und gleichzeitig an der Einheitssphare gespiegelt wird, wobei bei Zweiterem der unendli-
che ferne Punkt dem Mittelpunkt entspricht. Also ist auch diese Abbildung oensichtlich
stetig.
Daraus folgt das alle
e
i
Homoomorphismen sind. Da eine Verkn upfung von Homoomor-
phismen wieder ein Homoomorphismus ist folgt, dass f ur alle g aus die induzierte
Abbildung
g
ein Homoomorphismus ist.
Wir beginnen uns nun auf dem selben Weg wie Swan ([Sw71]) und auch Floege dem
Fundamentalbereich zu nahern.
Denition 5.2. Zu jedem Paar von Elementen c, d Z[i], C ,= 0, f ur das
(c, d) := cZ[i] + dZ[i] = Z[i] gilt, seien:
S
c,d
:= (z, r) H[ [cz d[
2
+r[c[
2
= 1
B := (z, r) H[ [cz d[
2
+ r[c[
2
1 c, d Z[i], c ,= 0, (c, d) = Z[i]
S
c,d
ist die obere Halbsphare von Radius
1
c
um den Punkt
_
d
c
, 0
_
. B ist der Raum in H,
der von unten durch die Spharen S
c,d
begrenzt wird. Der untere Rand von B, B :=
(z, r
z
) B[r
z
r(z, r) B besteht deswegen aus einer Vereinigung von Teilachen
der Spharen. Mit Hilfe der Spharen lasst sich gema Swan die Bianchi
4
-Zell-Zerlegung :
herleiten.
Wir bezeichnen als oene 2-Zelle, die Schnittpunkte einer beliebigen Sphare S
c,d
mit B,
die nur auf der einen Sphare liegen. Genauer:
4
nach Luigi Bianchis Arbeit [Bi92]. Die Bezeichnung stammt aus [Sw71]
22
5 DER FUNDAMENTALBEREICH F

UR
Denition 5.3. Zu c, d Z[i], c ,= und c, d teilerfremd, sei
e
c,d
:= p S
c,d
B[ aus p S
a,b
, mit a, b Z[i], a ,= 0, (a, b) = Z[i], folgt: S
a,b
= S
c,d

eine oene 2-Zelle.


Den topologischen Abschluss e
c,d
bezeichnen wir als abgeschlossene 2-Zelle.
Die Vereinigung aller abgeschlossener 2-Zellen ergibt ganz B. Als abgeschlossene 1-
Zellen bezeichnen wir die Kreisbogen e
c,d
e
c,d
. Schnittpunkte zweier verschiedener 1-
Zellen nennen wir oene und abgeschlossene 0-Zellen. Eine abgeschlossene 1-Zelle ohne
die enthaltenen 0-Zellen wird als oene 1-Zelle bezeichnet.
Wir erhalten also eine Zellzerlegung : mit 2-Zellen (Spharensegmente), 1-Zellen (Kan-
ten, Teil der Schnittbogen zweier Spharen) und 0-Zellen (Ecken, Schnittpunkte mehrerer
Spharensegmente).
Swan zeigte, dass die Zellzerlegung stabil unter ist:
Bemerkung 5.4. Ist eine oene n-Zelle von : (n = 0, 1, 2), g und g ,= , so
ist g eine oene n-Zelle von :.
Lemma 5.5.
1. B = H und
2.
_
1 b
0 1
_
B = B
Beweis. 1. wird in [Sw71] Abschnitt 3 bewiesen, 2. folgt direkt aus Lemma 3.4 in [Flo80].
B ist abgeschlossen und unter den Translationen stabil. Der untere Rand von B sei als
B bezeichnet. F ur gewisse Ganzheitsringe R imaginar quadratischer Zahlringe in Floges
Arbeit ist B nicht einfach zusammenhangend, da der Rand von sogannten singularen
Punkten, Ber uhrungspunkte der Spharen S
c,d
mit der Ebene C 0, die zu B gehoren
aber nicht in H liegen, durchlochert ist. F ur R = Z[i] gibt es solche Punkte nicht
5
5
Wie bereits erwahnt, existiert f ur Elemente aus Z[i] eine eindeutige Primfaktorzerlegung. Also ist
Z[i] ein Hauptidealring und hat damit Klassenzahl 1. Nach Bemerkung 3.9 (2) in [Flo80] folgt die
Behauptung.
23
5 DER FUNDAMENTALBEREICH F

UR
Bemerkung 5.6. Es exsistiert eine endliche Vereinigung abgeschlossener 2-Zellen

G, so
dass gilt:
__
1 b
0 1
_

G = B
_
Denition 5.7.

X = B =

G
5.2 Der zweidimensionale Retrakt

X von H
Wie im Falle des Serrschen Baumes bei der Untersuchung der Modulgruppe PSL
2
(Z),
setzten wir unsere

Uberlegungen auf einem geeigneten Retrakt fort. Im Gegensatz zum
erwahnten Beispiel benden wir uns nicht in der oberen Halbebene (2-Dimensionen) son-
dern im oberen Halbraum (3-Dimensionen). Es ist deswegen nicht moglich einen Baum
als Retrakt zu denieren. Wir wollen hier am Ende des letzten Kapitels eingef uhrten
Bereich

X als Retrakt von H erkennen. Floege widmet der Retraktion in seiner Dis-
sertation [Flo80] das ganze 6. Kapitel. Ich gebe hier nur die wichtigsten Details wieder.
Interessierte seien auf die besagte Quelle verwiesen.
Satz 5. (Satz 6.6 bei Floge)

X ist ein Retrakt von (H, ). Das bedeutet, es exsitiert eine
stetige Abbildung (

Retraktion) von H auf



X mit (p) = p f ur alle p aus

X.
Wichtig f ur diese Arbeit ist insbesondere, dass sich die topologischen Eigenschaften von
H auf das Retrakt ubertragen:
Folgerung 5.8.

X ist wegzusammenhanged, lokal wegzusammenhangend und einfach
zusammenhangend
Beweis. Skizze zum Beweis von Satz 5 Die Retraktion erhalt man aus der Fortsetzung
der Projektion von B auf den Rand B. Zunachst denieren wir die Projektion durch:
: B B
(z, r) (z, r
z
), wobei r
z
= min(r

)[(z, r

) B
Da B = H ist, gibt es f ur jeden beliebigen Punkt p aus H eine Operation g , so
dass gp in B liegt. Die Retraktion ist dann wie folgt deniert:
: H B
p g
1
gp, wobei gp B
24
5 DER FUNDAMENTALBEREICH F

UR
Floege zeigt ausf uhrlich, dass f ur h, g mit hp B und gp B die Ausdr ucke g
1
gp
und h
1
hp gleich sind, dass die Abbildung somit wohldeniert ist.
Anschlieend ist noch Stetigkeit zu zeigen. Diese folgt jedoch nach Denition der Retrak-
tion aus der Stetigkeit der g (bzw. g
1
) und der Stetigkeit von
5.3 Der Fundamentalbereich f ur in

X
Da das Retrakt

X das Bildes des unteren Randes von B unter ist, entspricht dem Fun-
damentabereich von

X bereits der von B. Der Rand von B ist translationsinvariant,
deshalb suchen wir zunachst einen minimalen Fundamtentalbereich G der Translationen
auf B.
Bemerkung 5.9. Die Einheitszelle
G := (z, r) H[[z[
2
+r
2
= 1, [1(z)[, [(z)[
1
2

ist minimaler Fundamentalbereich bez uglich der Translationen. Denn ersten gilt:

X =
__
1 b
0 1
_
[ b Z[i]
_
G
und mit

G = (z, r) H[[z[
2
+r
2
= 1, [1(z)[, [(z)[ <
1
2
zweitens:

G
_
1 b
0 1
_

G = b ,= 0
.
Zum Beweis der zweiten Aussage veranschaulicht man sich Geometrie der Einheitszelle
und die Wirkung der Translationen und bedenkt, dass f ur jede nicht triviale Translation
[b[ 1 ist.
Betrachten wir die Wirkungen der Erzeuger von aus dem Beweis zu Folgerung 5.1,
bemerkt man, dass die Einheitszelle unter den Erzeugern D
1
=
_
i 0
0 i
_
und P
1
=
_
0 1
1 0
_
stabil bleibt. Da sich die Flache Gauf der Einheitssphare bendet, wirkt die erst
genannte Abbildung nur als Drehung um 180

um die r-Achse. Der Fundamentalbereich


lasst sich deswegen weiter reduzieren:
C := (z, r) H[[z[
2
+r
2
= 1, 0 [1(z)[, (z)
1
2

25
5 DER FUNDAMENTALBEREICH F

UR
Es gilt:
_
i 0
0 i
_
C C = G, insbesondere also auch

X = C
Ber ucksichtigt man den letzten Erzeuger, P
1
=
_
0 1
1 0
_
von , bemerkt man, dass sich
der Fundamentalbereich weiter verfeinern lasst.
Abbildung 1: G ergibt sich aus Kopien von F
Da die Operation g
P
1
jeden Punkt an (z)r-Achse spiegelt, erhalten wir als reduzierten
Fundamentalbereich:
F := (z, r) H[[z[
2
+ r
2
= 1, 0 (z)
1
2
, 0 1(z)
1
2

Es gilt:
F
_
0 1
1 0
_
F = C
Bemerkung 5.10. Sei

F= F-F = (z, r) H[[z[
2
+r
2
= 1, 0 < (z) <
1
2
, 0 < 1(z) <
1
2
, dann gilt:

F
_
i 0
0 i
_

F =

F
_
0 1
1 0
_
=
_
i 0
0 i
__
0 1
1 0
_

F

F =
Diese Zusammenhange folgen direkt aus den

Uberlegungen der Wirkung der Matrixen im
Beweis zu Folgerung 5.1.
Satz 6. Die Menge F := (z, r) H[[z[
2
+ r
2
= 1, 0 (z)
1
2
, 0 1(z)
1
2
ist
Fundamentalbereich von

X bez uglich der Gruppe .
Bevor wir diesen Satz beweisen, sind noch mehrere

Uberlegungen hilfreich. Zuerst fol-
gendes Lemma von Swan [Sw71]:
Lemma 5.11. Sei g =
_
a b
c d
_
und c ,= 0. Dann ist B g
1
B = B S
c,d
26
5 DER FUNDAMENTALBEREICH F

UR
Beweis. Siehe [Sw71] S. 18, Beweis zu Lemma 3.7.
Folgerung 5.12. Ist

F deniert wie in Bemerkung 5.10, dann folgt f ur x, y

F und
g aus gx = y bereits x = y und g = 1.
Beweis. Aus gx = y folgt x = g
1
y und damit x B g
1
B ,= . Wir betrachten nun
den Wert c in g
1
=
_
a b
c d
_
.
1. c ,= 0 Nach Lemma 5.11 folgt dann (x, r) S
c,d
. Da (x, r) jedoch per Denition
auf der Einheitsspahre und vor allem im Inneren einer 2-Zelle liegt, liegt (x, r)
ausschlielich auf der Sphare S
1,0
, damit folgt: g
1
=
_
t 1
1 0
_
. Daraus wiederum
folgt: g =
_
0 1
1 t
_
=
_
0 1
1 0
__
1 t
0 1
_
=g
2
g
1
. F ur t ,= 0 ist gx oensichtlich
kein Element von S
1,0
, denn

F

G (siehe Bemerkung 5.9). Dann ist jedoch f ur
g
1
(x, r) = (x

, r

) der Betrag ([z

[
2
+r
2
) ,= 1. Erinnern wir uns daran, dass
_
0 1
1 0
_
einen Punkt an der Einheitssphare spiegelt, so ist klar, dass auch g
2
(g
1
(x, r)) nicht
auf der Sphare, insbesondere nicht in

F liegt.
Es bleibt die Moglichkeit t = 0. Dann ist aber g =
_
0 1
1 0
_
und g(x, r) liegt nicht
in

F (Lemma 5.10).
F ur c ,= 0 gibt es demnach keine Losung.
2. c = 0 F ur g
1
gibt es nur folgende Gestalen:
g
1
=
_
1 b
0 1
_
, oder:
g
1
=
_
i b
0 i
_
=
_
1 ib
0 1
__
i 0
0 i
_
.
Dies bedeutet jeweils f ur g:
g =
_
1 b
0 1
_
, oder:
g =
_
i b
0 i
_
=
_
1 ib
0 1
__
i 0
0 i
_
.
Betrachten wir zunachst den zweiten Fall. Der Punkt (x, r) wird zunachst in den
Bereich D
1
F verschoben, liegt also noch in G. Ist b nun ungleich null, ist entweder
(ib) 1 oder 1(ib) 1. Demnach liegt der Punkt (x ib, r) nicht mehr in
G, insbesondere nicht in

F. Ist b gleich null wird jeder Punkt aus

F nach D
1

F
27
6 DIE STABILISATOREN DER ECKEN DES FUNDAMENTALBEREICHS
verschoben. Es gilt aber D
1

F

F = (Bemerkung 5.10).
Es bleibt der Fall g =
_
1 b
0 1
_
. Aus Bemerkung 5.9 folgt unter den Voraussetzun-
gen der Folgerung direkt b = 0 und damit g = id und x = y.
Beweis. (von Satz 6)
1. Wie oben gezeigt gilt: F =

X
2. Minimalitat folgt aus Folgerung 5.12
Bemerkung 5.13. Wir bezeichnen von nun an die 0-Zellen der Zellzerlegung als Ecken
und die oenen 1-Zellen als Kanten. Wir erhalten als Menge der Ecken unseres Funda-
mentalbereichs F
0
= p, q, u, v mit
p := (0, 1), q :=
_
1
2
,

3
2
_
, u :=
_
1 + i
2
,

2
2
_
, v :=
_
i
2
,

3
2
_
6 Die Stabilisatoren der Ecken des Fundamentalbe-
reichs
6.1 Allgemeine Vor uberlegung
Lemma 6.1. Sei x = (z, r) H und g =
_
a b
c d
_

x
, so gilt f ur
c = 0: [d[ = 1, a =
1
d
, b = z(
1d
2
d
);
c ,= 0: [cz d[
2
+r
2
[c[
2
= 1, a =

d 21(cz).
Beweis. Aus g
x
folgt:
(d cz)(az b) r
2
ca
[cz d[
2
+r
2
[c[
2
=z (7)
r
[cz d[
2
+ r
2
[c[
2
=r (8)
Gleichung (8) lasst sich umformen zu:
[cz d[
2
+r
2
[c[
2
= 1 (9)
28
6 DIE STABILISATOREN DER ECKEN DES FUNDAMENTALBEREICHS
Damit wird (7) zu:
(d cz)(az b) r
2
ca = z (10)
1. Fall: c = 0
det(g)
!
= 1 = ad bc = ad
a =
1
d
Mit (9) gilt:
1 =[0z d[
2
+r
2
[0[
2
=[d[
Daraus und mit (10) folgt:
z =(d 0z)(az b) r
2
0a
z =d(az b)
dz = (dd)
..
=|d|=1
(az b)
dz =(az b)
b =z(a d)
b =z(
1 d
2
d
)
2. Fall: c ,= 0
Aus det(g) = 1, folgt:
b =
ad 1
c
(11)
29
6 DIE STABILISATOREN DER ECKEN DES FUNDAMENTALBEREICHS
Gleichung 11 ergibt in Gleichung 10 eingesetzt:
z =
_
d cz
_
_
az
ad 1
c
_
r
2
ca
=
_
adz ac[z[
2

add
c
+
d
c
+
adcz
c

cz
c
r
2
ca
_
=
1
c
_
acdz acc[z[
2
add +d + adcz cz r
2
cca
_
=
1
c
_
acdz a[cz[
2
a[d[
2
+ adcz + (d cz) r
2
[c[
2
a
_
=
1
c
_
a((cz)(cz) czd czd + dd +r
2
[c[
2
) + (d cz)
_
=
1
c
_
a((cz d)(cz d) + r
2
[c[
2
) + (d cz)
_
=
1
c
_
a([cz d[
2
+r
2
[c[
2
) + (d cz)
_
z
mit 10
=
1
c
_
a + (d cz)
_
(12)
Formt man nun Gleichung 12 um, ergibt sich:
a = d cz cz = d 21(cz)
Folgerung 6.2. Es sind nur endlich viele Paare c, d Z[i] als Eintrage in g
x
moglich.
Beweis.
1. Fall: c = 0
Dann hat g die Form g =
_
a b
0 d
_
. Da ad = 1 ist gilt: d 1, i. Es ist also nur (0, 1)
und (0, i) moglich.
2. Fall: c ,= 0
Nach Lemma 6.1 gilt: [cz d[
2
. .
>0
+r
2
[c[
2
= 1. Daraus folgt: r
2
[c[
2
1 und somit:
[c[
1
r
(13)
Da c Z[i], gibt es nur endlich viele verschiedene c, welche die Gleichung erf ullen. Zu
jedem c gibt es dann nur eine endliche Anzahl moglicher Eintrage d, so dass [cz d[
2
+
r
2
[c[
2
= 1.
Lemma 6.1 und Gleichung 11 geben vor, wie sich a und b aus c und d berechnen lassen. So
konnen aus den Paaren (c, d) alle Elemente des Stabilisators in endlich vielen Schritten
bestimmt werden.
30
6 DIE STABILISATOREN DER ECKEN DES FUNDAMENTALBEREICHS
6.2
p
, p = (0, 1)
Bestimmung der moglichen c
Aus Gleichung 13 und mit r
p
= 1 folgt: c 0, 1, i
Bestimmung der moglichen Paare (c, d)
F ur c = 1 ergibt Gleichung 9 mit z
p
= 0 und r
p
= 1: [d[
2
+ 1 = 1 also d = 0
Im Falle c = i folgt analog: [d[
2
+ 1 = 1 also d = 0
d
_
1, i, wenn c = 0
0, wenn c = 1, i
Bestimmung von a und b zu den Paaren (c, d)
a ergibt sich direkt mit Lemma 6.1, b jedoch nur wenn c = 0. Sonst wird b uber die
Determinante wie in Gleichung 11 bestimmt:
a =
_

_
1, wenn (c, d) = (0, 1)
i, wenn (c, d) = (0, i)
0, wenn (c, d) = (1, 0)
0, wenn (c, d) = (i, 0)
und
b =
_

_
0 wenn (c, d) = (0, 1)
0 wenn (c, d) = (0, i)
1, wenn (c, d) = (1, 0)
i, wenn (c, d) = (i, 0)
Damit erhalten wir:

p
= 1, A, B, L mit A :=
_
0 1
1 0
_
, B :=
_
0 i
i 0
_
und L :=
_
i 0
0 i
_
(14)
Satz 7.

p

= D
2
= A, L[A
2
= L
2
= (AL)
2
= 1
Beweis. Der Stabilisator ist eine Untergruppe, deswegen liegt die Verkn upfung X Y
zweier beliebieger Elemente X, Y
p
wieder im Stabilisator
p
. Es gilt oensichtlich:
B = AL = LA, A
2
= 1 und L
2
= 1. Damit ist klar, dass A und L
p
erzeugen.
Betrachten wir weiter: LAL = (LA)L = (AL)L = ALL = A(LL) = A. Bei Multiplikati-
on beider Seiten von links mit A folgt:
(AL)
2
= 1
31
6 DIE STABILISATOREN DER ECKEN DES FUNDAMENTALBEREICHS
Wir erhalten also die algebraischen Relationen auf
p
: A
2
= L
2
= (AL)
2
= 1.
6.3
q
, q =
_
1
2
,

3
2
_
Bestimmung der moglichen c
Aus Gleichung 13 und mit r
q
=

3
2
folgt: c 0, 1, i
Bestimmung der moglichen Paare (c, d)
F ur c = 1 ergibt Gleichung 9 mit z
q
=
1
2
und r
q
=

3
2
:
1 =[
1
2
d[
2
+
_

3
2
_
2
=[
1
2
d[
2
+
3
4

1
2
=[
1
2
d[
d 0, 1
Falls c = i, folgt analog:
1 =[
i
2
d[
2
+
_

3
2
_
2
=[
i
2
d[
2
+
3
4

1
2
=[
i
2
d[
d 0, i
d
_

_
1, i, wenn c = 0
0, 1, wenn c = 1
0, i, wenn c = i
Bestimmung von a und b zu den Paaren (c, d)
a =
_

_
1, wenn (c, d) = (0, 1)
i, wenn (c, d) = (0, i)
1, wenn (c, d) = (1, 0)
0, wenn (c, d) = (1, 1)
0, wenn (c, d) = (i, 0)
i, wenn (c, d) = (i, i)
32
6 DIE STABILISATOREN DER ECKEN DES FUNDAMENTALBEREICHS
und
b =
_

_
0, wenn (c, d) = (0, 1)
i, wenn (c, d) = (0, i)
1, wenn (c, d) = (1, 0)
1, wenn (c, d) = (1, 1)
i, wenn (c, d) = (i, 0)
0, wenn (c, d) = (i, i)
Damit erhalten wir:

p
= 1, V, S, D, F, G (15)
mit V :=
_
i i
0 i
_
, S :=
_
0 1
1 1
_
, D :=
_
i 0
i i
_
, F :=
_
1 1
1 0
_
und G :=
_
0 i
i 0
_
Satz 8.

q

= S
3
= V, S[V
2
= S
3
= (V S)
2
= 1
Beweis.
1. V, S erzeugen
q
:
D = V S, F = S
2
, G = V S
2
2. Man ndet weiterhin: V
2
= 1, FS = S
3
= 1 und V S = SSV V SV = SS
V SV S = 1 (V S)
2
= 1
6.4
u
, u =
_
1+i
2
,

2
2
_
Bestimmung der moglichen c
Aus Gleichung 13 und mit r
u
=

2
2
folgt: c 0, 1, i, (1 + i), (1 i)
Bestimmung der moglichen Paare (c, d)
F ur c = 1 ergibt Gleichung 9 mit z
q
=
1+i
2
und r
q
=

2
2
:
1 =

1 + i
2
d

2
+
_

2
2
_
2
=
[1 + i 2d[
2
4
+
1
2
2 =[1 + i 2d[
2

2 =[1 + i 2d[
d 1, i, 0
33
6 DIE STABILISATOREN DER ECKEN DES FUNDAMENTALBEREICHS
Falls c = i, folgt analog:
1 =

i 1
2
d

2
+
_

2
2
_
2
=
[i 1 2d[
2
4
+
1
2
2 =[i 1 2d[
2

2 =[i 1 2d[
d 1, i, 0
Im dritten Fall c = i + 1 folgt analog:
1 =[i d[
2
+
_

2
2
_
2
[(1 + i)[
2
=
[i d[
2
+
1
0 =[i d[
2
d =i
Genauso gibt es auch nur ein mogliches d f ur c = i 1
1 =[1 d[
2
+
_

2
2
_
2
[(1 i)[
2
=
[1 d[
2
+
1
0 =[1 d[
2
d =1
d
_

_
1, i, wenn c = 0
0, 1, i, wenn c = 1
0, 1, i, wenn c = i
i, wenn c = i + 1
i, wenn c = i 1
34
6 DIE STABILISATOREN DER ECKEN DES FUNDAMENTALBEREICHS
Bestimmung von a und b zu den Paaren (c, d)
a =
_

_
1, wenn (c, d) = (0, 1)
i, wenn (c, d) = (0, i)
1, wenn (c, d) = (1, 0)
0, wenn (c, d) = (1, 1)
1 i, wenn (c, d) = (1, i)
1, wenn (c, d) = (i, 0)
0, wenn (c, d) = (i, 1)
1 i, wenn (c, d) = (i, i)
i, wenn (c, d) = (i + 1, i)
1, wenn (c, d) = (i 1, 1)
und
b =
_

_
0, wenn (c, d) = (0, 1)
1 i, wenn (c, d) = (0, i)
1, wenn (c, d) = (1, 0)
1, wenn (c, d) = (1, 1)
i, wenn (c, d) = (1, i)
i, wenn (c, d) = (i, 0)
i, wenn (c, d) = (i, 1)
1, wenn (c, d) = (i, i)
0, wenn (c, d) = (i + 1, i)
1 + i, wenn (c, d) = (i 1, i)
Damit erhalten wir:

u
= 1, W, S, H, J, K, L, M, N, O, P, Q (16)
mit W :=
_
i 1 i
0 i
_
, S :=
_
0 1
1 1
_
, H :=
_
1 i 1
i i
_
, J :=
_
1 1
1 0
_
,
K :=
_
1 i
i 0
_
, L :=
_
0 i
i 1
_
, M :=
_
1 i i
1 i
_
, N :=
_
i i
1 1 +i
_
,
O :=
_
i 1
i i 1
_
, P :=
_
i 0
1 + i i
_
und Q :=
_
1 1 +i
i 1 1
_
35
6 DIE STABILISATOREN DER ECKEN DES FUNDAMENTALBEREICHS
Satz 9.

u

= A
4
= W, S[W
2
= S
3
= (WS)
3
= 1
Beweis. Nach einiger Rechnung stellt man fest, dass sich aus W und S alle Matrizen
konstruieren lassen. Die Zuordnung ndet sich in dieser Tabelle:
H J K L M N O P Q
WS S
2
WS
2
SW WSW SWS (WS)
2
SWS
2
WSWS
2
Ebenso sieht man: W
2
= 1 und S
3
= 1. Damit erzeugen W und S die Gruppe. Es gilt
weiterhin: M N = 1 = WSWSWS = (WS)
3
.
6.5
v
, v = (
i
2
,

3
2
)
Bestimmung der moglichen c
Aus Gleichung 13 und mit r
q
=

3
2
folgt: c 0, 1, i
Bestimmung der moglichen Paare (c, d)
F ur c = 1 ergibt Gleichung 9 mit z
q
=
i
2
und r
q
=

3
2
:
1 =[
i
2
d[
2
+
_

3
2
_
2
=[
i
2
d[
2
+
3
4

1
2
=[
i
2
d[
d 0, i
Falls c = i, folgt analog:
1 =[
1
2
d[
2
+
_

3
2
_
2
=[
1
2
d[
2
+
3
4

1
2
=[
1
2
d[
d 0, 1
d
_

_
1, i, wenn c = 0
0, i, wenn c = 1
0, 1, wenn c = i
36
6 DIE STABILISATOREN DER ECKEN DES FUNDAMENTALBEREICHS
Bestimmung von a und b zu den Paaren (c, d)
a =
_

_
1, wenn (c, d) = (0, 1)
i, wenn (c, d) = (0, i)
1, wenn (c, d) = (1, 0)
i, wenn (c, d) = (1, i)
0, wenn (c, d) = (i, 0)
0, wenn (c, d) = (i, 1)
und
b =
_

_
0, wenn (c, d) = (0, 1)
1, wenn (c, d) = (0, i)
1, wenn (c, d) = (1, 0)
i, wenn (c, d) = (1, i)
0, wenn (c, d) = (i, 0)
i, wenn (c, d) = (i, 1)
Damit erhalten wir:

p
= 1, A, R, T, U, V (17)
mit A :=
_
0 1
1 0
_
, R :=
_
i 1
0 i
_
, T :=
_
1 i
i 0
_
, U :=
_
i 0
1 i
_
und V :=
_
0 i
i 1
_
Satz 10.

v

= S
3
= A, R[A
2
= R
2
= (AR)
3
= 1
Beweis.
1. A, R erzeugen
q
:
T = RA, U = ARA, V = (RA)
2
, A
2
= 1
2. Man ndet weiterhin: R
2
= 1, V T = (RA)
3
= 1
6.6 Die Schnittmengen der Stabilisatorgruppen
Folgerung 6.3. Die Durchschnitte der Stabilisatoren sind:

p

q
=1, AL = V S
2

= Z
2

q

u
=1, S, S
2

= Z
3
37
7 ALS AMALGAMIERTES PRODUKT

u

v
=1, RA = WS
2
, (RA)
2

= Z
3

v

p
=1, A

= Z
2
Alle anderen sind trivial.
Beweis. Die Schnitte sind direkt aus den Ergebnissen des letzten Kapitels abzulesen.
7 als Amalgamiertes Produkt
Bevor uns der Satz von Soule (Satz 4) die Prasentation liefert, m ussen wir noch zwei
notige Voraussetzungen klaren. Das folgende Lemma ist aus Floges Dissertation [Flo80]
ubernommen.
Lemma 7.1. F ur g und f ur x, y F
0
gilt: Aus gx = y folgt x = y
Beweis. (Beweisskizze der Ausf uhrung in [Flo80], S. 59) Die Menge F
0
ist Teilmenge von
B. Nach Lemma 3.3 in [Flo80] gilt, dass (z, r) H genau dann in B liegt, wenn gr r
f ur alle g aus . Da x und y in B liegen, gilt: r
x
= gr
y
r
y
und r
y
= g
1
r
x
r
x
. Somit
gilt notwendigerweise: r
x
= r
y
.
Da r
p
> r
v
= r
q
> r
u
bleibt als einzig mogliche Konguration: gq = v. Nun lassen sich
wie im Beweis zu Folgerung 5.12 wieder zwei verschiedene Falle f ur den Eintrag c in der
Matrixdarstellung von g ausf uhren.
Die Option c = 0 ist nicht moglich, da sich keine Translation konstruieren lasst die q
oder das Bild von q unter Drehung um 180

um die r-Achse auf v abbildet. Man muss


dazu nur die z-Werte der Koordinaten der Punkte betrachten. F ur c ,= 0 argumentiert
man wieder mit Lemma 5.11. Da q auf dem Schnittpunkt mehrer Spharen S
c,d
liegt,
ergeben sich dieses Mal etwas mehr Moglichkeiten f ur die Konguration von (c,d). Etwas
aufwandiger zeigt man dann, dass sich alle diese Matrizen als Produkt einer Translation
und einer Matrix aus dem Stabilistator
q
von q ergeben. Mit den Erkenntnissen aus dem
Fall c = 0 folgt dann aber, dass auch f ur c ,= 0 kein gesuchtes g exsistiert.
Lemma 7.2.
g, h : (F gF ghF ,= ) (F
0
gF
0
ghF
0
,= )
Beweis. Da f ur alle nicht trivialen Operationen g aus g

F

F = , gilt:
g, h : (F gF ghF ,= ) (F gF ghF)
38
7 ALS AMALGAMIERTES PRODUKT
Mit Bemerkung 5.4 gilt, dass Kanten immer auf Kanten und Ecken immer auf Ecken
abgebildet werden.
g, h : (F gF ghF ,= ) (F
0
gF
0
ghF
0
,= )
Damit sind alle Voraussetzungen von Satz 4 erf ullt und es gilt:

x

F
0

x
Folgerung 7.3.

= (D
2

Z
2
S
3
)
Z
2
Z
3
(A
4

Z
3
S
3
)
Beweis. Nach Folgerung 6.3 gibt es zwischen den vier Stabilisatorgruppen vier nicht tri-
viale Schnitte. Jeder nicht triviale Schnitt zwischen den Stabilisatorgruppen zweier Ecken
x und y entspricht der Stabilisatorgruppe der Kante, die x und y verbindet. Demnach
stimmen algebraische Berechnungen der Schnittmengen mit den geometrischen

Uberle-
gungen zum Fundamentalbereich uberein.
Wir bilden das amalgamierte Produkt nun in zwei Schritten: Zuerst amalgamieren wir

entlang der imaginaren Achse, anschlieend

entlang der reellen Achse. Diese Rei-


henfolge ist willk urlich, allerdings ist die Operation symmetrisch unter der Vertauschung
von Imaginar- und Realteil, beziehungsweise der Fundamentalbereich ist symmetrisch zu
(z) = 1(z)-Achse, daher sind beide Reihenfolgen aquivalent.
Bilden wir zunachst das freie Produkt aus den Stabilisatoren von p und q, sowie von u
und v:

p

u
=
_
A
p
, L A
2
p
= L
2
= (A
p
L)
2
= 1
A
v
, R A
2
v
= R
2
= (A
v
R)
3
= 1
_

q

v
=
_
V, S
q
V
2
= S
3
q
= (V S
q
)
2
= 1
W, S
v
W
2
= S
3
v
= (WS
v
)
3
= 1
_
Der Schnitt
p

u
ist die von A
p
= A
v
= A erzeugte Gruppe.

Uber diesen Schnitt zu
amalgamieren entspricht dem Gleichsetzen von A
p
= A
v
zu A in der Prasentation der
Gruppe
6
. Analog entspricht der Schnitt
q

v
der von S = S
q
= S
u
erzeugten Gruppe.
6
Faktisch sind die Operationen, wie vorigem Kapitel zu entnehmen ist, identisch. Die Unterscheidung
wurde nur k unstlich eingef uhrt, um die Struktur des Produktes zu analysieren.
39
7 ALS AMALGAMIERTES PRODUKT
Auch hier f uhrt die Identikation S
q
= S
v
= S zur einem amalgamierten Produkt:

u
=

A, L, R A
2
= L
2
= (AL)
2
= R
2
= (AR)
3
= 1
_

v
=

V, S, W V
2
= S
3
= (V S)
2
= W
2
= (WS)
3
= 1
_
Mit Folgerung 6.3 und den Satzen aus Kapitel 6 gilt:

u

= D
2

Z
2
S
3
(18)

v

= A
4

Z
3
S
3
(19)
Da auch
p

q
und
u

v
nicht trivial sind, konnen wir nun uber die Kanten parallel
zur reellen Achse amalgamieren.
Da
u

q
=
p

v
= 1, folgt mit dem Satz von Kurosh ([Se02], S. 56, Theorem
14), dass beide Schnitte jeweils Untergruppen der Amalgame
p

u
und
q

v
sind. Die Schnittmenge der beiden Amalgame entspricht dann nach dem Satz dem freien
Produkt aus
p

q
und
u

v
.
(
p

q
) (
u

v
) =
_
RA = WS
2
(RA)
3
= (WS
2
)
3
= 1
AL = V S
2
AL
2
= (V S
2
)
2
= 1
_
(20)

= [
2
=
3
= 1

= PSL
2
(Z) (21)
Wir amalgamieren nun
p

u
und
q

v
uber die gemeinsame Untergruppe
(
p

q
) (
u

v
). Dies enstpricht den Identikationen: RA = WS
2
, also R = WS
2
A
und AL = V S
2
, also V = ALS.

u

(
p

v
)

v
=
_
A, L A
2
= L
2
= (AL)
2
= (WS
2
A)
2
= 1
S, W (ALS)
2
= S
3
= W
2
= (WS)
3
= 1
_
Nun haben wir die Stabilisatoren uber ihre Schnittmengen amalgamiert. Mit Satz 4 und
Gleichungen 18, 19 und 21 ergibt sich die gesuchte Identitat:

x

F
0

x

=
p

u

(
p

v
)

q

(
q

v
)

v
= (D
2

Z
2
S
3
)
(Z
2
Z
3
)
(A
4

Z
3
S
3
)
Bemerkung 7.4. Auf diesem Weg hatten wir alternativ auch die Erzeuger der Gruppe
bestimmen konnen.
Folgerung 7.5. Die PSL
2
(Z[i]) lasst sich als

amalgame im Sinne von Jean-Pierre


Serre darstellen.
40
LITERATURVERZEICHNIS
Literaturverzeichnis
[Be62] H. BEHR,

Uber die endliche Denierbarkeit von Gruppen, Journal f. reine u. ang.
Math. 211, 1962, S. 116-122
[Bi92] L.BIANCHI, Sui gruppi di sostituzioni lineari con coecienti appartenenti a corpi
quadratici immaginar, Math. Annalen 40, 1892, p. 332-412
[Bo95] S. BOSCH, Algebra, Springerverlag, 1995
[Fi89] B. FINE, Algebraic theory of the bianchi groups, New York, 1989
[Flo80] D. FL

OGE, Zur Struktur der PSL


2
uber einigen imaginar-quadratischen Zahl-
ringen, (Dissertation), Universitat Frankfurt a.M., 1980
[Flo83] D. FLOEGE, Zur Struktur der PSL
2
uber einigen imaginar-quadratischen Zahl-
ringen, Mathematische Zeitschrift 183, 1983
[Mac64] A.M. MACBEATH, Groups of homeomorphisms of a simply connected space;
Ann. of Math. 79, 1964, S. 473-481
[Se02] J.-P. SERRE, Trees, Berlin, 2002
[Sou73] CH. SOULE, Groupes operant sur un complexe simplicial avec domaine fonda-
mental, Comp. Rend. 276 A, 1973, S. 607-609
[Sw71] R.G. SWAN, Generators and relations for certain special linear groups, Advances
in Math. 6, 1971, S.1-59
41