{"entities":{"Q1292640":{"pageid":1303390,"ns":120,"title":"Item:Q1292640","lastrevid":68485047,"modified":"2026-04-13T00:00:59Z","type":"item","id":"Q1292640","labels":{"en":{"language":"en","value":"Infinite subgroups of the Morava stabilizer groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1307796"}},"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":"Q1292640$5176326B-B486-496E-A64A-5D9A506D5358","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ceda624c398ea9a0d1edbefe245d530aa2adaa65","datavalue":{"value":{"text":"Infinite subgroups of the Morava stabilizer groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1292640$0862C79E-CDC8-4174-861D-042E8B34DAA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b625dc97991a582e6217eed80e62bd60919de096","datavalue":{"value":"0937.16026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1292640$08C3C202-D8EE-4717-8DC8-032E3BB0E4F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a18adf71fea4976ddb9a803aa97cfe9336d416f5","datavalue":{"value":"10.1016/S0040-9383(97)00100-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1292640$FEEAE5AE-A1B9-4F04-90E2-94C379C52BD0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80790eb8eeb5a152a723c381856557b94a6c0e7e","datavalue":{"value":{"entity-type":"item","numeric-id":340393,"id":"Q340393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1292640$1CD3C100-10DE-49EC-99D2-5F86FD538C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51ed5598bd3eccfdaeb3c944e7506876d4d980d9","datavalue":{"value":{"entity-type":"item","numeric-id":208152,"id":"Q208152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1292640$E1B32570-A21C-4AF9-BB5F-C8E26630DDFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"256cc159ffcd994aaa51fd19d5d3ee5c6d0bb907","datavalue":{"value":{"entity-type":"item","numeric-id":1114195,"id":"Q1114195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1292640$EEE1B75B-8EA3-4459-A17B-B597B319B3E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68f468c44aee9489650eda81adf5e09eaa720a8c","datavalue":{"value":{"entity-type":"item","numeric-id":172615,"id":"Q172615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1292640$A9F957B1-D051-483E-9D97-15C1CA73E4BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"330307546afebc0730b467fd2dbc89557111953a","datavalue":{"value":{"time":"+2000-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1292640$A6B51C8C-A5F3-4BEB-9D3D-CBFED373AA7A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a177d797fdd5edebe22c1647408b84f7c1e7d38e","datavalue":{"value":"Let \\(D\\) be a division algebra over the \\(p\\)-adic field \\(\\mathbb{Q}_p\\), of index \\(n\\) and Hasse invariant \\(\\tfrac 1n\\). Write \\(W\\) for the totally unramified extension of \\(\\mathbb{Q}_p\\) of degree \\(n\\). Then the Galois group of \\(W/\\mathbb{Q}_p\\) is cyclic of order \\(n\\), generated by the Frobenius automorphism \\(\\sigma\\). The crossed product algebra of \\(W\\) and \\(\\text{gal}(W/\\mathbb{Q}_p)\\) leads to \\(D\\) by taking \\(s\\) such that \\(s^n=p\\) and the inner automorphism defined by \\(s\\) realizes \\(\\sigma\\). The authors are concerned with the group of units in the maximal order in \\(D\\). It is a \\(p\\)-adic Lie group, called the Morava stabilizer group and denoted by \\(S_n\\). The subgroup of \\(S_n\\) consisting of strict units (i.e., \\(u\\) such that \\(u\\equiv 1\\pmod s\\)) is written \\(S^0_n\\) and the kernel of the reduced norm, restricted to \\(S^0_n\\) is denoted by \\(S\\ell\\).   Now the authors prove the following main theorem. \\(S\\ell\\) contains a \\(p\\)th root of \\(1\\), \\(\\alpha\\) such that (i) \\(\\{\\alpha^{\\omega i}\\mid 1\\leq i<p\\}\\) where \\(\\omega\\) is a \\((p-1)\\)st root of \\(-p\\), generate an infinite subgroup \\(G\\) of \\(S\\ell\\), isomorphic to the free product of \\(p-1\\) copies of \\(\\mathbb{Z}/p\\), and (ii) \\(G\\) is dense in \\(S\\ell\\). This result has applications to topology which are briefly discussed: each group \\(S_n\\) has a representation by automorphisms of a certain ring \\(E_n\\) and the cohomology of \\(S_n\\) with coefficients in this representation is related to the homotopy groups of the Bousfield localizations of the sphere, which in turn approximate the homotopy groups of spheres.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1292640$FB8C14EC-989C-494C-8D4D-DAAB3B385F8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"656bce73d97ec53ad000afd2904966a257ee2148","datavalue":{"value":"16K20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1292640$AEFE3AF7-0E63-4BB9-A6E5-6136E1879324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7281f47281be7939b8011fb35d11c8347c2b6e5","datavalue":{"value":"16U60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1292640$BB9ECD0A-06FD-4DDE-8751-CD2E3B3234C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28d3bec2f6e07bd25e07bd6f80d073cd0bf2c7d8","datavalue":{"value":"16H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1292640$E4043B77-3D42-484B-A949-07E0AB437174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2a7efb5b93ac18dfb1f73a454b030ac0e8209f91","datavalue":{"value":"55P42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1292640$96F42FF2-349B-4136-9CB5-120D3DF42C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f0477483f7dceb5c81afd371cb989dfc46f1384","datavalue":{"value":"55N22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1292640$BB9D0646-4E9F-4621-B8FC-361FCABBAAE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d070d32ece0a4fc7c985a13403a2323a6394f003","datavalue":{"value":"1307796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1292640$43C15138-AB54-4FD9-806E-1167B35473BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42c31636f400e0ce5ed589a1745c8025def9a53b","datavalue":{"value":"division algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1292640$2E221805-30B3-4300-934B-538894EB1161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaaa94c6a9900c537c2f7df384251660e299dbc7","datavalue":{"value":"\\(p\\)-adic fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1292640$E7B8987D-2DE0-41CE-BB7B-A725C22665F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d75c8a20bcaf61c890fbc54a84a6c941bad1c17","datavalue":{"value":"index","type":"string"},"datatype":"string"},"type":"statement","id":"Q1292640$357F6981-7DCD-413F-A44A-334F6A898B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c3cee6f1136c9163fe29a6bef5503697b20fea3","datavalue":{"value":"Hasse invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1292640$E8A129B9-303C-4425-A5A7-411BB31A89A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f72695761c67d39aa7b4b1fa5b3ad3bb78d6ab3c","datavalue":{"value":"Galois groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1292640$E2C358A9-5473-4F14-88BA-7EE34063085E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"844a4df639560dc66f69f4daf8f05ee94facd567","datavalue":{"value":"crossed product algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1292640$FF76EE9D-A966-4C06-B4E5-3A1C8EE2E21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e856833678b07bb4bc42814a64e5c63e1e9bebc6","datavalue":{"value":"groups of units","type":"string"},"datatype":"string"},"type":"statement","id":"Q1292640$29237CC3-716D-4A4C-8641-2F27956B368B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba5254f17935b1eff51f47ded4d0d909213e8e16","datavalue":{"value":"maximal orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q1292640$62F03BA0-FB54-4960-9DB5-88CFA2174C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea93980f1e91b4f52dfe406b3cdaccc465335dcd","datavalue":{"value":"\\(p\\)-adic Lie groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1292640$FF76EFB8-EE54-44FF-9B82-2862358A2BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4958f6afd79d298aaf35e43d3c94465f488e60a7","datavalue":{"value":"Morava stabilizer groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1292640$72C4819A-2A0B-44B9-A0E8-C8A8321E9C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aea4daf3d770615c38639ec638672bfe8a93ccb6","datavalue":{"value":"strict units","type":"string"},"datatype":"string"},"type":"statement","id":"Q1292640$C381AE6B-2539-4C4D-907A-858A7989C71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3247311e7808cb39c84fa5f4470de3dfc6a26838","datavalue":{"value":"reduced norms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1292640$4F1A3BC5-CDAF-4C14-B8A6-FE314BE4A80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e18c623eba5d62005ca69b5291a3d005a51283c","datavalue":{"value":"free products","type":"string"},"datatype":"string"},"type":"statement","id":"Q1292640$02556657-CD92-4D14-9265-05D0D95634AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce432fd4b43866dcaf8d59af2247f1db44fc3542","datavalue":{"value":"cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1292640$679956FB-B60F-46A9-886C-997C0B977C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e011e998e78f76cfceb6dea95d9265c156d7706f","datavalue":{"value":"homotopy groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1292640$CEB00BB0-C625-4B0C-BA2A-904ADA2AC5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad3ace5fc17f0bd6e1f89e9eff103decb92e9b37","datavalue":{"value":"Bousfield localizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1292640$D1E5CB98-E439-457C-82A1-9693589247D3","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":"Q1292640$DBD7AA21-9C61-4032-886C-566F2EA94A56","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":"Q1292640$C6E04799-CE30-4A3D-B353-A74FC16EEFFF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"88a2f6d9d160f9b7f636825854561fa509646782","datavalue":{"value":"https://doi.org/10.1016/s0040-9383(97)00100-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1292640$8CD4E668-469E-46A9-AFC6-99C026F8484B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee70258dbb061dfb523f1186f34478042679801f","datavalue":{"value":"W2048637021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1292640$E22CDE91-51F4-46F2-8EF3-81DFFD0AE153","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b38e46f8c148e9386bccb7570d322472e10b32cc","datavalue":{"value":"Q128201179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1292640$9409059A-7FA4-42AD-95CE-904DE9EF1FAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"764c4322dbbe1f3a2e53635373dc26b0c86fa533","datavalue":{"value":{"entity-type":"item","numeric-id":5444660,"id":"Q5444660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56567f518b8f663553ff0bfe823e4b46c514c134","datavalue":{"value":{"amount":"+0.7962126731872559","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":"Q1292640$91368E79-9D01-4729-843E-53A921384A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5767e7bb859421a06ca52339b27c37b12b27089","datavalue":{"value":{"entity-type":"item","numeric-id":4382074,"id":"Q4382074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55486730c8713acfc420a2ea292a93271e95b207","datavalue":{"value":{"amount":"+0.7724593281745911","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":"Q1292640$4BF076B6-10B4-4DDC-983A-B21F6A72DE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d16ab895f3de6a8579d0e21ed52175616dd1be1","datavalue":{"value":{"entity-type":"item","numeric-id":1420500,"id":"Q1420500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c286ed7c03d22c3f2a0237462de9f7f0d6a77a00","datavalue":{"value":{"amount":"+0.7607424855232239","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":"Q1292640$A915E9E3-04EB-415C-922C-7910FC966B40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Infinite subgroups of the Morava stabilizer groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Infinite_subgroups_of_the_Morava_stabilizer_groups"}}}}}