The Schur multiplicator of SL(2,Z/mZ) and the congruence subgroup property (Q1068205): Difference between revisions

In der vorliegenden Arbeit bestimmt der Autor den Schurmultiplikator MSL(2,\({\mathbb{Z}}/m)\) der speziellen linearen Gruppe über dem Ring \({\mathbb{Z}}/m\) der ganzen Zahlen modulo m. Es erweist sich MSL(2,\({\mathbb{Z}}/m)\) als isomorph zu \({\mathbb{Z}}/2\) falls 4 ein Teiler von m ist und als 0 sonst. Dadurch wird ein Fehler in [\textit{J. Mennicke}: Invent. Math. 4, 202-228 (1967; Zbl 0189.025)] korrigiert, wo behauptet wurde, daß MSL(2,\({\mathbb{Z}}/m)\) stets verschwindet. Diese Behauptung wurde dort verwendet für die Lösung des Kongruenz-Untergruppen-Problems für die Gruppe SL(2,\({\mathbb{Z}}[1/p])\), p eine feste Primzahl. Durch eine Verbesserung von J. Mennickes Argumenten kann der Autor die Kongruenz- Untergruppen Eigenschaft für SL(2,\({\mathbb{Z}}[1/p])\) nachweisen unter Berücksichtigung von MSL(2,\({\mathbb{Z}}/m)\cong {\mathbb{Z}}/2\) falls 4 ein Teiler von m ist. Das Nichtverschwinden des Schurmultiplikators für \(SL(2,{\mathbb{Z}}/2^{n+1})\) hat verschiedene Konsequenzen. Zum einen benötigt jede endliche freie Präsentierung von \(SL(2,{\mathbb{Z}}/2^{n+1})\) mehr Relationen als Erzeugende. Zum anderen existiert eine projektive Darstellung von \(SL(2,{\mathbb{Z}}/2^{n+1})\), welche nicht linearisiert werden kann durch eine geeignete Wahl von Darstellungsmatrizen. Beide Aspekte werden vom Autor detailliert untersucht.