{"entities":{"Q873843":{"pageid":875691,"ns":120,"title":"Item:Q873843","lastrevid":64999980,"modified":"2026-04-11T23:38:40Z","type":"item","id":"Q873843","labels":{"en":{"language":"en","value":"A class-field theoretical calculation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5135400"}},"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":"Q873843$4D4FB078-B56F-47AB-A2AC-DEADE115E7A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27f01aaaa7ad1b03945e2c248239d721ab7c00e5","datavalue":{"value":{"text":"A class-field theoretical calculation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q873843$B5751C14-7C3B-47A2-8BA1-69928561CCD3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"690cee0167b146b069848f351d0bcfcde061036a","datavalue":{"value":"1161.11402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q873843$2D89B8EE-F920-4CEF-B62D-84537D0E83DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e85e36d2435a0f725a71ba9f4ebbd549de38313","datavalue":{"value":{"entity-type":"item","numeric-id":706602,"id":"Q706602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q873843$DE0CFA30-3AA1-491D-B5E2-7EEF74B6AD84","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2af5fe3b27a04082f1eae9cf17090e68be06cc07","datavalue":{"value":{"entity-type":"item","numeric-id":194678,"id":"Q194678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q873843$077DD89C-73D1-423D-A5B0-07E6858DDD4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"741e6d6c610619c5428e7c04a6dfdd53626cae17","datavalue":{"value":{"time":"+2007-03-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q873843$4BA2553E-4DBF-449F-A0DD-1777598B9AC2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9fb2a9705d0437b0841c6febbd5aa73754e9740c","datavalue":{"value":"http://www.numdam.org/item?id=JTNB_2006__18_2_477_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q873843$89EFD529-B8A4-43B4-96D9-993BE3FA224B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"038097d3bc6df671967589f5d4a2a1c7030890c3","datavalue":{"value":"https://eudml.org/doc/55364","type":"string"},"datatype":"url"},"type":"statement","id":"Q873843$0F2B23E6-D044-405B-BE5A-77CD07781075","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c101928f0fff3f47507702b63aeb9424fb4d3bad","datavalue":{"value":"Let \\(k\\) be a function field of one variable over a finite field \\(\\mathbb{F}_p\\), where \\(p\\) is a prime number. Let \\(K/k\\) be a finite abelian extension with Galois group \\(\\Gamma:=\\text{Gal}(K/k)\\). Denote by \\(S\\) the set of ramified primes of \\(K\\) in \\(K\\) over \\(k\\). Let \\(K_S^{ab,p}\\) be the maximal pro-\\(p\\) abelian extension of \\(K\\) unramified outside \\(S\\) with Galois group \\(H:=\\text{Gal}(K_S^{ab,p}/K)\\). Then \\(K_S^{ab,p}\\) is Galois over \\(k\\) with Galois group \\(G:=\\text{Gal}(K_S^{ab,p}/k)\\). Thus there is an exact sequence  \\[ 1\\to H\\to G\\to \\Gamma \\to 1. \\]  The action of \\(\\Gamma\\) on \\(H\\) is \\(\\gamma\\circ h:=\\tilde{\\gamma}h\\tilde{\\gamma}^{-1},\\) for all \\(h\\in H\\) and \\(\\gamma\\in \\Gamma\\), where \\(\\tilde{\\gamma}\\) is any lift of \\(\\gamma\\) to \\(G\\). Consider the augmentation ideal \\(I_{\\Gamma}:=\\langle\\gamma-1|\\gamma\\in\\Gamma\\rangle\\) and \\(H\\), we have \\((\\gamma-1)\\circ h=\\tilde{\\gamma}h\\tilde{\\gamma}^{-1}h^{-1}=\\) the commutator \\([\\tilde{\\gamma},h]\\) of \\(\\tilde{\\gamma}\\) and \\(h\\), for all \\(\\gamma\\in\\Gamma\\) and \\(h\\in H\\). As a result, we have an the inclusion \\(I_{\\Gamma}\\circ H\\subseteq [G,G]\\), where \\([G,G]\\) is the commutator subgroup of \\(G\\). This paper gives a necessary and sufficient condition for the other inclusion \\(I_{\\Gamma}\\circ H \\supseteq [G,G]\\) to hold, i.e. \\(I_{\\Gamma}\\circ H =[G,G]\\) if and only if the \\(p\\)-sylow subgroup \\(\\Gamma^{(p)}\\) of \\(\\Gamma\\) is cyclic.  The author first gives a sufficient condition for \\(I_{\\Gamma}\\circ H =[G,G]\\) to hold, i.e. the condition \\(H/I_{\\Gamma}\\circ H\\) has no torsion; then using class field theory he shows an isomorphism \\(T(H/I_{\\Gamma}\\circ H)\\cong \\wedge^2 \\Gamma^{(p)}\\), where \\(T(H/I_{\\Gamma}\\circ H)\\) is the torsion subgroup of \\(H/I_{\\Gamma}\\circ H\\); thus he concludes that if \\(\\Gamma^{(p)}\\) is cyclic then \\(I_{\\Gamma}\\circ H =[G,G]\\); finally the author uses class field theory and a theorem of \\textit{H. Kisilevsky} [J. Number Theory 44, No. 3, 352--355 (1993; Zbl 0780.11058)] to show that the condition \\(\\Gamma^{(p)}\\) is cyclic is in fact necessary.","type":"string"},"datatype":"string"},"type":"statement","id":"Q873843$1FB5EFE6-2331-46E4-863C-786C29AB5D32","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"505814313b087a6ca167ca7cabe1a0bf2b0d2cd1","datavalue":{"value":{"entity-type":"item","numeric-id":624652,"id":"Q624652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q873843$D5CFCCFF-F894-4B36-A0EB-1AB9AEF9758E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa5ce256704e22ae9f3767d9b7f6b25420f642b6","datavalue":{"value":"11R37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q873843$AD15E890-647F-416E-881C-4559E0BD20E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5da175760837221b1255b8d6d71ae4d17a89f801","datavalue":{"value":"11R32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q873843$78029C9F-9171-4436-846A-BFCB8D85D75D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65d485767ebef7a53cabd230422e2c7ce320aa24","datavalue":{"value":"5135400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q873843$07B037B6-14ED-4D46-8F7F-9266B73E8C2B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51556aced19a49a8a57c41e1e31cc4ff474166ae","datavalue":{"value":"class field theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q873843$0B28EAA3-5CFE-47BC-8EBB-AD3E8E22B349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"074d72856bbbfa7f24bef96160f16fc09511824f","datavalue":{"value":"Galois cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q873843$EF4F80DE-EBE2-482A-8547-91D421B935A1","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":"Q873843$51B5EF93-80A7-423D-AACD-EEE8561C3362","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"98982814da92070017046adca6ebf441799bd1e0","datavalue":{"value":"W2119195449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q873843$9D592D5A-CE07-43DF-AD46-52E7FCCC9BAB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"748db8679c6292bcd12a3e6ad72441ab1f7af9a1","datavalue":{"value":{"entity-type":"item","numeric-id":4692374,"id":"Q4692374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q873843$F5281E0A-B047-4520-9FF3-AD6EE934342C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7d8e771f49e7c669f74251467edadb5af8cf305","datavalue":{"value":{"entity-type":"item","numeric-id":3708977,"id":"Q3708977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q873843$DC3E0AB5-3845-4BC9-9CA0-5E6CB0145AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2106575aa4161a8525210b43be2b92c4dbd693e9","datavalue":{"value":{"entity-type":"item","numeric-id":5532660,"id":"Q5532660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q873843$F528EAAC-F29C-4229-BF2B-825B2B64994E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"339070420dbf31968d5d3b2fe9abbb44c64a5973","datavalue":{"value":{"entity-type":"item","numeric-id":4729878,"id":"Q4729878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q873843$9B5E3026-7E49-4153-8C02-9F7FFE298FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9facdf1f4172071cc3bd648e25a75cbe897baaf","datavalue":{"value":{"entity-type":"item","numeric-id":687537,"id":"Q687537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q873843$71915376-717E-4C82-A408-EBB1D1373D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c41c62bd41353a4abc30a10ae126e7bf910397e","datavalue":{"value":{"entity-type":"item","numeric-id":3625564,"id":"Q3625564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q873843$6FF36F3C-FEB6-4A9F-8BB4-BEF0292641AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a83fd5ec4f0b78979bb7907cae4f5e8265ee11f9","datavalue":{"value":{"entity-type":"item","numeric-id":797633,"id":"Q797633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q873843$2DC14391-ACA3-4AF2-89BF-C5E8318F74B9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76bc174922616bd91b4b7c0fba72d14cd38d7d3c","datavalue":{"value":"10.5802/JTNB.555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q873843$5BF8410F-88F1-47B4-9FFB-F5031F3885B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0e3510d5b65062c1a7b748d2bd63c2d041cdc1e","datavalue":{"value":{"entity-type":"item","numeric-id":765165,"id":"Q765165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3090ef352381a30d2706390138ce93ee4138c329","datavalue":{"value":{"amount":"+0.7674513459205627","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":"Q873843$D8F8315F-36FD-4EF9-B2EE-B62642961A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"609765c61c84331652f524e1db33ad7268d4a57a","datavalue":{"value":{"entity-type":"item","numeric-id":1399184,"id":"Q1399184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcf96cbf59c8822bc2c4bae8eaf8c647c4ef6f28","datavalue":{"value":{"amount":"+0.7567024230957031","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":"Q873843$3416250D-9DBF-4AD3-99F7-B75098819B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8a296f521c957b17b840ffb52ffbc9d3da58ac7","datavalue":{"value":{"entity-type":"item","numeric-id":1267302,"id":"Q1267302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcf96cbf59c8822bc2c4bae8eaf8c647c4ef6f28","datavalue":{"value":{"amount":"+0.7567024230957031","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":"Q873843$67A51D63-BE94-4ABC-9DE5-86FA074031B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d55e09a4a2e5be712ff9ddafbe1e6768df4f3f3","datavalue":{"value":{"entity-type":"item","numeric-id":1105643,"id":"Q1105643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec88ed28b422948aea26a96f7d6e8595cc40da41","datavalue":{"value":{"amount":"+0.7562428116798401","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":"Q873843$3B88FF81-501B-452B-9063-08187F894167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17088bb88042589819cc86c09362434df596af5e","datavalue":{"value":{"entity-type":"item","numeric-id":757474,"id":"Q757474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34608109d58bbfd470927712f82aa794e005c9ba","datavalue":{"value":{"amount":"+0.7543935179710388","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":"Q873843$70FE8656-BC58-40EE-8C79-7F5795D6C2D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A class-field theoretical calculation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_class-field_theoretical_calculation"}}}}}