{"entities":{"Q1005074":{"pageid":1006922,"ns":120,"title":"Item:Q1005074","lastrevid":57260268,"modified":"2026-03-27T16:43:33Z","type":"item","id":"Q1005074","labels":{"en":{"language":"en","value":"Linear representations of the automorphism group of a free group."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5528909"}},"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":"Q1005074$0AAD2507-53C4-4B3D-9C58-B0B8AF33F971","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb9131a87301f0936c033e51a8a44b873868f0e0","datavalue":{"value":{"text":"Linear representations of the automorphism group of a free group.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1005074$4BDD3B5B-31B0-4FBE-B337-365B990EA92A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e092156473f75524d751ab505d3cba302eb1914","datavalue":{"value":"1175.20028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005074$8C691FA4-9CA7-4124-8F90-6FE2978B738F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87ed41a9e4cc70247269c42e4e3e46c27cbb4acf","datavalue":{"value":{"entity-type":"item","numeric-id":186422,"id":"Q186422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005074$4B808C48-D169-428C-8F67-8815527CC7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec4f6f9f40232082b04b8c62fef8f822d62e8ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1257551,"id":"Q1257551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005074$828E58E7-795F-4F09-B22F-5D7D265829AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9f7ed99dde37a1ed2b712f0eb37bcc96b8743b93","datavalue":{"value":{"entity-type":"item","numeric-id":172246,"id":"Q172246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005074$8A6AAF2E-E24A-41C6-AC28-8B0B14C8CE5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"778c8ce0e6f9cc68160e03b0b876b91e6f912a0d","datavalue":{"value":{"time":"+2009-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1005074$A15C4C8C-A876-4607-8AEC-71CB42FB5046","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e28ca2d9384e57dffd9f8ecee0a7b25b1650705b","datavalue":{"value":"https://arxiv.org/abs/math/0606182","type":"string"},"datatype":"url"},"type":"statement","id":"Q1005074$38B7BC4F-78E4-4D24-B342-A311D8A6D23B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3a28f31d0802f526b9d68a517425af233fd79c51","datavalue":{"value":"Let \\(F_n\\) be the free group on \\(n\\geq 2\\) elements and \\(\\Aut(F_n)\\) its group of automorphisms. Let \\(G\\) be a finite group and \\(\\pi\\colon F_n\\to G\\) a surjective homomorphism with \\(\\text{Ker\\,}\\pi=R\\). Let \\(\\Gamma(R)=\\{\\varphi\\in\\Aut(F_n)\\mid\\varphi(R)=R\\}\\) and \\(\\Gamma(G,\\pi)=\\{\\varphi\\in\\Gamma(R)\\mid\\varphi\\) induces the identity on \\(F_n/R\\}\\). These are subgroups of finite index in \\(\\Aut(F_n)\\).   The presentation \\(\\pi\\colon F_n\\to G\\) is called redundant if there is a basis of \\(F_n\\) with at least one member of this basis contained in \\(\\text{Ker\\,}\\pi\\).   If \\(\\overline R=R/R'\\), the structure of \\(\\overline R\\) as a \\(G\\)-module is described by Gasch\u00fctz's theory, more precisely it is proved that \\(\\mathbb{Q}\\otimes_\\mathbb{Z}\\overline R\\cong\\mathbb{Q}\\oplus\\mathbb{Q}[G]^{n-1}\\) [see \\textit{W. Gasch\u00fctz}, Math. Z. 60, 274-286 (1954; Zbl 0056.02401) or \\textit{K. Gruenberg}, Relation modules of finite groups. Conf. Board Math. Sci. Reg. Conf. Ser. Math. 25, Providence: AMS (1976; Zbl 0327.20019)]. If \\(t\\) is the \\(\\mathbb{Z}\\)-rank of \\(\\overline R\\) as a finitely generated free Abelian group, then the group \\(\\mathcal G_{G,\\pi}=\\Aut_G(\\mathbb{C}\\otimes_\\mathbb{Z}\\overline R)\\) is a \\(\\mathbb{Q}\\)-defined algebraic subgroup of \\(\\text{GL}(t,\\mathbb{C})\\). Let \\(\\mathcal G_{G,\\pi}^{1}\\leq\\text{SL}(t,\\mathbb{C})\\) be the kernel of all \\(\\mathbb{Q}\\)-defined homomorphisms from the complex algebraic group \\(\\mathbb{C}\\otimes\\mathcal G_{G,\\pi}\\) to the multiplicative group. Interesting are the corresponding subgroups \\(\\mathcal G_{G,\\pi}(\\mathbb{Z})=\\{\\varphi\\in\\mathcal G_{G,\\pi}\\mid\\varphi(\\overline R)=\\overline R\\}\\) and \\(\\mathcal G_{G,\\pi}^1(\\mathbb{Z})=\\{\\varphi\\in\\mathcal G_{G,\\pi}^1\\mid\\varphi(\\overline R)=\\overline R\\}\\), which play an important role in the concept.   The definitions of the groups \\(\\Gamma(G,\\pi)\\) and \\(\\mathcal G_{G,\\pi}(\\mathbb{Z})\\) lead to a homomorphism \\(\\varrho_{G,\\pi}\\colon\\Gamma(G,\\pi)\\to\\mathcal G_{G,\\pi}(\\mathbb{Z})\\) in a ``natural'' way (see section 2 of the paper). This representation is not, in general, onto (there are given examples in the paper).   Theorem: Let \\(n\\) be a natural number with \\(n\\geq 4\\) and \\(\\pi\\colon F_n\\to G\\) be a redundant presentation of the finite group \\(G\\). Then \\(\\varrho_{G,\\pi}(\\Gamma(G,\\pi))\\cap\\mathcal G_{G,\\pi}^1\\) is of finite index in the arithmetic group \\(\\mathcal G_{G,\\pi}^1(\\mathbb{Z})\\).   Interesting are particularly results where the finite group \\(G\\) is metabelian, where it is proved that the image of \\(\\Gamma(G,\\pi)\\) is commensurable with \\(\\mathcal G_{G,\\pi}^1(\\mathbb{Z})\\).   An interesting Corollary is: Let \\(n\\geq 2\\), \\(k\\geq 1\\) be natural numbers. There is a subgroup \\(\\Gamma\\leq\\Aut(F_n)\\) of finite index and a representation \\(\\varrho\\colon\\Gamma\\to\\prod_{i=1}^k\\text{SL}((n-1)i,\\mathbb{Z})\\) such that \\(\\varrho(\\Gamma)\\) is of finite index in \\(\\prod_{i=1}^k\\text{SL}((n-1)i,\\mathbb{Z})\\).   This Corollary for \\(n=3\\) and \\(k=1\\) proves that \\(\\Aut(F_3)\\) is large, in the sense that there is a finite index subgroup of \\(\\Aut(F_3)\\) with quotient a free non-Abelian group. Similar results are proved for \\(\\text{IA}(F_3)\\) and \\(\\text{Out}(F_3)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005074$25DDC676-C694-4C46-9A96-08C8F7358008","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"831f88e9d90875bc5ed734a43dde265a8db02e5e","datavalue":{"value":{"entity-type":"item","numeric-id":590422,"id":"Q590422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005074$678CC8FD-00BB-4D07-BAA6-49777C73BD8F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"02e66589753ec184c7d05c645efc14f6302392b5","datavalue":{"value":"20F28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005074$B28F8356-3453-4BE2-BBAB-A07288EED62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005074$769D2EE1-EA80-4A6F-9D34-7A61DBE30DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f4783aefc0465a962c2651b89c22d3aa35c14ce","datavalue":{"value":"20E36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005074$2DBF7089-39CE-4C90-8168-BCA21EBD2970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea37469d91f3037e8b6809fc66f770f1b27a461d","datavalue":{"value":"20E07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005074$45222F18-BE37-4017-9273-5CE13616D076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb5d1e694a0c88d435d98289c9ff9b7eb400d6bb","datavalue":{"value":"20C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005074$3231CE4C-399E-44A1-A25D-BD2EE15420CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b90db52ca12088dc08c74afaecb99f82acc3eec","datavalue":{"value":"20F34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005074$2AB7AC78-CB54-4F90-8459-09CDE2F93041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5476b296ff705bf744a6dd2bffe7489190353eb9","datavalue":{"value":"20G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005074$42B63D61-C41A-4323-BC24-A457BA5DA975","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c49201f38506557ddc64a8475293cc47d61fb80b","datavalue":{"value":"5528909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005074$B7C4F4B2-60BA-4073-825C-C60364F8A497","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fcbf4d98dab9ccf923efa1f245e28e4e49dc234","datavalue":{"value":"automorphism groups of free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005074$56A6FB03-F777-479B-B6B7-6FD76B4B2DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445d54ad38b12301a29028bc76a5fd59b2a238b6","datavalue":{"value":"linear representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005074$82B0A954-CC92-4860-BD87-6B43DE3D02CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50b0a13766b81f28c40858aa054fa4fa81a4413","datavalue":{"value":"relation modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005074$1A4AC4C5-5058-4CE0-AD99-BC839B727165","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":"Q1005074$23BCE5DD-2736-4BAD-BE89-1D9F6600EF47","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c65d05dad41acd234cf80bc76b90aa088ed6085","datavalue":{"value":"W2039775250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005074$CF41D8A6-1B32-439A-A83C-D21D16123AB8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1765d65dc16e53171e6c5bcea1291006126294e5","datavalue":{"value":"10.1007/S00039-009-0702-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005074$12D17353-D529-422E-A492-64778C52E8E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69dee78401daf11d60b2fd245834557e14e7553d","datavalue":{"value":{"entity-type":"item","numeric-id":4230705,"id":"Q4230705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56d4f0e50ec86e90499a000d5741ee727f1a039e","datavalue":{"value":{"amount":"+0.8841761350631714","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":"Q1005074$B2FCBD2A-BBB9-41E1-83F2-F8EEC89B2F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14b2e94e4d495a338b6132fc29a457b598375bb7","datavalue":{"value":{"entity-type":"item","numeric-id":1376334,"id":"Q1376334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3ae8a76b83a53944c0165e8a68abccd9bd0bac0","datavalue":{"value":{"amount":"+0.8759709000587463","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":"Q1005074$E8132417-1BB7-4327-BB8C-FE915213327C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"222b1aea21992dbd8cdfd31e261db1eb2601051c","datavalue":{"value":{"entity-type":"item","numeric-id":3691929,"id":"Q3691929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd80c440288228fe397bfa66287286341dda7057","datavalue":{"value":{"amount":"+0.8744795322418213","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":"Q1005074$1A799088-C533-4568-9E46-1A77C8116B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce1308ca97a7937fc98177592550bef5ed6ea79f","datavalue":{"value":{"entity-type":"item","numeric-id":4699643,"id":"Q4699643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89fe776450fbbd4c88073e117c102967cb62bea6","datavalue":{"value":{"amount":"+0.8649011254310608","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":"Q1005074$5485D5C6-3B36-4768-864B-0025A2DB9162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4621babb9eed16fe185a58b1ff00ad966847d30b","datavalue":{"value":{"entity-type":"item","numeric-id":1913937,"id":"Q1913937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fa9c0154586ccd2908597ba50544c6f9921b67e","datavalue":{"value":{"amount":"+0.8646040558815002","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":"Q1005074$4C03C73F-E411-4731-BC13-74F699833D8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1005074","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1005074"}}}}}