{"entities":{"Q2634759":{"pageid":2645502,"ns":120,"title":"Item:Q2634759","lastrevid":52458899,"modified":"2026-01-22T17:02:42Z","type":"item","id":"Q2634759","labels":{"en":{"language":"en","value":"Semi-local units at \\(p\\) of a cyclotomic \\(\\mathbb{Z}_p\\)-extension congruent to 1 modulo \\(\\zeta_p - 1\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6542229"}},"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":"Q2634759$CE97076D-CCC0-4B7A-86CC-8BB711AECBBE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66ca0a1666aaa7d3b9f9476e3368f26ed18f52c2","datavalue":{"value":{"text":"Semi-local units at \\(p\\) of a cyclotomic \\(\\mathbb{Z}_p\\)-extension congruent to 1 modulo \\(\\zeta_p - 1\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2634759$3F5C41E5-4FD7-4262-9587-EBB6CA3109D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"745f7bcc92123f656d53e40df768064b79dbd414","datavalue":{"value":"1336.11073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2634759$44C9F002-695D-4E5B-A741-7420ED3F6047","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55e3758e57c8ff08e7f1d1cfcce559ff5cfa0c64","datavalue":{"value":{"entity-type":"item","numeric-id":177346,"id":"Q177346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634759$51F10E60-A6D0-40F2-8EB0-5A25D4B7D005","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8906603afbe7d7f343c7af08e15171ad84bcd46b","datavalue":{"value":{"entity-type":"item","numeric-id":189797,"id":"Q189797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634759$CE07239F-2ECD-49A7-AF8C-914C31775A3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0fbb1c99210203060d83e8748755157d2741267","datavalue":{"value":{"time":"+2016-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2634759$D988F7C0-A3CD-4C1C-AD8D-4F972246C34B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d605ae12ff0b8861212e466de1b0f1db1feb24c0","datavalue":{"value":"For \\( p \\) a prime number, let \\( K \\) be an abelian number field such that \\( p\\nmid [K:\\mathbb{Q}] \\) and \\( \\zeta_p\\in K, \\) with \\( \\zeta_p \\) a primitive \\( p \\)-th root of unity. Let \\( K_{\\infty}/K \\) be the cyclotomic \\( \\mathbb{Z}_p \\)-extension and \\( K_n \\) the \\( n \\)-th layer (with \\( K_0=K \\)). Let \\( \\mathcal{U}_n \\) be the group of semi-local principal units of \\( K_n \\) at \\( p, \\) let \\( \\mathcal{U}_{\\infty}=\\varprojlim \\mathcal{U}_n\\) be the projective limit with respect to the relative norms \\( K_m\\to K_n \\) (for \\( m>n \\)) and let \\( \\mathcal{V}_n \\) be the image of the projection \\( \\mathcal{U}_{\\infty}\\to\\mathcal{U}_n. \\) Further, let \\( \\mathcal{U}_n^{(1)}=\\{u\\in \\mathcal{U}_n:u\\equiv1\\pmod {\\zeta_p-1} \\} \\) and \\( \\mathcal{V}_n^{(1)}=\\mathcal{U}_n^{(1)}\\cap\\mathcal{V}_n. \\) The groups \\( \\mathcal{U}_n,~\\mathcal{V}_n,~\\mathcal{U}_n^{(1)} \\) and \\( \\mathcal{V}_n^{(1)} \\) can be regarded as modules over the Galois groups \\( \\Delta=\\mathrm{Gal}(K/\\mathbb{Q}) \\) and \\( \\Gamma=\\mathrm{Gal}(K_{\\infty}/K). \\) The structure of \\( \\mathcal{U}_n \\) as a Galois module is well understood. In this paper, the aim of the author is to determine the structure of \\( \\mathcal{U}_n^{(1)}. \\)  For \\( \\bar{\\mathbb{Q}}_p \\) a fixed algebraic closure of \\( \\mathbb{Q}_p, \\) let \\( \\chi \\) be a fixed \\( \\bar{\\mathbb{Q}}_p \\)-valued character of \\( \\Delta \\) and let \\( \\mathcal{O}=\\mathcal{O}_{\\chi} \\) be the subring of \\( \\bar{\\mathbb{Q}}_p \\) generated by the values of \\( \\chi \\) over \\( \\mathbb{Z}_p. \\) Upon choosing a generator \\( \\gamma \\) of \\( \\Gamma \\) and identifying the completed group ring \\( \\mathcal{O}[[\\Gamma]] \\) with the power series ring \\(\\Lambda=\\Lambda_{\\chi}=\\mathcal{O}[[s]] \\) (via \\( \\gamma\\leftrightarrow 1+s), \\) one can regard the \\( \\chi \\)-parts \\( \\mathcal{U}_{\\infty}(\\chi),~\\mathcal{U}_n(\\chi) \\) etc. as modules over \\( \\Lambda. \\)  The \\( \\Lambda \\)-module structures of \\( \\mathcal U_n(\\chi) \\) and \\( \\mathcal V_n(\\chi) \\) are known, see \\textit{R. Coleman} [Proc. Am. Math. Soc. 89, 1--7 (1983; Zbl 0528.12005)], \\textit{R. Gillard} [Ann. Inst. Fourier 29, No. 4, 1--15 (1979; Zbl 0403.12006)], \\textit{K. Iwasawa} [J. Math. Soc. Japan 16, 42--82 (1964; Zbl 0125.29207)]. Usually, \\( \\mathcal{U}_n(\\chi)=\\mathcal{V}_n(\\chi) \\) and \\( \\mathcal{V}_n(\\chi)\\cong\\Lambda/w_n \\) (as \\( \\Lambda \\)-modules) where \\( w_n=w_n(s)=(1+s)^{p^n}-1. \\) Building up on the work in [J. Reine Angew. Math. 462, 169--184 (1995; Zbl 0815.11055)], where the author determined the ideal \\( J_{n,\\chi} \\) of \\( \\Lambda \\) corresponding to the submodule \\( \\mathcal{V}_n^{(1)}(\\chi) \\) under the above isomorphism in the case when \\( p\\geq 3 \\) does not split in \\( K \\) and \\( \\chi \\) is \\textit{even}, i.e., \\( \\chi(-1)=1, \\) the author describes, in the present paper, the \\( \\Lambda \\)-module structure of \\( \\mathcal{V}_n^{(1)}(\\chi) \\) in the general situation when \\( p\\nmid [K:\\mathbb{Q}] \\) and \\( \\chi \\) is not necessarily even, including the case \\( p=2. \\)  More precisely, on regarding \\( \\chi \\) and its dual \\( \\chi^*=\\omega_{\\tilde{p}}\\chi^{-1} \\) (where \\( \\tilde{p}=2p \\) or \\( p \\) if \\( p=2 \\) or \\( p\\geq 3 \\) respectively, and \\( \\omega_{\\tilde{p}}\\) is the Teichm\u00fcller character of conductor \\( \\tilde{p} \\)) as primitive Dirichlet characters, one classifies the character \\( \\chi \\) into three types:  \\[ \\text{(A)}~\\chi(p)\\neq1\\text{ and }\\chi^*(p)\\neq1,\\quad \\text{(B)}~\\chi^*(p)=1,\\quad\\text{(C)}~\\chi(p)=1.  \\]   If \\( \\mathbb{T} \\) denotes the \\( \\Lambda \\)-torsion submodule of \\( \\mathcal{U}_{\\infty}(\\chi), \\) it is known (see \\textit{R. Gillard} [Ann. Inst. Fourier 29, No. 4, 1--15 (1979; Zbl 0403.12006)]) that, as \\( \\Lambda \\)-modules,  \\[ \\mathcal{U}_{\\infty}(\\chi)\\cong\\Lambda,\\;\\text{for type (A) or (C)\\quad and\\quad}\\mathcal{U}_{\\infty}(\\chi)\\cong \\Lambda\\oplus\\mathbb{T},~\\text{for type (B)}  \\]  and also, if we set \\( \\tilde{\\mathcal{V}}_n(\\chi)=\\mathcal{V}_n(\\chi) \\) for type (A) or (C) and \\( \\tilde{\\mathcal{V}}_n(\\chi)=\\mathcal{V}_n(\\chi)/\\mathbb{T}_n\\) for type (B), where \\( \\mathbb{T}_n \\) is the projection of \\( \\mathbb T \\) to \\(\\mathcal{U}_{n}(\\chi),\\) that  \\[ \\tilde{\\mathcal{V}}_n(\\chi)\\cong \\Lambda/(w_n),~\\text{for type (A) or (B)\\quad and}\\quad \\tilde{\\mathcal{V}}_n(\\chi)\\cong\\Lambda/(w_n,2w_n/s),~\\text{for type (C).}  \\]   Let \\(\\tilde{\\mathcal{V}}_n^{(1)}(\\chi)=\\mathcal{V}_n^{(1)}(\\chi)\\) for type (A) or (C) and \\( \\tilde{\\mathcal{V}}_n^{(1)}(\\chi)=\\mathcal{V}_n^{(1)}(\\chi)\\mathbb{T}_n/\\mathbb{T}_n \\) for type (B). Define the ideal \\( J_{n,\\chi} \\) of \\( \\Lambda \\) containing \\( w_n \\) (resp. \\( w_n \\) and \\( 2w_n/s \\)) for type (A) or (B) (resp. type (C)), so that the above isomorphism induces  \\[ \\tilde{\\mathcal{V}}_n^{(1)}(\\chi)\\cong J_{n,\\chi}/(w_n),~\\text{for type (A) or (B)\\quad and}\\quad\\tilde{\\mathcal{V}}_n^{(1)}(\\chi)\\cong J_{n,\\chi}/(w_n,2w_n/s),~\\text{for type (C).}  \\]   For \\( n\\geq 1 \\) let the ideal \\( I_{n,\\chi} \\) of \\(\\Lambda\\) be given by  \\[ I_{n,\\chi}=\\langle p^n,p^{n-1-k}s^{p^k}\\mid 0\\leq k\\leq n-1\\rangle,~\\text{for type (A) or (C)} \\]  and  \\[ I_{n,\\chi}=\\langle p^{n-1-k}s^{p^k-1}\\mid 0\\leq k\\leq n-1\\rangle,\\;\\text{for type (B)} \\]  and put \\( I_{0,\\chi}=\\Lambda. \\)  The main result of the paper can now be formulated as follows:  \\[ \\mathit{Under the above setting, we have}\\;J_{n,\\chi}=I_{n,\\chi}\\text\\textit{for all }\\;n\\geq 0\\text\\textit{and }\\;\\chi. \\]  The two main steps of the proof are showing that \\( I_{n,\\chi}\\subseteq J_{n,\\chi} \\) for each \\( \\chi \\) associated to \\( K \\) and showing that the products \\( \\prod_{\\chi}|\\Lambda_{\\chi}/I_{n,\\chi}| \\) and \\( \\prod_{\\chi}|\\Lambda_{\\chi}/J_{n,\\chi}| \\) are equal.  It is worth mentioning that this is done in a rather elementary way.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2634759$5207F9DA-138D-431C-97B6-E668691C9A92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24e5b7f8ca20d94f3699aee4e716913978234845","datavalue":{"value":"11S23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2634759$A4F831AA-85DF-4092-A515-EFB41285EA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33596e09702254c39edd592e961d4cba7cfc6c47","datavalue":{"value":"11R18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2634759$4CF61B5D-324A-455E-A362-0F250B123DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4991d60e07c8d9a9bf6ca12e61e8f2f85c1f64c7","datavalue":{"value":"11R23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2634759$BC6F7FAD-2A9B-40A0-86DD-333C7D31C59A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"133866772d94aaf9f48ce7b9dba4e5bae78ff127","datavalue":{"value":"6542229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2634759$1EE990F4-1587-43BF-AF61-D463465BFE72","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"106a6a573ca3c3787b50b00da6f8853e89f72949","datavalue":{"value":"semi-local units","type":"string"},"datatype":"string"},"type":"statement","id":"Q2634759$8463D8FA-3654-4338-8ECF-01834E245AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"462401eee233b4b56e2cb1ec376d22a1ce673844","datavalue":{"value":"cyclotomic \\(\\mathbb{Z}_p\\)-extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q2634759$2F57DE28-D013-4414-A553-AF16A10AFC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cff4a33e3db0079d72140831886d50a108b277f9","datavalue":{"value":"Galois module structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2634759$BDD3598C-AF6B-4F01-B19F-6F4C706DA18E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"955e0c75ece7781a781d89223c983b6594f89e5c","datavalue":{"value":{"entity-type":"item","numeric-id":250303,"id":"Q250303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2634759$A5752274-FE9A-427D-9C63-A58D7D1F1471","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":"Q2634759$AC92578A-EF1A-468B-A381-CB7412CFD89E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab558f41f5b97e9d59b302a59bc522d0d440b117","datavalue":{"value":"https://doi.org/10.14492/hokmj/1470053371","type":"string"},"datatype":"url"},"type":"statement","id":"Q2634759$58CE87FD-021B-4BE6-BE28-AF6D810D010E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba8d8724ac1a5b8a70b734d2ca3cc2f18db61b1b","datavalue":{"value":"W2482242750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2634759$11055E94-B5F8-4396-B852-B9B29CD92F4F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"439eb0365f3dbda71d37fa925643e3d1da1c30a8","datavalue":{"value":"Q114053839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2634759$82CA57CD-ADFB-4DB5-A19F-F073956B77E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5bc2c22e716959b19f6fbce58569591fdcc49673","datavalue":{"value":"10.14492/HOKMJ/1470053371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2634759$3E0F25FE-A21D-44BA-AFF4-705DEE75B7EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43a3d9127ad46b36a060ee274029a8eae49d8087","datavalue":{"value":{"entity-type":"item","numeric-id":1349504,"id":"Q1349504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74f8e742c3732ca0ca5e7cdcd908cdbdf038b302","datavalue":{"value":{"amount":"+0.8350035548210144","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":"Q2634759$082857ED-8453-4DAD-816F-565C94C70648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43c5cb2e93340bc82cbee97350fd18cb99cc65b3","datavalue":{"value":{"entity-type":"item","numeric-id":1951001,"id":"Q1951001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca2ff6de41abe3efc53945b4a7af83bdae9d70ca","datavalue":{"value":{"amount":"+0.8350034952163696","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":"Q2634759$19A453E1-181C-43DF-9B6C-A79E0F9CE31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00fd0fbe5de239c10ee9ca3d824c2866cf84eeab","datavalue":{"value":{"entity-type":"item","numeric-id":1306691,"id":"Q1306691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a5b7079663555d629400f54fe4fdc5343c2db9e","datavalue":{"value":{"amount":"+0.830878734588623","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":"Q2634759$AD371EED-04E6-45A6-965B-9E3E9A21A636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eb01a4a340675484a16df5687b40d675c8a319b","datavalue":{"value":{"entity-type":"item","numeric-id":4876281,"id":"Q4876281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c1b6e8a35598594e2a210dd52b5aec71cb53f1d","datavalue":{"value":{"amount":"+0.8308023810386658","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":"Q2634759$3A9AA228-7847-4224-A797-00BB755D66B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc029e37c95df776bb964bb7320a042612621d8c","datavalue":{"value":{"entity-type":"item","numeric-id":1267290,"id":"Q1267290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbf20b0537bde8d55a351f14f276dc70db712017","datavalue":{"value":{"amount":"+0.8024859428405762","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":"Q2634759$BE50EE3D-28A5-4C59-B26E-B66E5212D22D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2634759","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2634759"}}}}}