{"entities":{"Q1365353":{"pageid":1376093,"ns":120,"title":"Item:Q1365353","lastrevid":43062308,"modified":"2025-07-17T08:52:43Z","type":"item","id":"Q1365353","labels":{"en":{"language":"en","value":"The non-finite presentability of \\(IA(F_ 3)\\) and \\(\\text{GL}_ 2(Z[t,t^{-1}])\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1054511"}},"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":"Q1365353$4667B2D2-FDA6-46D1-9A3D-4DD5CC14629A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6bee1074ed9e88462a30895c925538bfed79eca9","datavalue":{"value":{"text":"The non-finite presentability of \\(IA(F_ 3)\\) and \\(\\text{GL}_ 2(Z[t,t^{-1}])\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1365353$C07B5C3A-64B7-4C62-83BB-8D07D87934B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0af17397d320027a0576f8a48d709b63bb636ac9","datavalue":{"value":"0880.20031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365353$EB5E5220-8F10-4BEC-A793-1FC5B39B4ACE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4553da8c1048cfe4c8999aaeff5b09130cfe2ff7","datavalue":{"value":{"entity-type":"item","numeric-id":1064406,"id":"Q1064406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365353$F99410D3-2DA4-4F57-A546-FBA2688C634C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eebbee735ac5442d01dd0e897e2d2d2ff674c264","datavalue":{"value":{"entity-type":"item","numeric-id":677849,"id":"Q677849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365353$6F52524D-92BA-45BB-BFF9-47B3F8EF1B6A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"78c924ab2a87a282c80efa85079613d2f7e99dd9","datavalue":{"value":{"entity-type":"item","numeric-id":163162,"id":"Q163162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1365353$7FE52538-3661-4A3F-97DB-F0AD7C411587","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"220ed6af7cc248b16bb9450242d48b13d5c7c05d","datavalue":{"value":{"time":"+1998-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1365353$0668A1E0-0A88-48BC-BECD-C7AC0FD39858","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"532d7b6896c92684a13a83988ba8cde63afc34d5","datavalue":{"value":"If \\(G'\\) is the derived subgroup of the group \\(G\\), then every automorphism of \\(G\\) induces an automorphism on \\(G/G'\\) and the kernel of the relative homomorphism of \\(\\Aut G\\) into \\(\\Aut(G/G')\\) consists of all the automorphisms of \\(G\\), which induce the identity on \\(G/G'\\) and it is denoted by \\(IA(G)\\). In the case where \\(G=F_n\\) is the free group of rank \\(n\\), W. Magnus has shown that \\(IA(F_n)\\) is finitely generated and has exhibited a finite set of generators. But the question remained open whether the group \\(IA(F_n)\\) for \\(n\\geq 3\\) is finitely presented. (For \\(n=2\\) it was proved by Nielsen that \\(IA(F_2)\\) is the group of inner automorphisms and therefore free.) In this paper the authors prove that the group \\(IA(F_3)\\) is not finitely presentable. In fact they prove something more general, i.e. that certain subgroups of \\(IA(G)\\), for \\(G=F_3/N\\), where \\(N\\) is a characteristic subgroup of \\(F_3\\), contained in the second derived subgroup \\(F_3''\\) of \\(F_3\\), is not finitely presentable. Their second main result is the proof that \\(\\text{GL}_2(\\mathbb{Z}[t,t^{-1}])\\) is not finitely presentable. Here also they prove something more. Namely, if \\(R\\) is a commutative ring and \\(G\\) an indicable group, then any subgroup \\(H\\) of \\(\\text{GL}_2(RG)\\) which contains \\(E_2(RG)\\), is not finitely presentable. Here \\(RG\\) is the group ring of \\(G\\) over \\(R\\) and \\(E_2(RG)\\) is the elementary group of degree 2 over \\(RG\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365353$B2A0A8B5-E71C-4F7F-8457-042C2324F0C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"02e66589753ec184c7d05c645efc14f6302392b5","datavalue":{"value":"20F28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365353$29DBF680-B199-47E4-AF66-C1E646021E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365353$BA0CB1C3-A857-47BA-B288-76A675121339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37f17b3e9849dd0379a45db8d24729a21e1aaa17","datavalue":{"value":"20H25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365353$DAC93D6E-A73F-43E7-BBDE-664939BD635F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365353$4119C852-8E99-46E1-8422-39DCB3A071C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a2a261b89e95bc5c6794f1bb9bf5f2de6849287","datavalue":{"value":"1054511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365353$16E974E7-5E65-44C5-8540-D86947E9E383","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94b9d41eda1ef8b7ba758cdf77803244908983f4","datavalue":{"value":"IA-automorphisms of free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365353$1F3C5C8D-C472-49A0-95C0-7C6E21ECAFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e1d75ab41d1d88e110f1a30f1653c5d2e9f0311","datavalue":{"value":"not finitely presentable groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365353$A32D5B05-AB2B-47B0-8A5B-11CF3DE93C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a6a757515ba68f0013a1ef46b415bd0fceebcee","datavalue":{"value":"derived subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365353$24DEF167-866C-4186-8659-3A13F359DC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b44318a7cd6ccf97f20e5798e063d4542286787","datavalue":{"value":"groups of inner automorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365353$0D4AF493-9D7A-41B4-AC50-1320F35BFCCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c18423ec8acbc15777df6ea95a0bf43989836e","datavalue":{"value":"indicable groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365353$CFA5A431-B3BE-42D1-B9B1-E6EFAA3D451B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c1428a27ec5a387810adbd59a003075fca44010","datavalue":{"value":"group rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365353$D2D5E10E-895B-483C-8958-80DA7F96CD9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ff79bc92c7dccb73dc0b775bdde05636407383f","datavalue":{"value":"elementary groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1365353$78D00A9B-BBD5-4910-80CD-6753B38C617E","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":"Q1365353$F178AA8F-32A7-4419-86F5-D8BFAF4E9129","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff174a1c8893a8115a4ea1c37dba752805d81291","datavalue":{"value":"https://doi.org/10.1007/s002220050174","type":"string"},"datatype":"url"},"type":"statement","id":"Q1365353$F49E0D89-0525-43F5-8CD9-351914F418D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f58be1aec6b9ae6a59f51603c5bd7822d73035f","datavalue":{"value":"W2054230662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365353$CEB399AB-04FC-45B3-8D3D-7942DD02B15B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42667d23c3f73191ea5bbd6abf303a7bca447e58","datavalue":{"value":"10.1007/S002220050174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1365353$1B4B8B50-C2CF-4F04-93C1-B78CEA261B52","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52a6ab18aecfedccb1bf3b33688f4fcb4c62dabb","datavalue":{"value":{"entity-type":"item","numeric-id":3837246,"id":"Q3837246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75e1fe22e2621cfa04ca906a37eda0588e2aa6d6","datavalue":{"value":{"amount":"+0.87772894","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1365353$E4A25D79-8680-4E8E-BD2C-EAB86E9278B0","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":"8ef495b1d3b9952a5d7a90e3b76750b09a6ce13e","datavalue":{"value":{"amount":"+0.86729574","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1365353$1DCAD122-FE88-4A30-B8B7-28EBB7D69BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abd5318aa8d30b1643fa64bd746b34c26c1d65c4","datavalue":{"value":{"entity-type":"item","numeric-id":4369290,"id":"Q4369290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8cb32fe7ff42fc064049d1b750ab3cb48044df8","datavalue":{"value":{"amount":"+0.85291916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1365353$EFAE5637-52A8-4253-B1CA-D6537790CCB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb583abbe7bad1007f3954e2056fa923d2c9573d","datavalue":{"value":{"entity-type":"item","numeric-id":903957,"id":"Q903957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de0405a66fdf8507106e5819d7600d4c2a3b10b5","datavalue":{"value":{"amount":"+0.84858274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1365353$34D41AC6-EF36-4494-A15C-B5FA29AEA2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01b63bd0f91f16f5eb6b14be40ba74a8f7c1161c","datavalue":{"value":{"entity-type":"item","numeric-id":1340624,"id":"Q1340624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"728289b67ee9be1655031c35da7199bc54cbf2d5","datavalue":{"value":{"amount":"+0.84758306","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1365353$0F94EBC6-8B57-4511-B9A3-195B3CBDEB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bc03503e0a2c61127d833049c989c4f01c00498","datavalue":{"value":{"entity-type":"item","numeric-id":1916078,"id":"Q1916078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6c4ce36866b9d16bb9815b7ef5ed111a9917ae6","datavalue":{"value":{"amount":"+0.84744644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1365353$E253AC38-2F1F-41A5-B245-FEA85551DB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3871f8ba958bfdcb73fc4e03df99f1f825fed78b","datavalue":{"value":{"entity-type":"item","numeric-id":3499687,"id":"Q3499687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eec01654afce06a42d314185050979a73f3430b","datavalue":{"value":{"amount":"+0.84729993","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1365353$A72465BC-8FA0-4331-9C27-97FF4889B872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c5428fc61ee5cadf0a0bdda7ccf0cb74a55b436","datavalue":{"value":{"entity-type":"item","numeric-id":2240493,"id":"Q2240493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd30bb063875f5cb5b43948c3ae4c1aaf1455ebe","datavalue":{"value":{"amount":"+0.8468914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1365353$2D6AB5AC-88A9-4B97-9A38-40DDBDC6420E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1f51542198155ee444c1463f43634669d858b0b","datavalue":{"value":{"entity-type":"item","numeric-id":2659114,"id":"Q2659114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aafe5bbe3f52f14478999c238ec58cc06cf3b677","datavalue":{"value":{"amount":"+0.8463917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1365353$0C61C371-791F-43E5-8C3D-996CB3D78CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f29843c540341da8dee46084ceb425af07230f0","datavalue":{"value":{"entity-type":"item","numeric-id":1163090,"id":"Q1163090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4af4c2123af4fe6a6c3ce24d0d72b05ac3c1ec9","datavalue":{"value":{"amount":"+0.845873","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1365353$BB3B8EC5-68D6-4E04-BF6E-5DD1040377FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1365353","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1365353"}}}}}