{"entities":{"Q335618":{"pageid":337385,"ns":120,"title":"Item:Q335618","lastrevid":56814516,"modified":"2026-03-23T16:32:39Z","type":"item","id":"Q335618","labels":{"en":{"language":"en","value":"Generating pairs for finite index subgroups of \\(\\mathrm{SL}(n,\\mathbb{Z})\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6647044"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335618$0BE510E6-B21E-4040-8474-E1204D4A13CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"377c5d001ef9f1a36adacd4f52b900f51f5fd9db","datavalue":{"value":{"text":"Generating pairs for finite index subgroups of \\(\\mathrm{SL}(n,\\mathbb{Z})\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q335618$787C0003-FACE-41C7-A629-26A41B1F6B24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70e8178344f5243385ca8b830c19ff52b8fc8054","datavalue":{"value":"1368.20066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q335618$D9F2D6D0-6051-419D-8172-7B48080F7EC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea8f6177d7b9fe664fb9a688794d6ab9a11872e6","datavalue":{"value":{"entity-type":"item","numeric-id":335617,"id":"Q335617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335618$0EE8FBF1-BDFF-45EA-906A-DBA3431E5826","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335618$3C9814E7-CAA1-4057-82EB-6A576F2ECDB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"33865f7832d8c3a5e82619699bc5a10a29d658fc","datavalue":{"value":{"time":"+2016-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q335618$E3593CEA-8C19-4CAC-94A6-42743C540BC9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86dc1ebea1f6af3ba033a95a9b8b1f7d511e792c","datavalue":{"value":"https://arxiv.org/abs/1511.07798","type":"string"},"datatype":"url"},"type":"statement","id":"Q335618$3F4CB8A0-438D-48F2-852A-F5DBE86B0C4B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ea0f68a8d4078563f0d80045bd0f8160b918a5f","datavalue":{"value":"20H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q335618$D8965837-3879-46EB-835E-522FF0414FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37f17b3e9849dd0379a45db8d24729a21e1aaa17","datavalue":{"value":"20H25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q335618$3319F34C-6FC9-42B3-A119-3EA6213C62E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"faf1b8bf3afafa2d8d1dba1bb10a9c139d923c8b","datavalue":{"value":"20G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q335618$05812B3A-40F4-440B-81CC-1CA036587FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q335618$493BA687-D7C2-4049-AF72-075C70C85339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea37469d91f3037e8b6809fc66f770f1b27a461d","datavalue":{"value":"20E07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q335618$28426654-DB36-442D-A7B9-5A246F913217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6a54c25d1a981b9a87a11d5823b3dec1c371fc2b","datavalue":{"value":"11F06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q335618$599BD38F-D546-4626-854F-79C6DA986605","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d7619b79dc0f5851af88acbd2c18217d387872e","datavalue":{"value":"6647044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q335618$A9AA8222-F61F-4028-8DF8-14E3EC3D784F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8591557afc5c9291a051e387457f855ea6159ac","datavalue":{"value":"special linear group","type":"string"},"datatype":"string"},"type":"statement","id":"Q335618$4EF8ED0C-B56E-4CD7-80DA-FC36CEA238D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ca66300e9040d134b568ec973af82e7bf9d4c45","datavalue":{"value":"rational integers","type":"string"},"datatype":"string"},"type":"statement","id":"Q335618$B978F027-F9F2-4D6C-9472-2EBF3BF170BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56f1dca76fb3ecf6ac5877bf80faa9c4632165b2","datavalue":{"value":"two-generated subgroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q335618$315E9DDC-D3A6-490E-8A07-83DED64DD1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"654af7d44cd9a8e54b696591d2393564a66c23d7","datavalue":{"value":"finite index","type":"string"},"datatype":"string"},"type":"statement","id":"Q335618$D1A78523-9BBC-43EB-A905-C68706DF1153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"947cd52e7893ea09e9c0871ee00637dc7b3f6f59","datavalue":{"value":"Zariski-density","type":"string"},"datatype":"string"},"type":"statement","id":"Q335618$64798EB4-EB29-43E0-93AA-70381625629A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37c38b02b4495a754e84e63c4e535500c9f1939d","datavalue":{"value":"congruence subgroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q335618$C01A1A24-3776-4656-82C9-C6FD3754BFEF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2e8c84f0ab2bf9d32d27bfd32a3f4b098c54b14e","datavalue":{"value":{"entity-type":"item","numeric-id":721691,"id":"Q721691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335618$17D99836-36FD-4234-825E-0CB7A263CE86","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335618$5A4A3F94-D57B-4653-B773-CEFCCDFFDCAE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5d151ccdfb068aad24fc3c55a8551b81f980676e","datavalue":{"value":"W2963443010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q335618$6FB8708C-64FB-4A49-93D4-3F4DD0037BC4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d5312826184513e8431013e47b5318b03376630","datavalue":{"value":{"entity-type":"item","numeric-id":5639895,"id":"Q5639895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335618$28D4E5FB-B47C-4D96-983D-5F644B542436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4999c3f9d9a6669402e4b8f5d4719cb4b17ed370","datavalue":{"value":{"entity-type":"item","numeric-id":3743488,"id":"Q3743488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335618$69C64D60-42EA-41E0-B92B-956C8E41832C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736b917877e8a73701b99bc0d1ea4492905d893a","datavalue":{"value":{"entity-type":"item","numeric-id":580492,"id":"Q580492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335618$9CC3789C-C9CF-4B72-A935-06B195F3260D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90c6ae17aad6ae07257e0c2033fd62d1c01836c3","datavalue":{"value":{"entity-type":"item","numeric-id":4915403,"id":"Q4915403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335618$D00B6469-8A8F-4500-BAF7-F53EAC18E9F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7c568d25b3be5e2aa4e99b2427ea7ea8c741e4d","datavalue":{"value":{"entity-type":"item","numeric-id":625327,"id":"Q625327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335618$B6AF84E1-E056-40A0-975F-AF5EB8467D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c3483d187984cb1c4d878f25b78be382860bbb6","datavalue":{"value":{"entity-type":"item","numeric-id":2520893,"id":"Q2520893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335618$E00A4724-D6DD-428F-81B9-9D26F7B1A8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf35216041a32b16bba5f2f2d3c9a60079517fd7","datavalue":{"value":{"entity-type":"item","numeric-id":5669004,"id":"Q5669004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335618$C129CA0C-BACB-4093-9254-D5FE8962C69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c04951a6b6d64257235e955c6cdded3253a3b6e3","datavalue":{"value":{"entity-type":"item","numeric-id":2809754,"id":"Q2809754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335618$A2F9F195-C984-462E-9751-C5A1E3A05B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc4dfe9bb36c39433be38dcba460c7d501f3c3d","datavalue":{"value":{"entity-type":"item","numeric-id":2572571,"id":"Q2572571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335618$3A7D945F-0EF5-4C4B-9EF6-D1CA2D28C3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f1db003ba2163b1076fd84666b88700b8081a2","datavalue":{"value":{"entity-type":"item","numeric-id":4161799,"id":"Q4161799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335618$31B28CD0-8EDC-4B3B-B192-C7B359FBA3B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f73d8712155cc8d11c8fdbf67081b86293127362","datavalue":{"value":{"entity-type":"item","numeric-id":1822627,"id":"Q1822627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335618$17943F24-9268-42BF-BA9F-D34AC31E06FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d3ec111e4bccc370004c0397304e0fc85afe8a2","datavalue":{"value":"10.1016/J.JALGEBRA.2016.09.026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q335618$B4D52C70-0129-4765-861C-84D2A57064FF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"076446ed1fca314e3cda13a2de75c6d04f0caded","datavalue":{"value":"In this paper, the author proves the following very interesting result.NEWLINENEWLINELet \\(n \\geq 3\\) and \\( g \\in \\mathrm{SL}(n,\\mathbb{Z})\\). If the degree of the minimal polynomial of \\(g\\) is \\(n\\) then there exists \\(u \\in \\mathrm{SL}(n,\\mathbb{Z})\\) such that \\(|\\mathrm{SL}(n,\\mathbb{Z}): \\langle g,u^m\\rangle | < \\infty\\), for all \\(m \\geq 1\\).NEWLINENEWLINEIt follows that every finite index subgroup \\(H\\) of \\(\\mathrm{SL}(n,\\mathbb{Z})\\) contains a \\(2\\)-generated subgroup of finite index. This provides a complete answer to a question of \\textit{A. Lubotzky} [Lond. Math. Soc. Lect. Note Ser. 121, 254--262 (1986; Zbl 0605.20029)]. A number of partial answers are already known. (The Zariski-density of \\(H\\) ensures that it always contains an element \\(g\\) of the above type.) As with the classical congruence subgroup problem, this is another example of how the properties of \\(\\mathrm{SL}(n,\\mathbb{Z})\\) (\\( n \\geq 3\\)) differ completely from those of \\(\\mathrm{SL}(2,\\mathbb{Z})\\). With finitely many exceptions, every \\(2\\)-generated subgroup of a normal finite index subgroup of \\(\\mathrm{SL}(2,\\mathbb{Z})\\) is of infinite index.NEWLINENEWLINEThe proof is based on the Bruhat decomposition of \\(\\mathrm{SL}(n,\\mathbb{Q})\\). Let \\(U(\\mathbb{C})\\) be the subgroup of all unipotent upper triangular matrices and let \\(\\Lambda=\\langle g,u^m\\rangle\\), where \\(u=e_{1,n}(1)\\). The first step involves showing that \\(\\Lambda\\cap U(\\mathbb{C})\\) is Zariski-dense in \\(U(\\mathbb{C})\\). It follows then that \\(\\Lambda^*\\), a conjugate of \\(\\Lambda\\), contains ``many'' elementary matrices. In fact, \\(\\Lambda^*\\) contains sufficiently many elementary matrices to ensure, from a result of Tits, that \\(\\Lambda\\) contains a principal congruence subgroup of \\(\\mathrm{SL}(n,\\mathbb{Z})\\).NEWLINENEWLINEThe author intends this paper to be a contribution to the study of \\textit{thin groups} which have attracted a great deal of attention recently. In the context of this paper, a thin group is a subgroup of infinite index in \\(\\mathrm{SL}(n,\\mathbb{Z})\\) which is Zariski-dense in \\(\\mathrm{SL}(n,\\mathbb{C})\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q335618$4321AF47-7F43-463C-947C-7CAF81F7A35A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"137b57f4340f8e978fbc13acce8b4c547654c8e1","datavalue":{"value":{"entity-type":"item","numeric-id":4915403,"id":"Q4915403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cee2eb2445723f992259ce987a16ccb7bc3a9b6","datavalue":{"value":{"amount":"+0.815234899520874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q335618$51503C30-BB80-46CE-9C6B-0303BB4C7081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e22adeff5fd93e05945ba73607089384a49c1cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4313324,"id":"Q4313324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e406302da58cb782b377af5f08efaf3a41166208","datavalue":{"value":{"amount":"+0.7788459658622742","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q335618$405A68DC-26C9-42DD-AF99-86B48FA4B7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f771ffe58d33a29e4ca0af513ee82943a25095a8","datavalue":{"value":{"entity-type":"item","numeric-id":1105041,"id":"Q1105041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edf472387f525971f53f5b33593b9f5093ee1a20","datavalue":{"value":{"amount":"+0.7478772401809692","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q335618$882A998F-5DCE-4E61-B564-1BD531DEACD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd0e495101fb630b90d6df84a975d0d9ae0730f6","datavalue":{"value":{"entity-type":"item","numeric-id":4288270,"id":"Q4288270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae65755691e3bd7034f204379f2465d4863fe486","datavalue":{"value":{"amount":"+0.7414427995681763","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q335618$C7BF768C-7851-4956-9699-ECF4AE3DD625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53856f7fdafe0e2834fc38446a7eff78c0f2132e","datavalue":{"value":{"entity-type":"item","numeric-id":4939302,"id":"Q4939302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e68cce90e04e9e5f126acd7543167a3eac2d5392","datavalue":{"value":{"amount":"+0.7387733459472656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q335618$BCD8FFA9-10ED-4A35-9A76-A91F8F9DB45C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:335618","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:335618"}}}}}