On the units of indefinite quaternion algebras. (Q2590472)

Die Struktur der Einheitengruppen bei indefiniten rationalen Quaternionenalgebren \(Q\) ist von \textit{Eichler} (Math. Ann. 114 (1937), 635-654; F. d. M. \(63_{\text{I}}\), 92) als Anwendung einer allgemeineren Theorie weitgehend untersucht worden. Insbesondere wurde das Erzeugendensystem als endlich nachgewiesen und für seine Elemente ein vollständiges Relationensystem aufgestellt. Verf. gibt eine direkte Herleitung dieser Resultate, die den Vorteil hat, daß die Erzeugenden in einfachen Fällen bestimmt werden können. Aus der Darstellung der Einheitengruppe als Gruppe von Automorphismen der durch die Normenform der Maximalordnung von \(Q\) gegebenen Hermiteschen Form über einem quadratisch-imaginären Körper ersieht man, daß sich die Einheiten als kom\-plexe lineare gebrochene Substitutionen schreiben lassen. Diese bilden eine mit der Einheitengruppe homomorphe, im Innern eines gewissen Kreises eigentlich diskonti\-nuierliche Fuchssche Gruppe. Mittels Methoden von Humbert wird für diese Gruppe ein Fundamentalpolygon konstruiert, um daraus die Erzeugenden herzuleiten.