{"entities":{"Q2441400":{"pageid":2452143,"ns":120,"title":"Item:Q2441400","lastrevid":74113797,"modified":"2026-04-14T18:24:59Z","type":"item","id":"Q2441400","labels":{"en":{"language":"en","value":"On the Washington subgroup of the unit group of certain abelian fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6272815"}},"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":"Q2441400$4566B98D-6130-4959-BBCF-F367AE66A25D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a84797974998360750cf5cb16f5e95c462879802","datavalue":{"value":{"text":"On the Washington subgroup of the unit group of certain abelian fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2441400$68554E7B-95CA-4888-93F0-2A839A1109EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7bdb1501751330ce50b499e669ff76a66d1807a5","datavalue":{"value":"1290.11150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441400$57984730-395D-41A5-89B1-76A1B045DD3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79c13b71e50a71494a158813d603da37d7f13cda","datavalue":{"value":{"entity-type":"item","numeric-id":514787,"id":"Q514787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441400$82657A57-5D82-4C0A-9B28-D965BDBFBFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e18d5c89d8fa57d0e9b227a88d30865ab2cc0ecd","datavalue":{"value":{"entity-type":"item","numeric-id":514788,"id":"Q514788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441400$8F405EB7-E069-4E42-9FF6-C6B9EEFF77CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"08c25da5813a64bb58b545e5a473febdb94089f7","datavalue":{"value":{"entity-type":"item","numeric-id":175895,"id":"Q175895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441400$1B53E02E-C0C3-465C-8592-6B558E275778","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"630dce3b2853701ed9536abebcceb27951f83aed","datavalue":{"value":{"time":"+2014-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2441400$DE31F9F2-6BD9-4615-9326-DA427D4E2B0D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"89b00dc76a76eba500ecfdd6d42d817b61138f94","datavalue":{"value":"For an abelian number field \\(K\\) of conductor \\(n\\), \\textit{W. Sinnott} [Invent. Math. 62, 181--234 (1980; Zbl 0465.12001)] defined the group \\(C_S(K)\\) of \\textit{circular units} of \\(K\\) by  \\[ C_S(K)=E(K)\\cap\\langle -1,N_{\\mathbb Q(\\zeta_m)/K\\cap\\mathbb Q(\\zeta_m)} (1-\\zeta_m^a)\\;|\\;m,a\\in\\mathbb Z,\\;1<m\\;| \\;n,\\;(a,m)=1\\rangle, \\]  where \\(E(K)\\) is the group of units of \\(K\\). On the other hand, [\\textit{L. Washington}, Introduction to cyclotomic fields. Berlin: Springer (1982; Zbl 0484.12001), 2nd ed. (1997; Zbl 0966.11047)] suggested another group of circular units by \\(C_W(K)=K\\cap C_n=C_n^{\\text{Gal}(\\mathbb Q(\\zeta_n)/K)}\\), where \\(C_n\\) is the group of cyclotomic units of \\(\\mathbb Q(\\zeta_n)\\) and \\(C_S(K)\\subseteq C_W(K)\\). By a basis of a finitely generated abelian group \\(M\\), we mean a basis of the free part of \\(M\\). The aim of the paper is to find a basis \\(B_W(K)\\) of \\(C_W(K)\\) and obtain the index formula for \\([E(K):C_W(K)]\\) for a subfield \\(K\\) of \\(\\mathbb Q(\\zeta_n)\\) when the conductor \\(n=p_1^{e_1}p_2^{e_2}\\) of \\(K\\) has two distinct odd primes.  Put \\(q_i=p^{e_i}\\) for \\(i=1,2\\), \\(\\phi_i=\\phi(q_i)\\) where \\(\\phi\\) is the Euler function and \\(L=\\mathbb Q(\\zeta_{q_1})^+\\mathbb Q(\\zeta_{q_2})^+\\). Let \\(\\sigma_i\\) be a generator of \\(\\text{Gal}(\\mathbb Q(\\zeta_{q_i})/\\mathbb Q)\\) for \\(i=1,2\\) and \\(\\sigma_{i,j}=\\sigma_1^i\\sigma_2^j\\) corresponding extensions to \\(\\mathbb Q(\\zeta_n)\\). Let \\(\\overline {I} =\\{(i,j)\\;|\\;0\\leq i < \\phi_1/2\\text{\\;and\\;} 0\\leq j<\\phi_2\\} \\) and \\(I=\\overline{I}-\\{(0,0)\\}\\). Let \\(\\delta(i,j)=(1-\\zeta_n^{\\sigma_{i,j}})\\zeta_n^{-\\sigma_{i,j}/2}\\) and \\(\\delta^+(i,j)=\\delta(i,j)\\delta(0,\\phi_2/2)\\). If \\(K\\) is a real field, let \\(m=[\\mathbb Q(\\zeta_n)^+:K]\\) and \\(Gal(\\mathbb Q(\\zeta_n)^+/K)=\\{\\tau_1=id,\\tau_2,\\dots,\\tau_m\\}\\).  Let  \\[ \\hat{I}_{r1s,r_2}=\\{(i,j)\\in I\\;|\\;0\\leq i<r_1s, \\;\\phi_2/2\\leq j<\\phi_2/2+r_2\\} \\]  where the integer \\(s\\) is connected to a \\textit{certain circular unit \\(\\Theta\\)} introduced in [\\textit{J. M. Kim} and \\textit{J. Ryu}, J. Number Theory 131, No. 4, 737--744 (2011; Zbl 1229.11135)] (whose previous reading is necessary to understand the present article). The authors examine the basis \\(B_W(K)\\) successively for \\(K=L\\), \\(K\\) subfield of \\(L\\) and \\(K\\) subfield of \\(\\mathbb Q(\\zeta_n)\\). In this last case, as an example, they prove:  If \\([\\mathbb Q(\\zeta_n)^+:K]\\) is odd, then \\(B_W(K)=\\{u_K(i,j)\\;|\\;(i,j)\\in \\hat{I}_{r_1s,r_2}\\}\\cup B_W(k)\\) is a basis of \\(C_W(K)\\) where \\(k=K\\cap L\\) and \\(u_K(i,j)=N_{\\mathbb Q(\\zeta_n)^+/K}(\\delta^+(i,j))\\).   If \\([\\mathbb Q(\\zeta_n)^+:K]\\) is even, then \\(B_W(K)=\\{u_K(i,j)\\;|\\;(i,j)\\in \\hat{I}_{r_1s,r_2}\\}\\cup B_W(k)\\) is a basis of \\(C_W(K)\\) where \\(k=K\\cap L\\) and \\(u_K(i,j)=\\prod_{1\\leq l\\leq m}\\tau_l\\delta_(i,j)\\).  For an imaginary subfield \\(\\tilde{K}\\) of \\(\\mathbb Q(\\zeta_n)\\), the set \\(B_W(\\tilde{K})=\\{ \\delta_{\\tilde{K}}(i,j)\\;|\\;(i,j)\\in\\hat{I}_{r_1s,r_2}\\}\\cup B_W(k)\\) is a basis of \\(C_W(\\tilde K)\\) where \\(\\delta_{\\tilde{K}}(i,j)=N_{\\mathbb Q(\\zeta_n)/\\tilde{K}}(\\delta(i,j))\\).  In the last part of the article, using the circular unit \\(\\Theta\\) defined in [Zbl 1229.11135], they describe the group structure of \\(C_W(K)/C_S(K)\\) by comparing the basis \\(B_W(K)\\) they obtain with that of the Sinnott group \\(C_S(K)\\) given by \\textit{K. Dohmae} [J. Number Theory 61, No. 2, 343--364 (1996; Zbl 0869.11082)], from which the index formula for \\([E(K):C_W(K)]\\) can be derived.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2441400$E092C648-8060-4BB2-8F1B-E45111D01F87","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"06822504524dcfdcaf085711ac017760fd2656bc","datavalue":{"value":{"entity-type":"item","numeric-id":589836,"id":"Q589836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441400$656F9A40-3B15-44A5-BE8D-B1AC5BB2F098","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f4be43e4d3a36713afeec76035eb55b0d3950c7","datavalue":{"value":"11R27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441400$5EC2C6FD-FDC1-4F6E-963D-BEC780069BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33596e09702254c39edd592e961d4cba7cfc6c47","datavalue":{"value":"11R18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441400$2A82AC0D-62A1-4690-A707-95A4F3A60B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"de7f3c1190f7fe7db561a67d5059a061b3cbbffa","datavalue":{"value":"11R29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441400$213C2972-674E-42EC-9FD5-70D54D4E27C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3044d9941739ce7e0738fead8ed416916cc459af","datavalue":{"value":"6272815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441400$A9FB21C5-E25F-4733-B42A-3203E02A8C7A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e70dc22aea6862a276c816228a4a832cb4c4a63","datavalue":{"value":"circular unit","type":"string"},"datatype":"string"},"type":"statement","id":"Q2441400$6090F04B-6BDB-447D-8129-50F3969443EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e75c86d9bd2f0a4218a508af75159f262a9c58ae","datavalue":{"value":"unit index formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q2441400$0971127F-C19F-4279-A586-022BFC79ABE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca541973fe96d22ad8da1bac9ef8885230724137","datavalue":{"value":"class number","type":"string"},"datatype":"string"},"type":"statement","id":"Q2441400$221C9FD5-7DAC-4BEE-A819-454A4A8201EC","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":"Q2441400$E60148EA-FA1B-4B7C-A37C-FB6403AB8398","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a122d4e6667dde4b09f31eef457f8c06a098debf","datavalue":{"value":"https://doi.org/10.1007/s11139-012-9451-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2441400$119A9752-3141-4AAA-89A3-45640AD6264C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"42c77ef76555a65ee58af4e0e3fc92c322037ab3","datavalue":{"value":"W1989548524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441400$17E3CB67-D3FE-4502-848A-47A3174DA392","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"15bd7974d6227125525487f98b0e76db5f4310ca","datavalue":{"value":{"entity-type":"item","numeric-id":1352652,"id":"Q1352652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441400$4D48D98C-434F-46AF-AB00-F7F204E03C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be2515aa6804b05605661058761dd9c31acab3a7","datavalue":{"value":{"entity-type":"item","numeric-id":4369681,"id":"Q4369681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441400$64E7DD98-5AA3-4C85-B4EA-E1C49530F16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2912662e823d91e75d220015d16c02d26075af7f","datavalue":{"value":{"entity-type":"item","numeric-id":4205511,"id":"Q4205511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441400$D55C6798-3D07-44F9-A222-5D5B3F11BE63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dec4fda1b6f24e8939ef8a32e5761fb78d2bb79","datavalue":{"value":{"entity-type":"item","numeric-id":1313578,"id":"Q1313578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441400$C8D2FCD7-2D7A-4E3B-8B8D-5867D1116AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"856422f8aefa0bbb87f1c693c1d1282e22bda9a5","datavalue":{"value":{"entity-type":"item","numeric-id":627632,"id":"Q627632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441400$7C58C2BD-E3DA-4758-8331-4080D099A0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ea797dfef4b0d3da7a1dffd6ce04404bf2a8611","datavalue":{"value":{"entity-type":"item","numeric-id":1108319,"id":"Q1108319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441400$427621DC-FBCD-4540-9840-11FA3C49CFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6b451df7e74fea968e52996d4a0dcc7b0059c6","datavalue":{"value":{"entity-type":"item","numeric-id":1154503,"id":"Q1154503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441400$05BF5E02-1530-4394-8621-5F31001F77EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b30d5e572a2001443c05483b553f3cfd7bc29775","datavalue":{"value":{"entity-type":"item","numeric-id":5690489,"id":"Q5690489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441400$770B573F-FE58-49C9-99F2-2CC300E307B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d1b356a4bd72415e17d7b9395215b50cbbefcf9","datavalue":{"value":"10.1007/S11139-012-9451-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441400$3868110B-C661-408C-9682-87BAFCE2FDF9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f2ae61a9a79095d147f68eedbbfd1c0b382f2ca","datavalue":{"value":{"entity-type":"item","numeric-id":3024732,"id":"Q3024732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20913f7a16ca502968fdad1f68f059f946711371","datavalue":{"value":{"amount":"+0.8506492376327515","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":"Q2441400$193B530F-FB7C-4221-844F-296B94BF1E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8f89eb46f0e4a7ae9e03fd45250554b8dc347fa","datavalue":{"value":{"entity-type":"item","numeric-id":1346096,"id":"Q1346096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e39f08a329b98a622974cf03e63e731844ba2da","datavalue":{"value":{"amount":"+0.8214431405067444","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":"Q2441400$30D6D391-9D77-4E32-830B-793E0217D0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ae640444e6ee8d628439ff06b42394c3c2b2837","datavalue":{"value":{"entity-type":"item","numeric-id":1355101,"id":"Q1355101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e1f80faea2c7c846f612e64f0ceef012ba2bba4","datavalue":{"value":{"amount":"+0.8203009963035583","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":"Q2441400$00D40E4B-B174-4EFD-AD63-6E379968E182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"302bf3e033cce10a59a2b2722ea3411909b1573b","datavalue":{"value":{"entity-type":"item","numeric-id":1352652,"id":"Q1352652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c735d2a2c82ef4b7847b3c08bd93cfbd9134d218","datavalue":{"value":{"amount":"+0.8180018663406372","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":"Q2441400$A58727B5-26E9-4B3F-BF80-2CFA70C599D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2afa04fd1373cbb308dafe0b8908df38fefe50e","datavalue":{"value":{"entity-type":"item","numeric-id":4369681,"id":"Q4369681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5b122b980b1df0742e0045bbd0a11278600e9d6","datavalue":{"value":{"amount":"+0.8175822496414185","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":"Q2441400$14375F4F-80BE-4B13-AF80-8F2B3E1058E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the Washington subgroup of the unit group of certain abelian fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_Washington_subgroup_of_the_unit_group_of_certain_abelian_fields"}}}}}