{"entities":{"Q1126380":{"pageid":1137129,"ns":120,"title":"Item:Q1126380","lastrevid":66187095,"modified":"2026-04-12T08:08:02Z","type":"item","id":"Q1126380","labels":{"en":{"language":"en","value":"Prodihedral groups as Galois groups over number fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 955264"}},"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":"Q1126380$134353EC-16CD-434F-9CBB-8CD378611227","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f8b4cb6ceb3acc795e519204cc76bd324b8650c3","datavalue":{"value":{"text":"Prodihedral groups as Galois groups over number fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1126380$572F399B-4D33-4323-9939-F969A10EA58C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf26f1120d7d651d895ffaebb95518e0eb5d9f1e","datavalue":{"value":"0870.12004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126380$9AFB0FFD-C2FF-4E09-963C-FED19D268C44","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5b7f6bca6f877bd7863326ab1113e2813b976d4","datavalue":{"value":{"entity-type":"item","numeric-id":224048,"id":"Q224048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1126380$A8A793FE-49E7-4AB0-921F-0F696B02F787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58176f0dd019a3a2c8ed29eb41af29922fe6d9f6","datavalue":{"value":{"entity-type":"item","numeric-id":472999,"id":"Q472999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1126380$F90125DB-5948-4DA8-8E79-DE52298859BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6cac328d206d9ef9b7afb3fb4ca5d1d204199af","datavalue":{"value":{"entity-type":"item","numeric-id":167107,"id":"Q167107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1126380$04F41227-4F13-4CC3-BFD0-31DF2F080C3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d055fb3109bca705377a91671f6048909534fe40","datavalue":{"value":{"time":"+1997-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1126380$81AF37DB-C4C1-488C-B858-CA16D87E9E61","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"671132fd18b76e3321ee7732c2d67f43c2bc9474","datavalue":{"value":"Let \\(l\\) be a rational prime and \\(\\mathbb{D}_l\\) be the projective limit of the dihedral groups \\(D_{l^n}\\) \\((n\\to\\infty)\\), which is a split extension of \\(\\mathbb{Z}/2\\mathbb{Z}\\) by the \\(l\\)-adic integers \\(\\mathbb{Z}_l\\). In this paper, the authors give proofs of a synthetic series of results on the Galois extensions with Galois group \\(\\mathbb{D}_l\\) announced in their previous paper [\\textit{W.-D. Geyer} and \\textit{C. U. Jensen}, C. R. Acad. Sci., Paris, I. S\u00e9r. 319, 1241-1244 (1994; Zbl 0818.11039)].    The main theme of this paper is to estimate, for a given quadratic separable extension \\(L/K\\), the number \\(a_l^-(L/K)\\) of the independent \\(\\mathbb{D}_l\\)-extensions over \\(K\\) with \\(L\\) being the fixed field of \\(\\mathbb{Z}_l\\). The results are classified into cases depending on the characteristic of fields. In the number field case when \\(L\\) is not totally real, an Iwasawa-theoretic investigation gives finiteness and a certain estimation of \\(a_l^-(L/K)\\), e.g., if the Leopoldt conjecture for \\(L\\) is true with respect to \\(l\\), then \\(a_l^-(L/K)=r_2(K)+\\delta(L/K)\\), where \\(\\delta(L/K)\\) is the number of complex places of \\(L\\) with real restriction on \\(K\\). In particular, if \\(L=\\mathbb{Q}(\\sqrt{-d})\\), \\(K=\\mathbb{Q}\\), then \\(a_l^-(L/K)=1\\), so that there exists a unique \\(\\mathbb{D}_l\\)-extension \\(M\\) of \\(\\mathbb{Q}\\) extending the imaginary quadratic field \\(L=\\mathbb{Q}(\\sqrt{-d})\\)). In the special case when \\(l=2\\), the socle of \\(M/\\mathbb{Q}\\) is by definition the unique biquadratic extension \\(\\mathbb{Q}(\\sqrt{-d},\\sqrt{a})\\) in \\(M\\), where \\(a\\) can be taken as a divisor of \\(2d\\).    In the last part the authors investigate an explicit determination of `\\(a\\)' for given primes \\(d\\). Applying these results, they obtain examples of imaginary quadratic fields \\(K\\) such that \\(K(\\sqrt{-1})/K\\) can be embedded into \\(\\mathbb{Z}/2^n\\mathbb{Z}\\)-extensions of \\(K\\) for all \\(n\\), but never into a \\(\\mathbb{Z}_2\\)-extension of \\(K\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1126380$83DBB677-4130-4F30-BAAE-7A3D38118F12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fc48b6b45a9ad0e0f4e287a277141f32f26dd268","datavalue":{"value":"12F12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126380$EB3A1F3D-29BD-4E2B-992B-D423A6EAFC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ef7763c663249d52fb24c69b52f35da435fa9a3","datavalue":{"value":"20E18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126380$8F0BAEA5-67F3-405C-ADD2-D7A0B619FDB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4991d60e07c8d9a9bf6ca12e61e8f2f85c1f64c7","datavalue":{"value":"11R23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126380$F9FF5C16-92A5-4D77-8B34-A65FCABAD94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5da175760837221b1255b8d6d71ae4d17a89f801","datavalue":{"value":"11R32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126380$3685586D-08EB-479F-B3FC-28675616F5C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"617f467d40c5dd205351055232ce5fab05f1fbb4","datavalue":{"value":"955264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126380$07C0D99A-20EA-4307-AB8A-442C2C86CCFD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c800b936fba8f9eb148e8b89b2f139e7f7dc81e5","datavalue":{"value":"Galois groups over number fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1126380$B7EE1810-1382-4385-BE83-EBD7B32A806B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45642dc068ad0af80e611c22c8994ee34c353699","datavalue":{"value":"prodihedral groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1126380$847FA0E0-FA47-4D1C-BC3A-EB754E2F99BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d9d3d1e0d23a32b5e9b140ddb68fa58982f60a0","datavalue":{"value":"Iwasawa number","type":"string"},"datatype":"string"},"type":"statement","id":"Q1126380$96BA997E-7F08-4FD3-BA64-26C770BE62BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"566ef926bd6d5dbfbbf20ef54063272c5b115de8","datavalue":{"value":"estimates on the number of extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1126380$945D1FAA-2DFA-4AB2-AED5-26B5D39840BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"806d418c42a8fac7e5e1fe48323d7f92d74dd183","datavalue":{"value":"Galois extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1126380$3B4E3FCE-EFA3-4A38-953A-FFC93770EE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41e2e0240d61821eec3443d0ecb9235351bfc7e6","datavalue":{"value":"Leopoldt conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1126380$A755B558-86A0-4955-ACB8-914E44C3F1B7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e22ec89109599ecdc3bbc0a8cf070e8f786d8f0c","datavalue":{"value":{"entity-type":"item","numeric-id":374581,"id":"Q374581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1126380$C2AE36FD-7BE7-4897-B183-E9E15F73A49F","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":"Q1126380$A6671360-2339-47E9-8483-61BC0289B406","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dba5ff17f4dbcce56db60d987afe4d926eecedd7","datavalue":{"value":"https://doi.org/10.1006/jnth.1996.0128","type":"string"},"datatype":"url"},"type":"statement","id":"Q1126380$C9002A4F-5E2E-4EC6-BBD3-18157694116F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e02d97229a3011eddd990937b741e55a020c2af3","datavalue":{"value":"W2031358412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126380$9808CA7A-8763-45DD-92D9-39A56022066E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fba799baa3ec45a85ff4b3470d81544711ef1a42","datavalue":{"value":"10.1006/JNTH.1996.0128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1126380$8F7ABD3A-CF28-47B4-8D09-383363215773","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b89bc099e0a4a693350e5d9aaf560bfc678f842c","datavalue":{"value":{"entity-type":"item","numeric-id":4323681,"id":"Q4323681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25cc4a94c0caafec10e0a5ae986f449c4164b41f","datavalue":{"value":{"amount":"+0.8418520092964172","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":"Q1126380$B512C40E-CD4A-4E9F-8765-3279673C11D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cdf089d7f160d40cd2ab2a53a96518317df5bb7","datavalue":{"value":{"entity-type":"item","numeric-id":1898253,"id":"Q1898253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b053de6983f480d2d891eeea27381d01601205b2","datavalue":{"value":{"amount":"+0.7707292437553406","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":"Q1126380$D05A4CDF-E9CE-4029-9827-1C642A75539E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ea77d2f1d2fb92370cffbf702f5e1b387b9cfa8","datavalue":{"value":{"entity-type":"item","numeric-id":5315187,"id":"Q5315187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08fcbc51b83081cd938bcfae4dc8a49156223287","datavalue":{"value":{"amount":"+0.7667003870010376","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":"Q1126380$8F07FB86-E3E0-4D15-9743-B464C73E1E9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Prodihedral groups as Galois groups over number fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Prodihedral_groups_as_Galois_groups_over_number_fields"}}}}}