{"title":"SL(n, Z) 的生成对","authors":"Marston Conder , Georgina Liversidge , Maxim Vsemirnov","doi":"10.1016/j.jalgebra.2024.08.008","DOIUrl":null,"url":null,"abstract":"<div><p>It is well known that for all <span><math><mi>n</mi><mo>≥</mo><mn>3</mn></math></span>, the group <span><math><mrow><mi>SL</mi></mrow><mo>(</mo><mi>n</mi><mo>,</mo><mi>Z</mi><mo>)</mo></math></span> has a finite presentation given by its <span><math><msup><mrow><mi>n</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>−</mo><mi>n</mi></math></span> transvections, subject to the Steinberg relations. Also by a 1962 theorem of Trott, if <em>n</em> is odd then <span><math><mrow><mi>SL</mi></mrow><mo>(</mo><mi>n</mi><mo>,</mo><mi>Z</mi><mo>)</mo></math></span> is generated by two elements, one of infinite order, and by the combined work of Tamburini, J.S. Wilson and Vsemirnov and others (from 1993 to 2021), it is now known that <span><math><mrow><mi>SL</mi></mrow><mo>(</mo><mi>n</mi><mo>,</mo><mi>Z</mi><mo>)</mo></math></span> is generated by two elements of orders 2 and 3 precisely when <span><math><mi>n</mi><mo>≥</mo><mn>5</mn></math></span>. On the other hand, little appears to be known about 2-generator presentations for <span><math><mrow><mi>SL</mi></mrow><mo>(</mo><mi>n</mi><mo>,</mo><mi>Z</mi><mo>)</mo></math></span> for <span><math><mi>n</mi><mo>≥</mo><mn>3</mn></math></span>. In this paper, some finite 2-generator presentations are given for <span><math><mrow><mi>SL</mi></mrow><mo>(</mo><mn>3</mn><mo>,</mo><mi>Z</mi><mo>)</mo></math></span>, which as far as the authors are aware, are the only 2-generator finite presentations known for <span><math><mrow><mi>SL</mi></mrow><mo>(</mo><mn>3</mn><mo>,</mo><mi>Z</mi><mo>)</mo></math></span>. Also some new generating pairs are given for <span><math><mrow><mi>SL</mi></mrow><mo>(</mo><mi>n</mi><mo>,</mo><mi>Z</mi><mo>)</mo></math></span> for <span><math><mi>n</mi><mo>≥</mo><mn>3</mn></math></span>. In particular, some of these extend Trott's 1962 theorem by showing that <span><math><mrow><mi>SL</mi></mrow><mo>(</mo><mi>n</mi><mo>,</mo><mi>Z</mi><mo>)</mo></math></span> is generated by two elements, one of order 2 and the other of infinite order, for all <span><math><mi>n</mi><mo>></mo><mn>2</mn></math></span>.</p></div>","PeriodicalId":14888,"journal":{"name":"Journal of Algebra","volume":null,"pages":null},"PeriodicalIF":0.8000,"publicationDate":"2024-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0021869324004629/pdfft?md5=656d74ef20d0e8104f0cd832d1d8bd92&pid=1-s2.0-S0021869324004629-main.pdf","citationCount":"0","resultStr":"{\"title\":\"Generating pairs for SL(n, Z)\",\"authors\":\"Marston Conder , Georgina Liversidge , Maxim Vsemirnov\",\"doi\":\"10.1016/j.jalgebra.2024.08.008\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>It is well known that for all <span><math><mi>n</mi><mo>≥</mo><mn>3</mn></math></span>, the group <span><math><mrow><mi>SL</mi></mrow><mo>(</mo><mi>n</mi><mo>,</mo><mi>Z</mi><mo>)</mo></math></span> has a finite presentation given by its <span><math><msup><mrow><mi>n</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>−</mo><mi>n</mi></math></span> transvections, subject to the Steinberg relations. Also by a 1962 theorem of Trott, if <em>n</em> is odd then <span><math><mrow><mi>SL</mi></mrow><mo>(</mo><mi>n</mi><mo>,</mo><mi>Z</mi><mo>)</mo></math></span> is generated by two elements, one of infinite order, and by the combined work of Tamburini, J.S. Wilson and Vsemirnov and others (from 1993 to 2021), it is now known that <span><math><mrow><mi>SL</mi></mrow><mo>(</mo><mi>n</mi><mo>,</mo><mi>Z</mi><mo>)</mo></math></span> is generated by two elements of orders 2 and 3 precisely when <span><math><mi>n</mi><mo>≥</mo><mn>5</mn></math></span>. On the other hand, little appears to be known about 2-generator presentations for <span><math><mrow><mi>SL</mi></mrow><mo>(</mo><mi>n</mi><mo>,</mo><mi>Z</mi><mo>)</mo></math></span> for <span><math><mi>n</mi><mo>≥</mo><mn>3</mn></math></span>. In this paper, some finite 2-generator presentations are given for <span><math><mrow><mi>SL</mi></mrow><mo>(</mo><mn>3</mn><mo>,</mo><mi>Z</mi><mo>)</mo></math></span>, which as far as the authors are aware, are the only 2-generator finite presentations known for <span><math><mrow><mi>SL</mi></mrow><mo>(</mo><mn>3</mn><mo>,</mo><mi>Z</mi><mo>)</mo></math></span>. Also some new generating pairs are given for <span><math><mrow><mi>SL</mi></mrow><mo>(</mo><mi>n</mi><mo>,</mo><mi>Z</mi><mo>)</mo></math></span> for <span><math><mi>n</mi><mo>≥</mo><mn>3</mn></math></span>. In particular, some of these extend Trott's 1962 theorem by showing that <span><math><mrow><mi>SL</mi></mrow><mo>(</mo><mi>n</mi><mo>,</mo><mi>Z</mi><mo>)</mo></math></span> is generated by two elements, one of order 2 and the other of infinite order, for all <span><math><mi>n</mi><mo>></mo><mn>2</mn></math></span>.</p></div>\",\"PeriodicalId\":14888,\"journal\":{\"name\":\"Journal of Algebra\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.8000,\"publicationDate\":\"2024-08-26\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://www.sciencedirect.com/science/article/pii/S0021869324004629/pdfft?md5=656d74ef20d0e8104f0cd832d1d8bd92&pid=1-s2.0-S0021869324004629-main.pdf\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Algebra\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0021869324004629\",\"RegionNum\":2,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Algebra","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0021869324004629","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
It is well known that for all , the group has a finite presentation given by its transvections, subject to the Steinberg relations. Also by a 1962 theorem of Trott, if n is odd then is generated by two elements, one of infinite order, and by the combined work of Tamburini, J.S. Wilson and Vsemirnov and others (from 1993 to 2021), it is now known that is generated by two elements of orders 2 and 3 precisely when . On the other hand, little appears to be known about 2-generator presentations for for . In this paper, some finite 2-generator presentations are given for , which as far as the authors are aware, are the only 2-generator finite presentations known for . Also some new generating pairs are given for for . In particular, some of these extend Trott's 1962 theorem by showing that is generated by two elements, one of order 2 and the other of infinite order, for all .
期刊介绍:
The Journal of Algebra is a leading international journal and publishes papers that demonstrate high quality research results in algebra and related computational aspects. Only the very best and most interesting papers are to be considered for publication in the journal. With this in mind, it is important that the contribution offer a substantial result that will have a lasting effect upon the field. The journal also seeks work that presents innovative techniques that offer promising results for future research.