English

Uniform two-generator presentations for $SL_n(\mathbb{Z})$ with polynomial complexity bounds

Group Theory 2026-04-28 v2

Abstract

We give a uniform explicit construction of finite two-generator presentations for the special linear groups over the integers in all ranks at least three. The construction builds on the generating-pair work of Conder--Liversidge--Vsemirnov and on a standard Tietze-elimination observation pointed out by Button. It recovers Trott's odd-rank generating pair and extends the same monomial/transvection form uniformly to even rank by a sign correction. After rebalancing, the construction has quadratic transvection words, quartically many relators, and sextic total relator length. We also derive several consequences, including infinite--infinite and finite--finite variants, consequences for congruence quotients, a presentation for the projective quotient, and an exact relator count, valid for both the unbalanced and balanced presentations.

Keywords

Cite

@article{arxiv.2604.17777,
  title  = {Uniform two-generator presentations for $SL_n(\mathbb{Z})$ with polynomial complexity bounds},
  author = {Arindam Biswas},
  journal= {arXiv preprint arXiv:2604.17777},
  year   = {2026}
}
R2 v1 2026-07-01T12:17:33.933Z