{"entities":{"Q2322853":{"pageid":2333596,"ns":120,"title":"Item:Q2322853","lastrevid":73697376,"modified":"2026-04-14T16:57:18Z","type":"item","id":"Q2322853","labels":{"en":{"language":"en","value":"Classes of order 4 in the strict class group of number fields and remarks on unramified quadratic extensions of unit type"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7101855"}},"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":"Q2322853$FE79C6C9-8A65-4534-84DD-B371957386B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a31c800465d9ee1e36382303c628c8142e529a47","datavalue":{"value":{"text":"Classes of order 4 in the strict class group of number fields and remarks on unramified quadratic extensions of unit type","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2322853$6DFA716C-F157-414C-82E1-9A079BE53211","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"710e6e31d66db53d02e5dc9fecd8d6c196b088d9","datavalue":{"value":"1469.11433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322853$51C7D040-CE87-4D9B-B703-6A1916E4BCA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e65aaa5242a626743ce560e880bec97bfaa5593b","datavalue":{"value":{"entity-type":"item","numeric-id":301428,"id":"Q301428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322853$11557379-6037-4D1F-804A-CF0BDE00927F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"db65d893ebb6a7d7b31b2355c5a810eb231ee751","datavalue":{"value":{"entity-type":"item","numeric-id":317517,"id":"Q317517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322853$30540BC5-A26B-4373-B9B9-86D477D8C225","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57380d93ee8bf03c86a1c1218ce3942e3795197e","datavalue":{"value":{"time":"+2019-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2322853$4223AF93-C4BD-42E9-B281-A05C73151A17","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8ce80008f75d0aeb76940ef9be1bd03752fb7e0","datavalue":{"value":"https://arxiv.org/abs/1811.05535","type":"string"},"datatype":"url"},"type":"statement","id":"Q2322853$572F12AF-D5C1-4BEC-AD60-97D5EA081B8E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3d6b03009a9b19adb8bd06d9f853d3da957039f9","datavalue":{"value":"Let \\(K\\) be a number field of degree \\(n\\) over \\(\\mathbb{Q}\\). Let \\(E_K\\) and \\(E_K^+\\) denote the group of units and the group of totally positive units of \\(K\\) respectively. Let \\(\\mathrm{rank}_2(A)\\) denote the dimension of an elementary abelian 2-group \\(A\\). Let \\(C_K\\) denote the class group of \\(K\\) and \\(C_K^+\\) denote the strict class group of \\(K\\). Let \\(K^{*+}\\) denote the subgroup of totally positive elements of \\(K^*\\). Then the author, using \\textit{J. V. Armitage} and \\textit{A. Fr\u00f6hlich} theorem [Mathematika 14, 94--98 (1967; Zbl 0149.29501)], proves in Theorem 1 (the first part of the paper) the following.  If \\(\\mathrm{rank}_2(E_K^+/E_K^2)>\\lfloor n/2 \\rfloor\\) then: (a) the sequence \\(0\\longrightarrow K^*/E_KK^{*+} \\longrightarrow C_K^+ \\longrightarrow C_K\\longrightarrow 0\\) does not split and (b) the \\(4\\)-rank of the strict class group is at least \\(\\mathrm{rank}_2(E_K^+/E_K^2)-\\lfloor n/2 \\rfloor\\). In particular, if \\(K\\) is a totally real number field of degree \\(n\\) with a totally positive system of fundamental units, then the strict class group of \\(K\\) contains at least, \\((n-1)/2\\) for \\(n\\) odd and \\(n/2-1\\) for \\(n\\) even, independent elements of order \\(4\\).  Let \\(E_K^{\\square+\\square}\\) denote the units in \\(E_K\\) that are the sum of two squares in K. Let \\(E_{K,4}\\) denote ``the units in \\(E_K\\) that are squares mod \\(4\\)''. The author in the second part of the paper, proves the following:  \\begin{itemize} \\item[(a)] [\\textit{C. Greither} and \\textit{D. Hayes}, ``A note on the theorem of Armitage-Fr\u00f6hlich'', Preprint] There are at least \\(\\mathrm{rank}_2(E_K^+/E_K^2)-\\lfloor n/2 \\rfloor\\) independent unramified quadratic extensions \\(K(\\sqrt{\\varepsilon})\\) of unit type.  \\item[(b)] The unit \\(\\varepsilon \\in E_K^+\\) is a sum of two rational squares in \\(K\\), that is, \\(\\varepsilon \\in E_K^{\\square+\\square}\\) if and only if the quadratic Hilbert symbol \\((\\varepsilon,-1)_v\\) is \\(1\\) at all primes \\(v\\) dividing \\(2\\) in \\(K\\). In particular every unit in \\(E_{K,4}\\cap E_K^+\\) is a sum of two squares.  \\item[(c)] \\(\\mathrm{rank}_2(E_K^+/E_K^{\\square+\\square})\\leq g-1\\) where \\(g\\) is the number of primes dividing \\(2\\) in \\(K\\). In particular, for a real quadratic field \\(K=\\mathbb{Q}[\\sqrt{d}]\\) with squarefree integral \\(d>0\\) in which \\(2\\) is either ramified or inert, a unit is totally positive if and only if it is a sum of two squares in \\(K\\). \\end{itemize}  Finally the author works out the example of real quadratic fields \\(\\mathbb{Q}[\\sqrt{d}]\\) for a squarefree integral \\(d>0\\) in detail in this context.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2322853$6A4DE531-C957-42BB-83C8-10F0AC1B64CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"de7f3c1190f7fe7db561a67d5059a061b3cbbffa","datavalue":{"value":"11R29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322853$942DAC61-BB3A-4293-8B1E-25E738D7DCEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa5ce256704e22ae9f3767d9b7f6b25420f642b6","datavalue":{"value":"11R37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322853$7C143AC3-D99E-497A-AFA6-F7F82A14A920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f4be43e4d3a36713afeec76035eb55b0d3950c7","datavalue":{"value":"11R27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322853$FC5D19B0-333A-43A7-AF69-0E6C7CE5EDB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"495845c8213cf842ac820948f1353b4cef3062a2","datavalue":{"value":"11E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322853$619E6065-9BB4-42AE-A784-5CF88F3CAEB9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2730d96698d2e132c885b1ab6c417a484967ff5e","datavalue":{"value":"7101855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322853$79E30FE0-6DC6-4036-A4BF-BBEB7BEE0946","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fd9d05358f40faa43b69c868f1b0627804051ca","datavalue":{"value":"class groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2322853$FB57B4CA-B972-4D94-81F4-AC758592E1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"307636733935029ce36388e8429620606b5922e1","datavalue":{"value":"unit signatures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2322853$3B6D7E40-4F84-4629-BC5D-10805C1CB7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c2ca009dee2ffc0bac9a2c51660d5898dbd9ebb","datavalue":{"value":"quadratic fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q2322853$751826AA-2978-4377-A1DA-F641ED696F1D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"61e74f98ad93aacc70a1d797132e5279dd7100fc","datavalue":{"value":{"entity-type":"item","numeric-id":1621933,"id":"Q1621933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322853$C394A953-E098-44B1-84F7-516F6929FB11","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":"Q2322853$41763A93-0985-4509-BD28-0CBB46D09BFD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a9804df38d8bc7424c4d3445d7d8f3d396a4b0ea","datavalue":{"value":"W2900792196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322853$5B2633F1-D5D6-4201-B7B9-AEDDA725AC93","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb8f9b5ce8f83fcb53ee9016dd75548b5c622f16","datavalue":{"value":{"entity-type":"item","numeric-id":5528802,"id":"Q5528802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322853$B3FDC6ED-285D-43E0-8B00-5719CE32016D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ccab2846a1a48bba6e4178fcd9bd09b8770a692","datavalue":{"value":{"entity-type":"item","numeric-id":1741434,"id":"Q1741434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322853$7D5D3C1B-3570-4CC0-8014-5E8A4FF3BB51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606e2ac1108ee9966d599adf5bc823740cd75525","datavalue":{"value":{"entity-type":"item","numeric-id":4423053,"id":"Q4423053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322853$A5DE8F24-1A64-488E-8234-04C0E75C93E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bf028fa680893394c2ca98bb4e896e9d867e7b7","datavalue":{"value":{"entity-type":"item","numeric-id":4553478,"id":"Q4553478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322853$D167DF50-81EA-4CBC-A5B0-CD027EEEC885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8452a42f967283678b2bde25575f0471379fb78a","datavalue":{"value":{"entity-type":"item","numeric-id":786857,"id":"Q786857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322853$24441538-7E5F-404E-A90C-CFEAE46A7500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007f52668038ef325499fb35ec49f4f1430b428c","datavalue":{"value":{"entity-type":"item","numeric-id":1055486,"id":"Q1055486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322853$92F1ED23-ABA8-4DF3-B937-742F56859DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a59e422ea036422d800ed06bc0be82f98da66e05","datavalue":{"value":{"entity-type":"item","numeric-id":5514705,"id":"Q5514705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322853$5EAD23EF-7805-4EF6-BFB7-B412C374712D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17205437d1f7b58bec638121c9364237da6f3a7d","datavalue":{"value":{"entity-type":"item","numeric-id":3741682,"id":"Q3741682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322853$BEFD1111-1043-4C52-8668-6479CD5F75AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d71a62f072a25be9435f447507c13d24e4400cc","datavalue":{"value":{"entity-type":"item","numeric-id":998248,"id":"Q998248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322853$AAE4BA5D-87CA-4DAE-A034-9CB181C3E402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfe5596f119a7a2d660691832df76b2e1baaad8e","datavalue":{"value":{"entity-type":"item","numeric-id":3997223,"id":"Q3997223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322853$B7F9CA4F-F4C3-4577-8079-B6DC5214CBB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e123ef7136fea4776f9c26817c68ac7e637f4aa","datavalue":{"value":{"entity-type":"item","numeric-id":4121988,"id":"Q4121988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2322853$37783EA2-B206-4D28-9465-2458A5AE3977","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a776017e73775af418f1129bc47d0224a430f468","datavalue":{"value":"Q128327040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322853$91C5AE2D-A8A3-44CE-9B24-325644D53A18","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b96e1431070f828182540f484b4963f727bc1c23","datavalue":{"value":"10.1007/S40316-019-00112-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2322853$F4104A15-23AA-46F7-B141-CFE8419665AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e33b9a859a6f410396d9f6d8de653f05b3406b4","datavalue":{"value":{"entity-type":"item","numeric-id":3741676,"id":"Q3741676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1739466e350ca9b375f6113de69aa45cb471eea0","datavalue":{"value":{"amount":"+0.786217987537384","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":"Q2322853$8E009843-7A90-4CB2-9996-E7C7D0851DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f488e1135dc1af45d61cac0d8d897689144b07c","datavalue":{"value":{"entity-type":"item","numeric-id":5315195,"id":"Q5315195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dec8d64655e6089f3365e15141cffe0b20d75929","datavalue":{"value":{"amount":"+0.7769176363945007","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":"Q2322853$976C6281-8B6C-4EBD-8341-0EC329B77708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1779ce2faab76e586c73b55608ce16506f0a945d","datavalue":{"value":{"entity-type":"item","numeric-id":3294668,"id":"Q3294668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3894b800d111f24e59a7525a1c627090d554e694","datavalue":{"value":{"amount":"+0.7731754779815674","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":"Q2322853$DE3FE530-D5AF-4F2C-9080-3BA18C543857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a37ec7263e125a8453126f1ac1a6ab3e92421252","datavalue":{"value":{"entity-type":"item","numeric-id":795870,"id":"Q795870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9f36169c167e58f2e61d9a365e6352a88a541af","datavalue":{"value":{"amount":"+0.766455888748169","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":"Q2322853$07950871-460C-4781-B6AB-F8A550E92A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29739e082c42af1712bf5ec291f922efd28bca01","datavalue":{"value":{"entity-type":"item","numeric-id":2788667,"id":"Q2788667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0aca27c841f2a0e384538a6bad652686b4af2b3","datavalue":{"value":{"amount":"+0.765485942363739","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":"Q2322853$FBF72AAC-C4FF-4CCB-9535-AA44A451397A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Classes of order 4 in the strict class group of number fields and remarks on unramified quadratic extensions of unit type","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Classes_of_order_4_in_the_strict_class_group_of_number_fields_and_remarks_on_unramified_quadratic_extensions_of_unit_type"}}}}}