A finite presentation of the level 2 principal congruence subgroup of GL(n;Z)

DOI10.2996/KMJ/1446210594MaRDI QIDQ903957zbMATH OpenOpenAlexFDO

Authors Ryoma Kobayashi

Publication date 15 January 2016

Published in Kodai Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1407.1612, https://projecteuclid.org/euclid.kmj/1446210594

zbMATH Keywords

congruence subgroupfinite presentationpresentationprincipal congruence subgroup

Mathematics Subject Classification ID

Generators, relations, and presentations of groups (20F05) Geometric group theory (20F65) Topological methods in group theory (57M07)

Abstract: It is known that the level $2$ principal congruence subgroup of $GL(n;mathbbZ)$ has a finite generating set. In this paper, we give a finite presentation of the level $2$ principal congruence subgroup of $GL(n;mathbbZ)$.

Review text

Let \(n \geq 1\). The kernel of the homomorphism \(\text{GL}(n;\mathbb{Z}) \to \text{GL}(n; \mathbb{Z}/2\mathbb{Z})\) which reduces matrix entries modulo 2, is called the level 2 principal congruence subgroup of \(\text{GL}(n; \mathbb{Z})\) and denoted by \(\Gamma_2(n)\). The main theorem gives a finite presentation of \(\Gamma_2(n)\). A finite presentation has been obtained as well in [\textit{N. J. Fullarton}, Algebr. Geom. Topol. 15, No. 6, 3535--3567 (2015; Zbl 1368.20026)]. The case \(n=2\) is established using the Reidemeister-Schreier method. For \(n=3\) a simply connected simplicial complex is constructed on which \(\Gamma_2(n)\) acts. Using a special case of a result of Brown [\textit{K. S. Brown}, J. Pure Appl. Algebra 32, 1-10 (1984; Zbl 0545.20022)] and Tietze transformations a presentation is obtained. Another simply connected simplicial complex on which \(\Gamma_2(n)\) acts is constructed for \(n \geq 4\) and the presentation for the general case is obtained by induction on \(n\). As an application the author together with Hirose [\textit{S. Hirose} and \textit{R. Kobayashi}, A normal generating set for the Torelli group of a non-orientable closed surface, \url{arXiv:1412.2222}] obtained a generating set for the Torelli group \(\mathcal{T}(N_g)\) of a non-orientable closed surface \(N_g\) of genus \(g \geq 4\).

Recommendations

• Generators For All Principal Congruence Subgroups of SL(n, Z) with n ≥3
• On the second homology group of the Torelli subgroup of \(\Aut(F_n)\)
• scientific article; zbMATH DE number 219003
• A finite presentation for the automorphism group of the first homology of a non-orientable surface over \(\mathbb Z_2\) preserving the \(\mod 2\) intersection form
• A minimal generating set of the level 2 mapping class group of a non-orientable surface

Cited in

(8)

• Symmetrical maps arising from regular Coxeter elements of linear groups
• The non-finite presentability of \(IA(F_ 3)\) and \(\text{GL}_ 2(Z[t,t^{-1}])\)
• A note on presentation of general linear groups over a finite field
• scientific article; zbMATH DE number 5951797 (Why is no real title available?)
• NOTES ON A CERTAIN INTEGRAL ORTHOGONAL GROUP AND ITS QUOTIENT BY THE PRINCIPAL CONGRUENCE SUBGROUP OF LEVEL 2
• Hyperelliptic graphs and the period mapping on outer space
• Combinatorial description of the principal congruence subgroup \(\Gamma(2)\) in \(\mathrm{SL}(2, \mathbb{Z})\)
• On squares of DEHN twists about non-separating curves of a non-orientable closed surface

This page was built for publication: A finite presentation of the level 2 principal congruence subgroup of \(GL(n;\mathbf{Z})\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q903957)