{"entities":{"Q664236":{"pageid":666085,"ns":120,"title":"Item:Q664236","lastrevid":63424221,"modified":"2026-04-11T12:59:59Z","type":"item","id":"Q664236","labels":{"en":{"language":"en","value":"The congruence subgroup property for \\(\\Aut F_2\\): a group-theoretic proof of Asada's theorem."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6010062"}},"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":"Q664236$26501862-5212-4232-880E-1CBBA7882198","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66fd2895f76a55fc32a684b22c204ce91cf5f0e9","datavalue":{"value":{"text":"The congruence subgroup property for \\(\\Aut F_2\\): a group-theoretic proof of Asada's theorem.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q664236$4FF7DA43-6A54-4397-9DFE-3149FBB9C1F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47013c89f76faf338a844834a4b7ded1a6862f87","datavalue":{"value":"1251.20035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q664236$3279F199-D498-4C94-99C3-67373767E606","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"958f8e8d4741855032d761833500a706719e035d","datavalue":{"value":"10.4171/GGD/130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q664236$D75D89BC-08E0-4B40-B758-25A2CAB98F5A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc4faf8e0bc5e91cb1bc74d4bc8f5e886cd98aae","datavalue":{"value":{"entity-type":"item","numeric-id":314107,"id":"Q314107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664236$DD208061-8DBB-4B1A-ABCD-B6F64CA94AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0784c8dee928e244c015a86d12bbc363eb337ff","datavalue":{"value":{"entity-type":"item","numeric-id":664235,"id":"Q664235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664236$603B41FF-F6AD-4FC4-B8FE-F386DA898A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08dfd68cb704f119dc936d3783df68e0f46cba9b","datavalue":{"value":{"entity-type":"item","numeric-id":206329,"id":"Q206329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664236$3F645111-F4FA-49C3-A200-29627D9F7268","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"12e3e9652f934c7e19471889c1a9038496516295","datavalue":{"value":{"entity-type":"item","numeric-id":260093,"id":"Q260093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664236$96C9CCEA-2CE9-4648-8449-BD7D8905AB1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8860558251c4932820cefc16288b8cc663552088","datavalue":{"value":{"time":"+2012-02-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q664236$4595F6B7-65B5-434E-A70E-E8A3BE4A6B23","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6db7cc0ae2f0caba04ec6957bd1bd5b50c9b65cf","datavalue":{"value":"https://arxiv.org/abs/0909.0304","type":"string"},"datatype":"url"},"type":"statement","id":"Q664236$26E8CCF7-3B64-4D09-87F0-CFD2BBDA0A80","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7b88984532b5356e6ec212d91e0cca42b000232b","datavalue":{"value":"Let \\(G\\) be a finitely generated group and \\(\\Gamma=\\Aut(G)\\) its automorphism group. For a normal subgroup \\(K\\) of \\(G\\) of finite index let \\(\\Gamma[K]=\\{\\sigma\\in\\Gamma\\mid\\sigma(K)=K\\) and \\(\\sigma\\) acts trivially on \\(G/K \\}\\). \\(\\Gamma[K]\\) is a finite index subgroup of \\(\\Gamma\\). The question arising is: For every finite index subgroup of \\(\\Gamma\\), say \\(H\\), is there a normal subgroup \\(K\\) of \\(G\\) of finite index such that \\(H\\geq\\Gamma[K]\\)?   This is a natural generalization of the classical congruence subgroup problem for \\(G=\\mathbb Z^n\\), \\(\\Gamma=\\text{GL}_n(\\mathbb Z)\\), \\(K=k\\mathbb Z^n\\) and \\(\\Gamma[K]=\\text{GL}_n(\\mathbb Z,k)\\), the congruence subgroup modulo \\(k\\).   Let \\(\\tau_{pf}\\) be the profinite topology on \\(\\Gamma\\) and \\(\\tau_c\\) the topology on \\(\\Gamma\\) which admits the family of subgroups \\(\\Gamma[K]\\) for all finite index subgroups \\(K\\) of \\(G\\) as a basis of neighborhoods of the identity. A reformulation of the question above amounts to the question if these topologies are actually identical. Which turns in the equivalent question if the natural map \\(\\widehat{\\Aut(G)}\\to\\Aut(\\widehat G)\\) is injective. (Here, for a group \\(M\\), \\(\\widehat M\\) denotes the profinite completion of \\(M\\).)   In [J. Pure Appl. Algebra 159, No. 2-3, 123-147 (2001; Zbl 1045.14013)], \\textit{M. Asada}, using techniques from anabelian geometry, gave an affirmative answer to the above question in the case of \\(\\Gamma=\\Aut(F_2)\\), the automorphism group of the free group of rank 2.   In the present paper the authors give a short purely group-theoretic proof of Asada's result.   A first reduction is obtained (Lemma 3.1 in the paper). If the map \\(\\widehat{\\text{Out}(G)}\\to\\text{Out}(\\widehat G)\\) is injective, then the map \\(\\widehat{\\Aut(G)}\\to\\Aut(\\widehat G)\\) is injective.   Let \\(\\Phi\\) be the free group on the generators \\(a\\) and \\(b\\) and \\(F_2\\) the free group on the generators \\(x\\) and \\(y\\). Consider the automorphisms of \\(F_2\\) defined by \\(\\alpha\\): \\((x\\to x;\\;y\\to yx^2)\\), \\(\\beta\\): \\((x\\to xy^2;\\;y\\to y)\\). Let \\(\\Phi\\to\\Aut(F_2)\\) be the homomorphism defined by \\(a\\to\\alpha\\) and \\(b\\to\\beta\\). This homomorphism can be extended to a continuous homomorphism \\(\\nu\\colon\\widehat\\Phi\\to\\Aut(\\widehat{F_2})\\).   The authors are focused to prove that \\(\\nu\\) is injective (Paragraph 4) and then they derive that the map \\(\\widehat{\\Aut(F_2)}\\to\\Aut(\\widehat{F_2})\\) is injective.   As it is pointed out, although the idea of method could potentially be applied to other automorphism groups, the congruence subgroup problem for the group \\(\\Aut(F_n)\\), \\(n\\geq 3\\), itself remains open.   The paper concludes (paragraph 5) with another approach of the result above, where are used only finite quotients of free groups rather than free profinite groups.","type":"string"},"datatype":"string"},"type":"statement","id":"Q664236$C1F17028-5F90-48D1-9575-07E195B6630D","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":"Q664236$550AD942-05C1-4546-8F58-F137AEB0CCE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"02e66589753ec184c7d05c645efc14f6302392b5","datavalue":{"value":"20F28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q664236$373C717C-6CBB-4D6B-83B5-7240F0EFCC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ea0f68a8d4078563f0d80045bd0f8160b918a5f","datavalue":{"value":"20H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q664236$FEA935BE-C6AA-445A-B0A2-DEDAA2C98899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e478659c80ac196196a2283c8b16b79c8d8cd8d5","datavalue":{"value":"20E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q664236$CD61BB65-227D-428A-B993-30FC4D3ADE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea37469d91f3037e8b6809fc66f770f1b27a461d","datavalue":{"value":"20E07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q664236$22BC669D-96D2-42C2-ABDD-DCB670F27C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f4783aefc0465a962c2651b89c22d3aa35c14ce","datavalue":{"value":"20E36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q664236$350D3DB3-6029-4FE1-9A72-A4376F6B271F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ef7763c663249d52fb24c69b52f35da435fa9a3","datavalue":{"value":"20E18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q664236$60918EDE-9D78-4DE7-A73E-555E9A4377F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9191be1a3f2f50df8d1efadcf44b5459104bb527","datavalue":{"value":"6010062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q664236$A70B8069-C8A2-4820-B711-D268F4911C33","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8db3395418ef97bd5a003e7dc8a17940fb14ddd","datavalue":{"value":"automorphism groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q664236$67719552-9789-43AC-9731-D6F853CB65E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ffb9b557bffdfa5cd70d593a7ec3f8594345072","datavalue":{"value":"free groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q664236$1D6FADED-DFD3-4404-AF7E-3988EDBE96C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"590e52022086e0a148475771078d715eb2ecef11","datavalue":{"value":"congruence subgroup property","type":"string"},"datatype":"string"},"type":"statement","id":"Q664236$B710D4F4-091A-43E5-88B1-9225FC6EF181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"478f5436c841f182abd749d3648a229ca752fd86","datavalue":{"value":"subgroups of finite index","type":"string"},"datatype":"string"},"type":"statement","id":"Q664236$CA58C8C1-4468-496F-AEDD-CED2FABC2769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b43d25a44c4145eba5ad76c0dbcc5fd0871a3666","datavalue":{"value":"profinite completions","type":"string"},"datatype":"string"},"type":"statement","id":"Q664236$A887D914-B521-4E54-8B99-2B03FCC69077","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":"Q664236$7F35D3F5-E192-45C5-841F-E6420DD41A64","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"beeb105f99e40d529bbfa445829f41ad2caa3250","datavalue":{"value":{"entity-type":"item","numeric-id":1224651,"id":"Q1224651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664236$0C66643D-58E1-4105-848B-C4646732EE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"678cf209be826d3d8d577fdeb4f9c4108a8315b8","datavalue":{"value":{"entity-type":"item","numeric-id":2390492,"id":"Q2390492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664236$DE393168-62FB-4F96-AE90-F14B40218D0F","rank":"normal"},{"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":"Q664236$4A518F75-D052-4D07-84BB-CEBD0574E32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9ffe6e0a0f76d7a2c95158b48762c5cb10ef057","datavalue":{"value":{"entity-type":"item","numeric-id":5509526,"id":"Q5509526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664236$F7F3CE42-FE8C-49AA-8713-42F08768BDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38767eef5cd1df7ee2148111f151805cd63afa39","datavalue":{"value":{"entity-type":"item","numeric-id":2542298,"id":"Q2542298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664236$C5C03D27-0057-485D-9ACD-B57E80BA5F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35fc78bf96ccd8179d21cd1deb62a6db88a97738","datavalue":{"value":{"entity-type":"item","numeric-id":3342741,"id":"Q3342741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664236$F61BBD45-6F83-4801-A7F1-9293A0F6413E","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":"Q664236$BF13571D-B72F-4A1E-8F57-109D8D3B5572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10f785bfd1a2c36dbb80934ec93be4294e3020ae","datavalue":{"value":{"entity-type":"item","numeric-id":1839308,"id":"Q1839308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664236$FC30A0FA-754A-463A-9D79-23D94358F29E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e8fafadb695f49cd860fd65893dd6d573cbe189","datavalue":{"value":{"entity-type":"item","numeric-id":880883,"id":"Q880883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664236$44B20CD6-1D08-4EB8-A008-581DEC6ABFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e85a48854397b6f5335e93c6dcd3c315b5cf05d0","datavalue":{"value":{"entity-type":"item","numeric-id":4490702,"id":"Q4490702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664236$C351FEDD-6103-4424-9BF2-721B07CADF69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27b4f67860f036bf8f684d5970ed4ab516edd109","datavalue":{"value":{"entity-type":"item","numeric-id":4858090,"id":"Q4858090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664236$FEEEED01-BEFE-4934-B91D-A4BA8620C757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20b54df91064798fe9df42090cd49c207edb4dbf","datavalue":{"value":{"entity-type":"item","numeric-id":1335917,"id":"Q1335917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664236$58D0B1FD-1785-4432-9250-93C0B4306C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4fb9f91288ccd963dd0f2b5b8e0584f93ebf09a","datavalue":{"value":{"entity-type":"item","numeric-id":5783322,"id":"Q5783322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664236$FB32DC85-803E-41E7-9B8B-F801FD902B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d646c7ebcec41e467750ecb827006ff7744eae5f","datavalue":{"value":{"entity-type":"item","numeric-id":3341041,"id":"Q3341041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664236$8682FAB1-EA08-4FCC-AF25-795476F656AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8c96027e0853ca11283ad2bdb5fe49c0e9dd0ea","datavalue":{"value":{"entity-type":"item","numeric-id":2535022,"id":"Q2535022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664236$7F50795A-7F62-4147-B447-ACD46CD829AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6719a00804bfa75828a1588a5a1b4f54becce338","datavalue":{"value":{"entity-type":"item","numeric-id":4217279,"id":"Q4217279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q664236$5BDB7518-AE67-429C-BECC-9A893B7258DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c309c12a19737c5a6918eca7994bfde1eb124d1a","datavalue":{"value":"W2084867702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q664236$62FE7EC1-64F7-4D1F-9B0B-96E82A9E00EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e50ae1b426782466c28be267d331237963e5dab","datavalue":{"value":{"entity-type":"item","numeric-id":2630764,"id":"Q2630764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53d401c00502208a12349fa7ee305ce71bcf5697","datavalue":{"value":{"amount":"+0.7810268402099609","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":"Q664236$6EECC9D5-D6B6-4E8E-89CA-E70C0A8CD3E6","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":"a63210b14ad4dae2b779e2dbc01807201042ac47","datavalue":{"value":{"amount":"+0.7799666523933411","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":"Q664236$163B3CCA-C6AE-428E-A2AC-9D19C2D73737","rank":"normal"},{"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":"ad0b6bad3823719f396c0f6f6ce6a858c8c95edb","datavalue":{"value":{"amount":"+0.7767882347106934","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":"Q664236$4DBF7D7F-38C5-46D3-A007-3A2D160BBFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcb174c52a01c7998e5eb1f88c2b9f5851255eca","datavalue":{"value":{"entity-type":"item","numeric-id":2390492,"id":"Q2390492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58bee55ba4441f3151ca5c17d59901116e867bf4","datavalue":{"value":{"amount":"+0.7666303515434265","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":"Q664236$AB0177EF-971E-4EB5-801A-4801CCAC95ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7850b3c07d16ef4165cde41153b03e89399c0b22","datavalue":{"value":{"entity-type":"item","numeric-id":1781934,"id":"Q1781934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b41e375f08908c0944052947c66709ee2fa7b693","datavalue":{"value":{"amount":"+0.754356861114502","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":"Q664236$29C6A6BE-1461-4500-A4FE-9C64D8B8E11F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The congruence subgroup property for \\(\\Aut F 2\\): a group-theoretic proof of Asada's theorem.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_congruence_subgroup_property_for_%5C(%5CAut_F_2%5C):_a_group-theoretic_proof_of_Asada%27s_theorem."}}}}}