{"entities":{"Q916708":{"pageid":918556,"ns":120,"title":"Item:Q916708","lastrevid":65358696,"modified":"2026-04-12T02:03:04Z","type":"item","id":"Q916708","labels":{"en":{"language":"en","value":"On regular number fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4154554"}},"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":"Q916708$53D6916D-DD0E-4A6A-919B-27F88FEDD043","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa562e782211014f5cb729e676181d1a409f1d90","datavalue":{"value":{"text":"On regular number fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q916708$F701FB9A-8534-45CA-A0D0-B768C0EF79B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cae32354ed4de47f5a3af0514bf33e76dfc5be4e","datavalue":{"value":"0704.11040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916708$26862AF6-8923-4B20-8DE1-8B1832C04804","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1bbd646f82477420c20e0825bb031decafcfb52e","datavalue":{"value":"10.1007/BF01159964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916708$41FC6904-EE61-479F-AB5E-0A33285DFE54","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7135a77a59c6200208a7bd358bd183221ae9a71b","datavalue":{"value":{"entity-type":"item","numeric-id":194733,"id":"Q194733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916708$CC5998F9-ECEA-4571-A309-03164B33EED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2baafcd424a62adb0cb2321a4c8746a5e7f7cdb","datavalue":{"value":{"entity-type":"item","numeric-id":194737,"id":"Q194737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916708$F0F7F8E8-34F4-453B-9797-2AC6C13670AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dfa5bc95e1fdba4c3d3197123373583ef39a5b9e","datavalue":{"value":{"entity-type":"item","numeric-id":163114,"id":"Q163114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916708$294E64A9-45F7-430D-A37E-633A1FD6B6F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q916708$AA23CF19-9347-4F88-87AC-161744E1BF90","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a4305775f1f2d0eb676e2ba7529174a60e59390","datavalue":{"value":"https://eudml.org/doc/174095","type":"string"},"datatype":"url"},"type":"statement","id":"Q916708$E122908C-36EB-490D-A1CA-2F38BB470A9A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d4825c18f7e1ad6242a9227fa115e3d98d2f3b04","datavalue":{"value":"Fix a prime number \\(\\ell\\) and let \\(\\zeta\\) denote a primitive \\(\\ell\\)-th root of unity. Let \\(K\\) be a number field with divisor group \\(D_ K\\) and write \\(\\mathcal D_ K\\) for the multiplicative tensor product \\(\\mathbb Z_{\\ell}\\otimes_{\\mathbb Z}D_ K\\). One can define a surjective map (called Gras's logarithm), \\(\\text{lg}: \\mathcal D_ K\\to \\text{Gal}(Z/K)\\), where \\(Z\\) is the composite field of the \\(\\mathbb Z_{\\ell}\\)-extensions of \\(K\\). For a finite or a real place \\(\\wp\\) of \\(K\\), \\(\\text{lg}(\\wp)=1\\) whenever \\(\\wp\\) is real or lies over \\(\\ell\\), otherwise \\(\\text{lg}(\\wp)\\) is a topological generator of the decomposition group \\(D_{\\wp}(Z/K)\\simeq\\mathbb Z_{\\ell}\\) associated to \\(\\wp\\) in the abelian extension \\(Z/K\\). A finite set \\(S\\) of places of \\(K\\) is called primitive when the \\(\\text{lg}(s)\\), \\(s\\in S\\), form a \\(\\mathbb Z_{\\ell}\\)-basis of a pure submodule of \\(\\text{Gal}(Z/K)\\). An \\(\\ell\\)-extension \\(L/K\\) is called primitively ramified if the set \\(S\\) of places of \\(K\\) that ramify tamely in \\(L/K\\), is primitive. \\(K\\) is called regular (with respect to \\(\\ell\\)) if the \\(\\ell\\)-Sylow subgroup \\(R_ 2(K)\\) of the kernel in \\(K_ 2(K)\\) of the regular symbols attached to the non-complex places of \\(K\\), is trivial. When \\(K\\) contains the maximal real subfield \\(k=\\mathbb Q(\\zeta +\\zeta^{-1})\\) of the cyclotomic field \\(\\mathbb Q(\\zeta)\\) several equivalent characterizations of regularity can be given, one of which says that \\(K\\) is regular if and only if \\(K\\) verifies Leopoldt's conjecture (with respect to \\(\\ell)\\) and the torsion submodule \\({\\mathcal T}_ K\\) of \\(\\text{Gal}(M/K)\\), with \\(M\\) the maximal \\(\\ell\\)-ramified, abelian \\(\\ell\\)-extension of \\(K\\) which decomposes completely at the infinite places, is zero. A classical example of a regular number field is provided by the cyclotomic field \\(\\mathbb Q(\\zeta)\\) if and only if \\(\\ell\\) is a regular prime in the usual terminology. Writing \\(\\delta_ K\\) for the defect of Leopoldt's conjecture for \\(K\\), \\(K\\) is called an \\(\\ell\\)-rational field if \\({\\mathcal T}_ K=\\{0\\}\\) and \\(\\delta_ K=0\\). The main results of the paper can now be formulated:    1) Let \\(K\\) contain the maximal real subfield \\(k\\), and let \\(L/K\\) be a Galois \\(\\ell\\)-extension. Then the following conditions are equivalent: (i) \\(L\\) is regular; (ii) \\(K\\) is regular and \\(L/K\\) is primitively ramified.    2) Let \\(L/K\\) be a Galois \\(\\ell\\)-extension. Then the following conditions are equivalent: (i) \\(L\\) is \\(\\ell\\)-rational; (ii) \\(K\\) is \\(\\ell\\)-rational and \\(L/K\\) is primitively ramified.","type":"string"},"datatype":"string"},"type":"statement","id":"Q916708$BBBAE0E1-714C-4CD8-B307-7E54FA2FB897","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"87338ed4c4ef03b7b929db88cdefad9c24ab3698","datavalue":{"value":{"entity-type":"item","numeric-id":916707,"id":"Q916707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916708$C20E5A45-0C04-4D73-8E9A-6D6B54FF58D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"de7f3c1190f7fe7db561a67d5059a061b3cbbffa","datavalue":{"value":"11R29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916708$A5BE929F-054D-435E-A161-CED70A8BADCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"339928427d41b6c2a52bb3b52a57ad7bd80359b6","datavalue":{"value":"11R70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916708$7207E6C7-D1FC-4C85-9DFA-277D2BFC390D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c81671e5be6090a702f855c20ca0c3c06f2c979d","datavalue":{"value":"11S15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916708$3D888B2F-6CAB-4D83-A31B-ADAF3B365057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea0fc594459fa1ac5731bd2f3c05dd6945daecf7","datavalue":{"value":"19C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916708$C65DCD6F-028C-4244-A925-BF7ECFB417DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fc649bc91537fe065d501b830fdd517f08863247","datavalue":{"value":"19F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916708$535AD668-99E2-48DC-B998-6783A4A29B2C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a8f02cc9be7dcce7a884ef6cec104ed99e7ffa6","datavalue":{"value":"4154554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q916708$160AA275-DE4A-4E6A-BF51-571DD06801E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b29433166beee8181f566e7905192df9a08c337e","datavalue":{"value":"Leopoldt's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q916708$7D9E7056-876E-4175-A863-1485FFB6B898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05a15f10eb7e9c182009ef8cbb9350a962e22ae0","datavalue":{"value":"regular number field","type":"string"},"datatype":"string"},"type":"statement","id":"Q916708$545EF2FE-6421-4276-A439-4B70933BBAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee66e33c0c9f3273cb34d1323a980a242acd46af","datavalue":{"value":"\\(\\ell \\)-rational field","type":"string"},"datatype":"string"},"type":"statement","id":"Q916708$8BA3FFFD-EA77-48A7-B204-2DEC462F2685","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":"Q916708$A418CB5C-2B47-44F1-94A4-CD1D19BCB500","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"32932b7b21c912578abbcff14bd7724c1ac3fa52","datavalue":{"value":{"entity-type":"item","numeric-id":3731716,"id":"Q3731716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916708$E2BD824F-8E2A-4B34-A7A3-7C29CE891F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c35afe3ef44daa7ee4fd576989d734cb9b67305e","datavalue":{"value":{"entity-type":"item","numeric-id":3932896,"id":"Q3932896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916708$5009EDDC-B665-4DA0-974F-15D6FF9B2E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"514d7108943df3e60080ce5903e155f1557b70f8","datavalue":{"value":{"entity-type":"item","numeric-id":3966250,"id":"Q3966250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916708$1833F4DF-FB3C-477C-AA4E-2055DA422A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d338a3b4fa9bf56791fac800ce1e7ab4c8099e1d","datavalue":{"value":{"entity-type":"item","numeric-id":1084447,"id":"Q1084447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916708$F89C787D-C689-4F1E-A0FC-A3ED535BC185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c6a17bdef6dfd38e0d7b371c3212af9ac821e75","datavalue":{"value":{"entity-type":"item","numeric-id":1073837,"id":"Q1073837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916708$8EC13CD1-739F-4EEF-A13B-83C8FF9C05DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f0ac5a1f93f1931d4b2471b78317655392f7c91","datavalue":{"value":{"entity-type":"item","numeric-id":3244158,"id":"Q3244158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916708$F85035F0-9ECA-4C30-B400-561F0230B16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e006770694824d6333cd9dba6ba0499d221718c8","datavalue":{"value":{"entity-type":"item","numeric-id":1090366,"id":"Q1090366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916708$D37D7DA0-08F2-4907-A8CC-604D4EA1C894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2841573489dace4602520e0003f108ce4eb6881e","datavalue":{"value":{"entity-type":"item","numeric-id":790176,"id":"Q790176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916708$DC260060-5378-4818-AFE4-85A30A8ED048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8d2f63841d930b11721d26c7fd64eabec8370e1","datavalue":{"value":{"entity-type":"item","numeric-id":1238847,"id":"Q1238847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q916708$7CFA3D63-2563-408F-97D1-763F5FF3A7DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ca3291c8f93e0dba6c79b09bd5fa41087f494d4","datavalue":{"value":{"entity-type":"item","numeric-id":5916317,"id":"Q5916317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2cbb39e2cc6ddb647915651f025c221bdebc0bb","datavalue":{"value":{"amount":"+0.8266743421554565","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":"Q916708$50812D84-6968-4C7E-B226-D3379C435B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75e96aff2afc4e716e75b70739ed07673fd9d346","datavalue":{"value":{"entity-type":"item","numeric-id":1363097,"id":"Q1363097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2cbb39e2cc6ddb647915651f025c221bdebc0bb","datavalue":{"value":{"amount":"+0.8266743421554565","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":"Q916708$E7B13C60-C456-48C4-A52E-922D51546ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ff15810c6f5f87c218169e41021db48c42201d4","datavalue":{"value":{"entity-type":"item","numeric-id":679111,"id":"Q679111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84661a762f26150963559e4e984a5e6956208f30","datavalue":{"value":{"amount":"+0.8208363056182861","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":"Q916708$AF4F80E4-ACF3-40A1-9B3A-0C378EF8FD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76580a53cbc4842866ac97a738ee9dbc5a05a4d4","datavalue":{"value":{"entity-type":"item","numeric-id":584317,"id":"Q584317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa8ac0ec11510739fbb31581da723da30e352c24","datavalue":{"value":{"amount":"+0.8195726871490479","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":"Q916708$8AB303E8-51DF-42E9-9D0C-E3B1362C73CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f99ce3d09e1a035d3614c9c096e4c6cfb292d7b","datavalue":{"value":{"entity-type":"item","numeric-id":1320520,"id":"Q1320520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6ef1252858edad1cf2e4bc334e9db224c370343","datavalue":{"value":{"amount":"+0.8128443360328674","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":"Q916708$E0423758-CD1E-4F93-AA03-94FD6F5841D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On regular number fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_regular_number_fields"}}}}}