{"entities":{"Q5944900":{"pageid":8121702,"ns":120,"title":"Item:Q5944900","lastrevid":47680303,"modified":"2026-01-02T10:13:26Z","type":"item","id":"Q5944900","labels":{"en":{"language":"en","value":"Valuation-like maps and the congruence subgroup property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1655635"}},"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":"Q5944900$03378E04-5171-498E-BDB1-14AF5E647F01","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a016ca30a900901393f98d8c8d4eaf7cf64db32","datavalue":{"value":{"text":"Valuation-like maps and the congruence subgroup property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5944900$5CAD954A-1041-4FFC-9EA2-1672D473BAFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c6d20d8f73027488faf41e89e7c31bbad19b786","datavalue":{"value":"0999.16016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944900$0B1A547B-394F-4E63-9E41-9D04E7A1AB81","rank":"normal"}],"P16":[{"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":"Q5944900$5ECACEE9-AE6F-411E-A16C-249DE1ADD4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f8aa33866d502f6a45c6e3696988835bc6f5f0ae","datavalue":{"value":{"entity-type":"item","numeric-id":206330,"id":"Q206330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5944900$2148DB26-47C3-4DDE-9380-1A9946D5699E","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":"Q5944900$6E2DFB23-6230-4910-8FC7-FA0C141AF862","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0678386c3121cdf68e0eb1f8c81710720679d33","datavalue":{"value":{"time":"+2002-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5944900$7C58165A-47C5-494A-9108-F9D72E91498F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"278e15f1450a4d580626f0d853720f507f97b2b3","datavalue":{"value":"Let \\(D\\) be a finite-dimensional division algebra over its (infinite) centre \\(K\\) and \\(N\\) a subgroup of \\(D^\\times\\) of finite index and containing \\(-1\\). Given a valuation \\(v\\) on \\(D\\) with values in an ordered group \\(\\Gamma\\) and a homomorphism \\(\\varphi\\colon N\\to\\Gamma\\), \\(v\\) is said to be associated with \\(\\varphi\\) if there is a map \\(\\theta\\colon N\\varphi\\to\\Gamma\\) such that \\(v=\\varphi\\theta\\). If \\(\\theta\\) is injective, \\(v\\) is said to extend \\(\\varphi\\). The authors' object is to determine when \\(N\\) is open in the \\(v\\)-adic topology (briefly: \\(v\\)-open). A homomorphism \\(\\varphi\\colon N\\to\\Gamma\\) is called valuation-like if it is non-trivial and such that \\(\\alpha\\in\\Gamma\\) exists, the level of \\(\\varphi\\), satisfying \\(\\varphi(n)<-\\alpha\\) for some \\(n\\in N\\) and \\(\\varphi(n)<-\\alpha\\Rightarrow\\varphi(n+1)<-\\alpha\\). The authors prove that if \\(N\\) admits a valuation-like map \\(\\varphi\\) with an associated valuation \\(v\\), then \\(N\\) is \\(v\\)-open. As a step towards this aim they show that if \\(K\\) is an infinite field and \\(N\\) a subgroup of finite index in \\(K^\\times\\) then \\(N\\) is \\(v\\)-open for some non-trivial valuation \\(v\\) of \\(K\\) if and only if \\(N\\) admits a valuation-like map. Moreover, if \\(N\\) admits a valuation-like map \\(\\varphi\\colon N\\to F\\), then \\(v\\) can be chosen to be associated with \\(\\varphi\\) and to extend \\(\\varphi\\) if either \\(\\alpha=0\\) or \\(\\Gamma\\) has height 1. Further, if \\(K\\) is finitely generated, then there exists a height 1 valuation \\(v\\), unique up to equivalence, associated with \\(\\varphi\\) and \\(N\\) is \\(v\\)-open.   Next the authors prove that for a finite-dimensional central division algebra \\(D\\) over a finitely generated infinite field \\(K\\), if \\(N\\) is a subgroup of finite index in \\(D^\\times\\), containing \\(-1\\), then \\(N\\) is open for a non-trivial valuation \\(v\\) on \\(D\\) if and only if \\(N\\) admits a valuation-like map \\(\\varphi\\). Moreover, if \\(N\\) admits such a map \\(\\varphi\\colon N\\to\\Gamma\\), then \\(v\\) can be chosen to be associated with \\(\\varphi\\) and to have height 1.   Valuation-like maps are related to the notion of the commuting graph of a group. For any finite group \\(H\\) its commuting graph \\(\\Delta(H)\\) has as vertex set \\(H\\setminus\\{1\\}\\) and as edges the pairs of commuting elements. This relation is made clear in the following theorem: Let \\(D\\) be an infinite division algebra (not necessarily finite-dimensional) over a field and let \\(N\\) be a normal subgroup of finite index in \\(D^\\times\\). If the commuting graph of \\(D^\\times/N\\) has diameter at least 4, then \\(N\\) admits a valuation-like map. If, moreover, \\(D\\) is finite-dimensional over a finitely generated field, then \\(N\\) is open in a non-trivial height 1 valuation of \\(D\\).   A further result leads to a proof of the Margulis-Platonov conjecture [see \\textit{V. P. Platonov} and \\textit{A. S. Rapinchuk}, Algebraic groups and number theory, Pure Appl. Math. 139, Academic Press (1993; Zbl 0841.20046)] for groups of the form \\(\\text{SL}_1(D)\\), by showing that no finite quotient of the multiplicative group of a finite-dimensional division algebra is non-Abelian simple. This is the non-existence theorem at diameter \\(\\geq 4\\): Let \\(\\mathcal G\\) be a class of finite groups such that (1) the members of \\(\\mathcal G\\) are not soluble, (2) If \\(G\\in{\\mathcal G}\\) and \\(N\\triangleleft G\\) with \\(G/N\\) soluble, then \\(N\\in{\\mathcal G}\\), (3) If \\(G\\in{\\mathcal G}\\) and \\(N\\) is a soluble normal subgroup of \\(G\\), then \\(G/N\\in{\\mathcal G}\\), (4) For any minimal member of \\(\\mathcal G\\) (i.e. without a proper quotient in \\(\\mathcal G\\)) the diameter is \\(\\geq 4\\). Then no member of \\(\\mathcal G\\) is a quotient of \\(D^\\times\\) for any finite-dimensional division algebra \\(D\\). The authors point out that the techniques of this paper come close to resolving the following conjecture. All finite quotients of the multiplicative group of a finite-dimensional division algebra are soluble.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5944900$C486761B-C334-4B6A-AE83-9B035CB30268","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b437afa129cc47b4d28bf6ac9bf43e943eb6ebc5","datavalue":{"value":{"entity-type":"item","numeric-id":706059,"id":"Q706059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5944900$0F8201C7-9400-494A-9E6B-4A33AAE58C10","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"656bce73d97ec53ad000afd2904966a257ee2148","datavalue":{"value":"16K20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944900$5253481C-074C-48B2-8A2F-944BEBADA5D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7281f47281be7939b8011fb35d11c8347c2b6e5","datavalue":{"value":"16U60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944900$FAAC3FBA-0537-426C-A40E-49DBAAB830D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e5da4673649355244eb9246e0f14ff08374e114","datavalue":{"value":"20G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944900$D9732EFA-6427-4313-88A4-44EE93EFE611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74e7832a915a62c417a3bf8c026eff5989fd94d3","datavalue":{"value":"05C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944900$1CAB612A-DB89-4D5E-8BA6-EF81C6199770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f5701d50840ddc1d4c58c8ef7660c67b26a6a240","datavalue":{"value":"16W60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944900$2E214DB9-FC1C-432E-A15E-E99AE238CC1C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed8f6d750f99778a3fa213f2925fee9258e8428e","datavalue":{"value":"1655635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944900$62DA9C59-5766-4DD2-9555-71DC01A0D229","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"478f5436c841f182abd749d3648a229ca752fd86","datavalue":{"value":"subgroups of finite index","type":"string"},"datatype":"string"},"type":"statement","id":"Q5944900$37CB69A4-0C22-494E-B4D9-3B4F83E62854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6054dea3f9b79e5a724dc8301f1b48e34a82b6dc","datavalue":{"value":"valuations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5944900$5668D144-31FE-4198-A142-BFB0EA14B710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14beaea5c110078ff324a20e48e1dee577f6d9f6","datavalue":{"value":"commuting graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5944900$49A0EA10-244F-47FB-AC55-0863ECC7C869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe0163c62ef40ffaceb67a76f282187124040bfd","datavalue":{"value":"finite quotients","type":"string"},"datatype":"string"},"type":"statement","id":"Q5944900$9AA0B46C-475D-4FD0-858E-F029D5937E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c40984c90a0c9e3c029a4f70c47d75beebad558","datavalue":{"value":"multiplicative groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5944900$F6CD131E-8833-4267-BB8B-4277A5B0CEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc2f83f797ecd27a536b7ec3ee7093eff120041","datavalue":{"value":"finite-dimensional division algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5944900$BD9A5D7C-7CB7-45D5-A13D-1D53EBD48516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89478c8263984524d90daecbc69d72022c5139f7","datavalue":{"value":"valuation-like maps","type":"string"},"datatype":"string"},"type":"statement","id":"Q5944900$33E0F22F-A70E-4267-8D93-7D607B48E043","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":"Q5944900$D5111639-DA9F-4121-9877-08AC4DEB6891","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14fdfbf2cc0711e68b65f2b0451c3b8cf5dcebbe","datavalue":{"value":"https://doi.org/10.1007/s002220100136","type":"string"},"datatype":"url"},"type":"statement","id":"Q5944900$7A96B382-08E3-4FCE-A76B-2DFD22DA366B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5ddccdbcc71c2b520797d005399c81e31d87c37","datavalue":{"value":"W2000401436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944900$2F9836B6-6324-4C1A-A031-901640696847","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6bb8adf014d6d974979c0c6e8c072e889e86e815","datavalue":{"value":"10.1007/S002220100136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944900$645CF03F-C3D7-4B1A-9927-2381805F3704","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"755337e43c8e0c823b8a6434de5ec15be6a0d6b7","datavalue":{"value":{"entity-type":"item","numeric-id":2017734,"id":"Q2017734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab7aa5e9dbd93099750acb2925936803f308f696","datavalue":{"value":{"amount":"+0.8230028748512268","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":"Q5944900$3B42E169-FF1B-4E5C-81CE-0AE3BA071FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97a78726a056e580baf9943d1ea175514d72f889","datavalue":{"value":{"entity-type":"item","numeric-id":731357,"id":"Q731357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"462c9dc48604b260e20df9fb404b6881d822beef","datavalue":{"value":{"amount":"+0.7928826212882996","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":"Q5944900$1B73EBBE-D2A7-4943-9139-AA7975AD405C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"701ec2315afa31f73b6f346020e1c5cadbaaadaa","datavalue":{"value":{"entity-type":"item","numeric-id":1284568,"id":"Q1284568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24a8ea7724034b8e5e9e7cf5ffc56b09615546e5","datavalue":{"value":{"amount":"+0.7722575068473816","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":"Q5944900$01AB1BEA-F425-4637-8CBC-6249253E8F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2efc9f7837bfd3c74d952dae3e956df4a20471e3","datavalue":{"value":{"entity-type":"item","numeric-id":4544952,"id":"Q4544952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c4c36ec36d80af8ed0bcee25bd86ab5df3706be","datavalue":{"value":{"amount":"+0.7720206379890442","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":"Q5944900$9A8D840F-98A3-4977-B082-711F2416C2DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a6f837f4cfb0676f543d2af7d5e5f2559587b1c","datavalue":{"value":{"entity-type":"item","numeric-id":1100282,"id":"Q1100282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d6fd69b17e0488a4e2a2e0c704fa77af98a31ba","datavalue":{"value":{"amount":"+0.7623502016067505","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":"Q5944900$EA6AACD4-A0E6-4813-9377-50FA820F3963","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5944900","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5944900"}}}}}