{"entities":{"Q1985759":{"pageid":1996501,"ns":120,"title":"Item:Q1985759","lastrevid":53706230,"modified":"2026-01-25T14:23:33Z","type":"item","id":"Q1985759","labels":{"en":{"language":"en","value":"Generators and relations of ``lower-triangular'' automorphism groups of free groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7187750"}},"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":"Q1985759$D0A84BD1-5076-485C-AECC-EB794C65E349","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dbbd22fd5eb8ef1b66b5f2c8e3382be047a0f280","datavalue":{"value":{"text":"Generators and relations of ``lower-triangular'' automorphism groups of free groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1985759$891FD681-F0EE-404C-BB2C-EB44707B0755","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33e06b5a3b9885580153eb8e4d5ec55c14b9e792","datavalue":{"value":"1452.20031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1985759$86542BB6-4161-482E-BFF6-76C2867DD0F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a2ff8ccfcdf94dbb5eb0bf66d6f255002083de4","datavalue":{"value":{"entity-type":"item","numeric-id":372587,"id":"Q372587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1985759$971D1C94-C57C-4001-A660-6876ADAE8CB2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1985759$852A2144-0598-409E-A4DD-C797439D623B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5583640b16c3225e3c55a84532f843da9ad4b6cf","datavalue":{"value":{"time":"+2020-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1985759$1F2F4EE1-46B8-4349-935D-B03BA0654073","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"124648be4c0c02c1a8757cd50bdd45c1813c569d","datavalue":{"value":"Let $F_n$ be a free group of rank $n\\geq 2$ with basis $x_1,x_2,\\ldots,x_n$,  $A_n=\\Aut(F_n)$  the  automorphism group of $F_n$, and $\\Lambda_n$  the group of  integral lower-triangular matrices in $\\mathrm{GL}(n,\\mathbb{Z})$ whose diagonal entries are one. For every $1\\leq i\\not= j\\leq n$, automorphisms of $F_n$ defined by $x_i\\mapsto x_i x_j$ and $x_i\\mapsto x_j^{-1} x_i$ are denoted by $E_{ij}$ and $E_{i^{-1}j}$, respectively (see [\\textit{W. Magnus}, Acta Math. 64, 353-367 (1935; Zbl 0012.05405)]). Let $SA_n$ be the preimage of $\\mathrm{SL}(n,\\mathbb{Z})$ by the natural epimorphism $\\rho:A_n\\longrightarrow \\Aut(F_n/[F_n,F_n])$, which is called the special automorphism group of $F_n$. Consider the subgroup $A_n^{+}$ of $SA_n$ generated by the  automorphisms $E_{ij}$ and $E_{i^{-1}j}$, for all $1\\leq j<i\\leq n$. The group $A_n^{+}$  is said to be the lower-triangular automorphism group of $F_n$, and it can be regarded as a free group analogue of  $\\Lambda_n$. In this paper, it is given a finite presentation for $A_n^{+}$ and  a normal form for its elements, using a similar technique as that Magnus  used to give the presentation for $\\Lambda_n$ in the above paper.  Moreover,  the kernel of $\\rho$ is called the $IA$-automorphism group of $F_n$, denoted by $IA_n$, which is finitely generated by automorphisms \\[ K_{ij}:x_t\\mapsto\\begin{cases} x_j^{-1}x_i x_j,&t=i\\\\ x_t,&t\\not=i \\end{cases} \\] for distinct $i,j\\in \\{1,2,\\ldots,n\\}$ and \\[ K_{ijl}:x_t\\mapsto\\begin{cases} x_i[x_j,x_l], &t=i\\\\ x_t, &t\\not=i \\end{cases} \\] for distinct $i,j,l\\in \\{1,2,\\ldots,n\\}$ such that $j<l$ (see the Magnus's paper). The author introduced the lower-triangular $IA$-automorphism group $IA_n^{+}$ in his previous paper [J. Algebra Appl. 16, No. 5, Article ID 1750099, 31 p. (2017; Zbl 1378.20050)], which is defined to be the subgroup of $IA_n$ generated by $K_{ij}$ for all  $1\\leq j<i\\leq n$ and $K_{pqr}$ for all  $1\\leq r<q<p\\leq n$. In the paper under review, it is shown that $\\ker (\\rho|_{A_n^{+}})=IA_n^{+}$ and also it is provided an infinite presentation for $IA_n^{+}$ and  a normal form for its elements.  Finally in the last section, the author computes the second homology groups  $H_2(\\Lambda_n,L)$ where $L$ is a principal ideal domain in which the element 2 is invertible and $\\Lambda_n$ acts trivially on $L$. This gives a lower bound on the integral second homology group of $A_n^{+}$.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1985759$AABB9B42-E8B8-4D9A-A7DD-9C0429869EC1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2deb6c84bb655f92d0760b943cc11ee2ad0bfe3","datavalue":{"value":{"entity-type":"item","numeric-id":1643118,"id":"Q1643118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1985759$704790EE-AC39-4613-86D0-1592A97E1344","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"02e66589753ec184c7d05c645efc14f6302392b5","datavalue":{"value":"20F28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1985759$22BD53F2-3C80-4571-A09F-D76AB9078711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1985759$6D683194-FC29-427C-BC81-87E8A9563BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1985759$B9BF3936-E9ED-4C5E-B28A-87F89B7CE60D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8fa3dd8c25b45d4f42639799980669cf431b031","datavalue":{"value":"7187750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1985759$6A0B5602-379D-42F9-99EB-2A89830949AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fcbf4d98dab9ccf923efa1f245e28e4e49dc234","datavalue":{"value":"automorphism groups of free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1985759$4428F941-311A-4469-8269-24405F61D6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cb00a7aed6ad7505d56cca563f277183b485bf8","datavalue":{"value":"IA-automorphism groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1985759$AF171808-F5A2-4A6C-A63C-D2C614598CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce8eb357aaf3e6fdd67edd4cbf5313f78f111704","datavalue":{"value":"Heisenberg groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1985759$96742BCB-CFC6-4513-96F3-E451AEA5FF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d379be689a11bd07f9dfe51b9faa42695e1ca80","datavalue":{"value":"presentation of groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1985759$A2E767F8-8BDF-4FB9-BB3D-B309B7F495DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f88e64111f03e4e79b255598407fe3cc17366f65","datavalue":{"value":"second homology groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1985759$7F656D7F-A014-49E8-B82A-747D5C4C80ED","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":"Q1985759$6C80D1AA-C985-461C-9D89-4245F7989F5D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79ebdc1514fd647b88a0669e43b44516971d7c5a","datavalue":{"value":"https://doi.org/10.1016/j.jpaa.2020.106340","type":"string"},"datatype":"url"},"type":"statement","id":"Q1985759$8ACBBC15-5E7C-4B8E-81FD-3A7D8DBA5F46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3036524f455ff4f5a6f6646a41cfd425f2f4d3f1","datavalue":{"value":"W3006058630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1985759$DDF71247-B1D4-4684-B440-6E39607B0CA0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"770f79cd447c43261fef64885bd95efeda7a60a8","datavalue":{"value":{"entity-type":"item","numeric-id":2402858,"id":"Q2402858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1985759$3048BAFA-4293-457F-9706-3178AE2B3E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ba5dd6ec9ea3d5af331cd1c6469f727459d52c2","datavalue":{"value":{"entity-type":"item","numeric-id":2318371,"id":"Q2318371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1985759$AC0013C8-7174-4930-A748-F5F1F252112C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18aee08c675db60be80593f1b8cda70d6f37b111","datavalue":{"value":{"entity-type":"item","numeric-id":3684832,"id":"Q3684832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1985759$E24545F0-C82F-4324-87E5-96B6B11980FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f95547dd1db6a7f1c2ca6f2434b8b1d45993bacb","datavalue":{"value":{"entity-type":"item","numeric-id":795167,"id":"Q795167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1985759$C7571123-E932-4954-8810-8411E1C20B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a04b1cb4314c59cf91692a9cf6a8d77284a51eb","datavalue":{"value":{"entity-type":"item","numeric-id":1365353,"id":"Q1365353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1985759$4F83CD80-40A3-484E-A550-1BF649C08953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb3de2a9d1772c525526fd0435fb6196bb981408","datavalue":{"value":{"entity-type":"item","numeric-id":1923954,"id":"Q1923954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1985759$670D1915-8784-4A93-A07C-ACD9215BCDD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49cd271e4c478c3518edc0106e5092c550b79292","datavalue":{"value":{"entity-type":"item","numeric-id":4049258,"id":"Q4049258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1985759$F2608792-2233-4941-A5F1-0FE32FDEDEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5b87534d5a1628963b0a3f48cfbab3cfb795fa1","datavalue":{"value":{"entity-type":"item","numeric-id":5740767,"id":"Q5740767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1985759$096D3529-F956-4C7E-9AAE-DB6BCB52EB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce1eeb9e9c8bba115b63e359e9681753708a899c","datavalue":{"value":{"entity-type":"item","numeric-id":5739069,"id":"Q5739069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1985759$29CF1463-CEE2-4ECA-B6DD-DBA9D01E873B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e07b45ff94f9be200c872d987521f14701f60dd","datavalue":{"value":"10.1016/J.JPAA.2020.106340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1985759$9CDCC346-8CC6-4F01-8CD6-DFBB741B13CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f17a99bdc097693fbe1530c5b8aa8766154af11e","datavalue":{"value":{"entity-type":"item","numeric-id":995616,"id":"Q995616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd5c187a3d79b456e826c2921796ea2f3d31513e","datavalue":{"value":{"amount":"+0.788920521736145","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":"Q1985759$BCECA731-A137-4CAF-8104-7245BBE609D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d018d19b20be6f37bd3ef378b175769bfa700fd","datavalue":{"value":{"entity-type":"item","numeric-id":3829724,"id":"Q3829724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfb3f8d11d469f3331016b4f918d7e68851f6308","datavalue":{"value":{"amount":"+0.7830661535263062","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":"Q1985759$B2611B3A-9BEE-464A-A0F0-2E390D09604C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0cbc7fb751b425cc0161de2afba9a3d21f55752","datavalue":{"value":{"entity-type":"item","numeric-id":4399275,"id":"Q4399275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecc67753a251086aa96e7013364a2f728adc46a3","datavalue":{"value":{"amount":"+0.7819491028785706","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":"Q1985759$9FE0A75B-6B6C-43FB-85AF-A852AA3C8895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ffa448b2b8496978e1c399deee0f0bb4cdd9cb9","datavalue":{"value":{"entity-type":"item","numeric-id":1365353,"id":"Q1365353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1feb13aedbb431976b6a193429ec8eed6027d71","datavalue":{"value":{"amount":"+0.781417965888977","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":"Q1985759$F16645E1-7276-4790-81FC-0B5E5962A935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b11732610c73b4baec47ebb0ee448c938c0dd2d2","datavalue":{"value":{"entity-type":"item","numeric-id":5739069,"id":"Q5739069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"124125a3219ec53994c4deb79bbc8438208e371d","datavalue":{"value":{"amount":"+0.7811124920845032","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":"Q1985759$5AE54A0B-A4F5-413A-BE57-787D9C958552","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1985759","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1985759"}}}}}