I sottogruppi del gruppo modulare con coefficienti del corpo di Jacobi-Eisenstein e un teorema sui gruppi finiti. (Q1449837): Difference between revisions

Für die im Titel genannten Gruppen werden die gleichen Untersuchungen angestellt wie für die \textit{Picard}sche Gruppe in einer früheren Arbeit des Verf. (Rendiconti Palermo 47 (1923), 273-312; F. d. M. 49, 271 (JFM 49.0271.*)). In der Gruppe \(\varGamma\) der unimodularen, zweireihigen Matrizen mit Koeffizienten aus dem Körper der dritten Einheitswurzeln hat die Kongruenzuntergruppe \(\varGamma_{\mu(n)}\) mod \(n\) den Index \[ \mu(n)=N\,(n)^3\,\textstyle\prod\limits_p \,(1-N\,(p)^{-2}) \] (\(N=\) Norm; \(p\) durchläuft die nicht assoziierten Primfaktoren von \(n\)) für \(n=\pm 2\varepsilon^\varrho\) (\(\varrho=0\), \(1\), \(2\)), bzw. halb so groß für alle anderen Fälle. Die Gruppe \(\overline{\varGamma}\), die aus \(\varGamma\) durch Hinzunahme von \(\begin{pmatrix} -1&0\\ \hfill0&1 \end{pmatrix}\) entsteht, wird erzeugt durch \[ S=\begin{pmatrix} 0&1\\1&0\end{pmatrix},\;\; T=\begin{pmatrix} \hfill 0&1\\-1&1\end{pmatrix},\;\; U=\begin{pmatrix} 0\hfill&-\varepsilon\\ \varepsilon^2&\hfill 0\end{pmatrix}. \] Relationen werden aufgestellt und untersucht für den Fall der Faktorgruppe \(G_{2\mu(n)}\) von \(\varGamma_{\mu(n)}\) in \(\overline{\varGamma}\). Die durch 4 oder durch \((1-\varepsilon)^3\) teilbaren Zahlen \(n\) spielen eine Ausnahmerolle; das führt zur Auffindung gewisser Untergruppen in den zugehörigen Gruppen \(\varGamma_{\mu(n)}\).