{"entities":{"Q2390492":{"pageid":2401235,"ns":120,"title":"Item:Q2390492","lastrevid":74000757,"modified":"2026-04-14T18:00:40Z","type":"item","id":"Q2390492","labels":{"en":{"language":"en","value":"On the index of congruence subgroups of \\(\\Aut(F_n)\\)."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5585259"}},"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":"Q2390492$2E825102-EBEE-4B4E-A720-B80BADD3530A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"488247b1660e3b6b78addf74b94d432af07da54a","datavalue":{"value":{"text":"On the index of congruence subgroups of \\(\\Aut(F_n)\\).","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2390492$9615BAF2-42FF-48DD-91EA-43C216D241CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a456de38c7b7922fad12a04e7f495b88509bb83","datavalue":{"value":"1178.20036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390492$36893B37-BF00-4E79-8788-476FA281AA83","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0f14879843619562b32ece9238c2eb5d5ec7261","datavalue":{"value":{"entity-type":"item","numeric-id":833315,"id":"Q833315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390492$90F1AA60-1B27-4933-93D5-CD7A30028568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb210e32cca9d38bb2cff9e706c67faa27e660b5","datavalue":{"value":{"entity-type":"item","numeric-id":453167,"id":"Q453167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390492$B99F6BED-7D3A-4C2A-AFF9-F083F42766CB","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":"Q2390492$3E04CDB6-46FE-4535-A26E-9718F7C6012B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa5175cfbf455de09775e77fbc8884c835bf57d4","datavalue":{"value":{"time":"+2009-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2390492$7F7739DB-F70E-4F91-9CDD-DC1A9AF2892D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"292da8dedb76bd2363ccc94c69766d5322a22b43","datavalue":{"value":"https://arxiv.org/abs/0804.2578","type":"string"},"datatype":"url"},"type":"statement","id":"Q2390492$6868C074-5C35-4410-B133-15D8AE31AC67","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a211e96a8be81c359dfd714eaef8e7b43de0b225","datavalue":{"value":"Let \\(\\pi\\colon F_n\\to G\\) be an epimorphism of the free group \\(F_n\\) of finite rank \\(n\\) onto a finite group \\(G\\) and \\(R\\) its kernel. Let \\(\\Gamma(R)\\) be the subgroup of \\(\\Aut(F_n)\\) which consists of the automorphisms which map \\(R\\) onto itself and therefore induce automorphisms on the factor \\(F_n/R\\simeq G\\). The subgroup \\(\\Gamma(G,\\pi)=\\{\\varphi\\in\\Gamma(R)\\mid\\varphi\\) induces the identity on \\(F_n/R\\}=\\{\\varphi\\in\\Aut(F_n)\\mid\\pi\\varphi=\\pi\\}\\) is called the standard congruence subgroup of \\(\\Aut(F_n)\\) associated to \\(G\\) and \\(\\pi\\), while a subgroup of \\(\\Aut(F_n)\\) containing \\(\\Gamma(G,\\pi)\\) is called a congruence subgroup of \\(\\Aut(F_n)\\).   Let \\(\\Aut^+(F_n)\\) denote the special automorphism group of \\(F_n\\), i.e., the subgroup consisting of the automorphisms which are mapped into the subgroup \\(\\text{SL}_n(\\mathbb{Z})\\) by the natural epimorphism \\(\\rho\\colon\\Aut(F_n)\\to\\Aut(F_n/F_n')\\simeq\\text{GL}_n(\\mathbb{Z})\\). Let \\(\\Gamma^+(G,\\pi)=\\Gamma(G,\\pi)\\cap\\Aut^+(F_n)\\). These subgroups are of finite index in \\(\\Aut^+(F_n)\\).   In this paper the authors study the indices of \\(\\Gamma^+(G,\\pi)\\) in \\(\\Aut^+(F_n)\\) in the case \\(n=2\\) and \\(G\\) Abelian or the dihedral group \\(D_n\\).   Their main results are: Let \\(G\\) be a finite Abelian group and \\(\\pi\\colon F_2\\to G\\) an arbitrary epimorphism. Writing \\(G\\simeq\\mathbb{Z}/m\\mathbb{Z}\\times\\mathbb{Z}/n\\mathbb{Z}\\) with \\(n\\mid m\\) one has  \\[ [\\Aut^+F_2:\\Gamma^+(G,\\pi)]=nm^2\\prod_{p\\mid m}(1-\\tfrac {1}{p^2}), \\]  where the product runs over all primes \\(p\\) dividing \\(m\\).   Let \\(\\pi\\colon F_2\\to D_n\\) be an arbitrary epimorphism of \\(F_2\\) onto the dihedral group \\(D_n\\). Then \\([\\Aut^+F_2:\\Gamma^+(D_n,\\pi)]=6n\\). Moreover \\(\\Gamma^+(D_n,\\pi)\\) is generated by four elements.   And the interesting corollary: Finite index subgroups of \\(\\Aut(F_2)\\) cannot be written as free products.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390492$67AF1DA0-FD7F-4ECF-8FAA-2E5A63A6591B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"02e66589753ec184c7d05c645efc14f6302392b5","datavalue":{"value":"20F28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390492$32278C0D-34C9-4495-8DAE-E858B5A9C029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390492$C7C5E13A-EF64-451D-83FD-9E84A5CE2598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea37469d91f3037e8b6809fc66f770f1b27a461d","datavalue":{"value":"20E07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390492$B2FD110A-F91C-44FC-ADA2-63F80F1D5143","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b899c1fa6b095322fba416c939ca74e883549404","datavalue":{"value":"5585259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390492$7679E2A1-C1EB-47D6-83B2-A18CD8D93530","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8db3395418ef97bd5a003e7dc8a17940fb14ddd","datavalue":{"value":"automorphism groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390492$6A7223A1-963A-4C04-BDD2-5839D54D66AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ffb9b557bffdfa5cd70d593a7ec3f8594345072","datavalue":{"value":"free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390492$CBA7CE10-7CDD-4225-9823-FD4938A27774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"887020b8185a9d5888e92356c129fa0dbe9373c2","datavalue":{"value":"congruence subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390492$817D08C6-ACFE-4034-BBCE-C4CB1C892BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"671cefeb9fc4befde610744ac281352245598c30","datavalue":{"value":"subgroups finite index","type":"string"},"datatype":"string"},"type":"statement","id":"Q2390492$7E0AA82F-2C68-46FA-BD4E-115BF209619F","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":"Q2390492$F79D8713-C9D6-4FFF-9A3F-0B1E370509D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"68877f501714dd97fd4886a147d50c7d7a178387","datavalue":{"value":"W2051409270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390492$A897F53C-8460-4CBC-8087-3F1531E824A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"addc78c9b6b1b48da9d32ad1ee9a2fb63475b08c","datavalue":{"value":{"entity-type":"item","numeric-id":5939818,"id":"Q5939818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390492$F298418E-7A98-41F2-94D0-9C69DD0F4456","rank":"normal"},{"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":"Q2390492$8BAFFF01-580F-45FF-A646-A5CD0B866A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fb0fca7de070b5f9506990e8cb70eedfb44efd1","datavalue":{"value":{"entity-type":"item","numeric-id":3159364,"id":"Q3159364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390492$AFB5A731-E934-4CEF-88F1-1715B6440A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5237561e5eb43e6878d3b4ca55d10c16c52771cf","datavalue":{"value":{"entity-type":"item","numeric-id":1969000,"id":"Q1969000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390492$49D7FDD0-A36A-44D5-B6AB-D3F3810D43C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6c30efbc7c6ebeda6e67ca234f6f2687952eb1","datavalue":{"value":{"entity-type":"item","numeric-id":4087417,"id":"Q4087417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390492$96712798-A76E-4348-AD2F-53D8C0520497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"823e2328202f2501bb4c0a3bf0d9b4af246ee89b","datavalue":{"value":{"entity-type":"item","numeric-id":5513066,"id":"Q5513066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390492$9054B003-E055-4DD7-BE98-BD0B73CBF42D","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":"Q2390492$7A5F1078-B4FC-47CC-A58C-1688EEF7F107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"781be988cddb078191de6d4b5b39f9a8f2612194","datavalue":{"value":{"entity-type":"item","numeric-id":5803289,"id":"Q5803289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390492$37421B9D-550B-4A3C-BBAD-EB658B74D221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ff4a65649c605d7f817dcb7faef25c33221e288","datavalue":{"value":{"entity-type":"item","numeric-id":3961021,"id":"Q3961021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2390492$2741D646-7AB2-4973-A52E-620B5BD9730B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"176eb1f0e8bf5e2b35480cab8257e681ab60b8a7","datavalue":{"value":"10.1016/J.JALGEBRA.2009.01.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2390492$0A168FAF-C572-4906-AA83-CAE4F229ECFB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c23fc9383e2c70012bd87f77f7607a0b30d23068","datavalue":{"value":{"entity-type":"item","numeric-id":453168,"id":"Q453168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"029c5e0bbdabdf23adcf973dda3ce61c36243f70","datavalue":{"value":{"amount":"+0.9167264103889464","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":"Q2390492$95AD8F2E-A7AF-48ED-8522-D9D4352DD17B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2172c4b94cd9a8be4317b57ae36b6110f42fe25","datavalue":{"value":{"entity-type":"item","numeric-id":1005074,"id":"Q1005074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"431b17f04c59c700e29f2b3e3145bd7650b14348","datavalue":{"value":{"amount":"+0.8898155689239502","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":"Q2390492$C4230A22-D628-4519-9946-2DF2D246D997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfd12287e3cf8b33ac8ddd5f57c132cafc2560bf","datavalue":{"value":{"entity-type":"item","numeric-id":1796321,"id":"Q1796321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c7c12e2a6830f1079e0a61db6aa3ece1b7f568e","datavalue":{"value":{"amount":"+0.8394065499305725","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":"Q2390492$0C2E30EC-F943-4B5E-A922-8F8236081DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b89f0616119b39a5224699d9851ab6faf1c13621","datavalue":{"value":{"entity-type":"item","numeric-id":1702696,"id":"Q1702696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ffcb796083983e137ec48975fcdb2669b245681","datavalue":{"value":{"amount":"+0.809343159198761","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":"Q2390492$B06B5AD5-3383-41EF-A966-41FB4BA96654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4344ab251840b76d2028cf6743f80521e1416fd5","datavalue":{"value":{"entity-type":"item","numeric-id":664236,"id":"Q664236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"529e3cfbf523291470b33442b25634cedb8a5964","datavalue":{"value":{"amount":"+0.7990440130233765","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":"Q2390492$D04FF738-6233-411E-A8A8-29472D6D9208","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the index of congruence subgroups of \\(\\Aut(F n)\\).","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_index_of_congruence_subgroups_of_%5C(%5CAut(F_n)%5C)."}}}}}