Pairs of matrices of order two which generate free groups
Man betrachtet zwei quadratische Matrizen \( A, B \) zweiter Ordnung: \( A=\left(a_{i j}\right) \), \( B=\left(b_{i j}\right) \), deren Elemente ganze Zahlen sind, und die die Determinanten \(\pm 1\) haben. Es mögen folgende Ungleichheiten bestehen \[ \left|a_{12}\right|>\max \left(\left|a_{11}\right|,\left|a_{21}\right|,\left|a_{22}\right|\right) ;\left|b_{21}\right|>\max \left(\left|b_{11}\right|,\left|b_{12}\right|,\left|b_{22}\right|\right) \text {. } \] Die Ordnungen der Matrizen seien auch unendlich. Dann erzeugen \( A, B \) eine freie Gruppe. Spezialfälle dieses Satzes sind schon von \textit{I. N. Sanov} [Dokl. Akad. Nauk SSSR, n. Ser. 57, 657--659 (1947; Zbl 0029.00404)] und von \textit{J. L. Brenner} [C. R. Acad. Sci., Paris 241, 1689--1691 (1955; Zbl 0065.25402)] gegeben worden. Die Beweise sind teilweise äußerst knapp.
This page was built for publication: Pairs of matrices of order two which generate free groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q771032)
