{"entities":{"Q294157":{"pageid":295924,"ns":120,"title":"Item:Q294157","lastrevid":42161080,"modified":"2025-05-26T18:32:08Z","type":"item","id":"Q294157","labels":{"en":{"language":"en","value":"On some properties of Galois groups of unramified extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6591228"}},"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":"Q294157$C53716C1-A524-444B-A796-6520B30BA3B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"822221239d8715626da436f83abca340da5613ee","datavalue":{"value":{"text":"On some properties of Galois groups of unramified extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q294157$0E9B4804-D43F-4F5E-BE30-CEC5E575E873","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fcdc2c41c3b2584ae3e4ff4e8105e51c564968c3","datavalue":{"value":"1350.11096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294157$383BEFF7-1C0F-45D6-A78C-F753E9639BD1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c4dd687faaf886659bf803922ffb1fe23d47a1b","datavalue":{"value":{"entity-type":"item","numeric-id":194939,"id":"Q194939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294157$A1C0B108-D6E1-42C0-BF96-DF0664EA4AA1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"903611b45fdefcb5db6a1d6c4d381fc130c82383","datavalue":{"value":{"entity-type":"item","numeric-id":189326,"id":"Q189326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294157$4854ED9A-DAD0-484D-931C-0C6880E32371","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c38536433ca3187d3c315e3ccb89d3160798fa7b","datavalue":{"value":{"time":"+2016-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q294157$ADE9279A-82B6-4A85-8AB6-EA340C830437","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5fce67030fb52e6ff9d40d6af7eb01a63abb0b7c","datavalue":{"value":"https://projecteuclid.org/euclid.ojm/1461781790","type":"string"},"datatype":"url"},"type":"statement","id":"Q294157$C0C5F08C-4231-4381-BD56-BDB937846E60","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"955e0c75ece7781a781d89223c983b6594f89e5c","datavalue":{"value":{"entity-type":"item","numeric-id":250303,"id":"Q250303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294157$87BF3FF9-04FD-4F51-A12F-D9976E1906D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33596e09702254c39edd592e961d4cba7cfc6c47","datavalue":{"value":"11R18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294157$57343A7F-C33F-4AC6-8F34-854580E749A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4991d60e07c8d9a9bf6ca12e61e8f2f85c1f64c7","datavalue":{"value":"11R23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294157$3384225D-1CD1-4B86-81CF-0412269D4AEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bfd6bb822895ab12d8b3ef56895a2e1cc09d3128","datavalue":{"value":"6591228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294157$6E1BEC86-8885-49BB-96F2-2559170C227D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7a0733bc0dc7880a4f6c0f4afc14bf461735320","datavalue":{"value":"maximal unramified Galois extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q294157$51DA15BC-1ABA-4C87-A763-CC7826FEB968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c834999ec473809b90f3a2973effd25e25f86bb1","datavalue":{"value":"maximal unramified abelian extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q294157$FEC25113-B213-4324-BD9E-0FD7AF59D659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a224ea6485844bb530415fd67e2c7ee54e1c6bc4","datavalue":{"value":"maximal cyclotomic extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q294157$1BD0F7E1-26FE-415F-8080-083F85465CA2","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":"Q294157$123F01DD-61EC-4179-A518-CE2DB035F8EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ca76bf10747781e92cfcd6819bdc43efb8e7267","datavalue":{"value":{"entity-type":"item","numeric-id":3722589,"id":"Q3722589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294157$694F0EC2-BDC4-4899-BF8D-CB0F1DD5E023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59b224267567184d222551091d17570be62bf394","datavalue":{"value":{"entity-type":"item","numeric-id":925102,"id":"Q925102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294157$0FACF4EC-4D43-4B9D-A102-E22A357BCC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"502f01aec5bb26b136a245245e003d2f6786b2e0","datavalue":{"value":{"entity-type":"item","numeric-id":4364762,"id":"Q4364762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294157$07B4C26D-3A29-478D-B38B-C32BB376EBDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"395835a5714094d360410630516ffc08e7e8be8f","datavalue":{"value":{"entity-type":"item","numeric-id":2551796,"id":"Q2551796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294157$82078547-7CD6-4854-B807-D2CC23CFBDEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aebcafa6735dcbdcb7ca29cc9c3793749fa1d49","datavalue":{"value":{"entity-type":"item","numeric-id":4365374,"id":"Q4365374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294157$4E39F19A-FBFD-480C-8470-444679224C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc57970a203e1409046e508a2fb1251fbe1b8fd8","datavalue":{"value":{"entity-type":"item","numeric-id":1172674,"id":"Q1172674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294157$1A87EE88-0898-489B-8CF4-836D7787C9ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f25a5a7a96caeaed224d06f128aa20d1301ada59","datavalue":{"value":{"entity-type":"item","numeric-id":4929978,"id":"Q4929978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"721d1c88ae2fedfd6aa2fbb5911b631feb2de779","datavalue":{"value":{"amount":"+0.74124455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q294157$E8AB7460-A9D6-40BA-8096-491243B11D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70671f6cfae0a537762ad08683f50cb1c3a6d413","datavalue":{"value":{"entity-type":"item","numeric-id":1057315,"id":"Q1057315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5302735b346f135dace97cb988c0deb51351ea1","datavalue":{"value":{"amount":"+0.71418446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q294157$E15513C6-E3D5-4501-8799-A3E1A630D7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b09fa5a068bc4ff688199a1f5cbb2b60d6d69b89","datavalue":{"value":{"entity-type":"item","numeric-id":3351471,"id":"Q3351471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba2ebc5449678571f2b52cf94d39ddef8b12a54c","datavalue":{"value":{"amount":"+0.7029355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q294157$8E36CA26-DFAB-40B5-ADBB-D300BBC6FEA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"832b15dbd6b7ee8d9795350ab1429a94eec8509e","datavalue":{"value":{"entity-type":"item","numeric-id":3548330,"id":"Q3548330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"580b9713fd3ca8f8b770b5b2b0eff4219cabd266","datavalue":{"value":{"amount":"+0.6920535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q294157$42312D90-4F03-4BD7-8AF4-FA5DC46BB36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa7590b8c557fa4cc73b60557e222e92f3bc7ebd","datavalue":{"value":{"entity-type":"item","numeric-id":5455169,"id":"Q5455169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f464174a481b59e519d7d5872525287beb80c52","datavalue":{"value":{"amount":"+0.6916177","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q294157$0BD783D5-FEFF-410E-8826-F19AF2709DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4386c37cbcdd80368b9349811a73cd79b972092","datavalue":{"value":{"entity-type":"item","numeric-id":925102,"id":"Q925102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b809d30dcf6dc6059afb22eebe6d1f1afcbf50d","datavalue":{"value":{"amount":"+0.68906677","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q294157$E6C07E69-E9F3-473D-B59C-BE7A5B324B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be92dacb34a4d3a7882fd5104de1bc76e8df182c","datavalue":{"value":{"entity-type":"item","numeric-id":784836,"id":"Q784836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6424863cc0e733f3aca9822bc94d896cb28e79d2","datavalue":{"value":{"amount":"+0.689034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q294157$784B030F-BDDD-4D34-98A3-494D51EE8B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c3100725aeb578b339b8d7e24233ba592bcca74","datavalue":{"value":{"entity-type":"item","numeric-id":4016741,"id":"Q4016741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09698453ef14ea9e8a3bc5a5fe0d309eef383b19","datavalue":{"value":{"amount":"+0.68596625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q294157$618903DE-1297-45AF-B80C-1BB129270320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bb2172d17e0a1b329d9104cff04793e1e78c7a4","datavalue":{"value":{"entity-type":"item","numeric-id":520371,"id":"Q520371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aa6dafa1a30fb9cab335698515a4da7dc00ec5f","datavalue":{"value":{"amount":"+0.68536866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q294157$E131CB49-FB54-41FC-8F78-156FD6387EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91bcf7f1b17162f97b7e17e95df9de044153e176","datavalue":{"value":{"entity-type":"item","numeric-id":4399430,"id":"Q4399430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99bebe352114d40c2e9e24a3ff77a5dcc5dee346","datavalue":{"value":{"amount":"+0.6844917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q294157$A55CD909-E3B6-4367-A259-C4CF4E55421A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"114475e06716000d473725a278285eb768e191da","datavalue":{"value":"For \\( k \\) an algebraic number field of finite degree, let \\( k_{\\infty} \\) be the maximal cyclotomic extension of \\( k, \\) that is, the field obtained by adjoining to \\( k \\) all \\( \\zeta_n,~n\\geq 1. \\) Let \\( \\tilde{L}_k \\) and \\( L_k \\) be the maximal unramified Galois extension, respectively the maximal unramified abelian extension of \\( k_{\\infty}. \\) The author studies the Galois groups \\( \\mathrm{Gal}(\\tilde{L}_k/k_{\\infty}), \\) \\( \\mathrm{Gal}(L_k/k_{\\infty}) \\) and \\( \\mathrm{Gal}(\\tilde{L}_k/k). \\)NEWLINENEWLINEMore precisely, the author proves that every subgroup of \\( \\mathrm{Gal}(\\tilde{L}_k/k_{\\infty}) \\) with finite index is centerfree.NEWLINENEWLINENote that the Galois group \\( \\mathrm{Gal}(\\tilde{L}_k/k_{\\infty}) \\) may be regarded as an analogue of the algebraic fundamental group of a proper smooth geometrically connected curve over the algebraic closure of a finite field. Indeed, with some exceptions (cf. e.g. \\textit{A. Tamagawa} [Compos. Math. 109, No. 2, 135--194 (1997; Zbl 0899.14007)]), the same property is satisfied by the algebraic fundamental group of a smooth geometrically connected curve over an algebraically closed constant field.NEWLINENEWLINENext, the author considers the Galois groups \\(\\Gamma= \\mathrm{Gal}(k_{\\infty}/k) \\) and \\( X=\\mathrm{Gal}(L_k/k_{\\infty}). \\) Then \\( \\Gamma \\) acts naturally on \\( X, \\) which makes \\( X \\) a \\( \\Gamma \\)-module. As a profinite abelian group, \\( X \\) is isomorphic to the direct product of a countable number of copies of \\( \\widehat{\\mathbb{Z}}, \\) the profinite completion of \\( \\mathbb Z. \\) The structure of \\( X \\) as a \\( \\Gamma \\)-module is, however, not so well understood. (Partial related results were obtained by the author [Tohoku Math. J. (2) 60, No. 1, 135--147 (2007; Zbl 1227.11115)]; also, the above result follows from \\textit{K. Uchida} [Tohoku Math. J., II. Ser. 34, 311--317 (1982; Zbl 0502.12020)].) The author proves that \\( X \\) is a faithful \\( \\Gamma \\)-module. It will follow from here also that every subgroup of \\( \\mathrm{Gal}(\\tilde{L}_k/k) \\) with finite index is centerfree.NEWLINENEWLINEFinally, the author investigates the inverse Galois problem on \\( \\mathrm{Gal}(\\tilde{L}_k/k_{\\infty}). \\) The maximal prosolvable quotient of \\( \\mathrm{Gal}(\\tilde{L}_k/k_{\\infty}) \\) was determined by \\textit{K. Uchida} [Proc. Symp., Nagoya/Jap. 1981, Adv. Stud. Pure Math. 2, 99--102 (1983; Zbl 0524.12014)], but not too much seems to be known for its non-solvable quotients. In previous work [J. Fac. Sci., Univ. Tokyo, Sect. I A 32, 397--415 (1985; Zbl 0593.12004)]), when \\( k=\\mathbb Q, \\) the author showed that there exist finitely many unramified Galois extensions of \\( \\mathbb{Q}_{\\infty} \\) having as Galois group the finite non-solvable group \\( \\mathrm{PSL}_2(\\mathbb Z/p^r\\mathbb{Z})=\\mathrm{SL}_2(\\mathbb Z/p^r\\mathbb{Z})/\\{\\pm 1\\}, \\) where \\(p \\) is any prime greater than 3 and \\( r \\) a positive integer. In this paper, the result is strengthened to the following.NEWLINENEWLINETheorem. Let \\( p\\geq 5 \\) be prime. Then there exists an unramified Galois extension \\( F \\) of \\( \\mathbb Q_{\\infty} \\) such that \\( \\mathrm{Gal}(F/\\mathbb Q_{\\infty}) \\) is isomorphic to \\( \\prod_{N=1}^{\\infty}\\mathrm{SL}_2(\\mathbb Z_p), \\) the direct product of a countable number of copies of \\( \\mathrm{SL}_2 (\\mathbb Z_p).\\)NEWLINENEWLINEIt is worth mentioning that the proof of the above result consists in an arithmetical and a group-theoretical part. The arithmetical point is that the Galois group \\( \\mathrm{Gal}(\\tilde{L}_k/k_{\\infty}) \\) is projective (also due to \\textit{K. Uchida} [Tohoku Math. J., II. Ser. 34, 311--317 (1982; Zbl 0502.12020)]), while the group-theoretical part deals with some properties of the group \\(\\mathrm{SL}_2(\\mathbb Z_p)\\) due to \\textit{J.-P. Serre} [Research Notes in Mathematics. 7. Wellesley, MA: A K Peters (1998; Zbl 0902.14016); Invent. Math. 15, 259--331 (1972; Zbl 0235.14012)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q294157$6C805ED7-2835-4964-98CB-FF2BD815C273","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:294157","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:294157"}}}}}