{"entities":{"Q863969":{"pageid":865817,"ns":120,"title":"Item:Q863969","lastrevid":64988778,"modified":"2026-04-11T23:34:09Z","type":"item","id":"Q863969","labels":{"en":{"language":"en","value":"On some \\(p\\)-adic power series attached to the arithmetic of \\(\\mathbb Q(\\zeta_p)\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5124516"}},"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":"Q863969$1A963AD6-E697-412D-97E5-A970ADAE3D6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"722a7d08f59fb76095a9e640f1144dd2a7efbfdd","datavalue":{"value":{"text":"On some \\(p\\)-adic power series attached to the arithmetic of \\(\\mathbb Q(\\zeta_p)\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q863969$72E3B22E-F91E-46FA-A446-A090DAC24EC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a615f00549c5b983e8cef21c87a3a1643a0c6d45","datavalue":{"value":"1107.11046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863969$12C6AE0E-BC4B-4033-8E1B-86E8F5D8C327","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bc390d6c07fee9daec71f87f5976ea14e28e344","datavalue":{"value":{"entity-type":"item","numeric-id":175283,"id":"Q175283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863969$BB3DE1A0-57FD-4194-8788-21774E87828C","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":"Q863969$9E9C189C-F965-467A-8490-04C0F031A088","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a45291ee8d7b5555553b7864c822d601856c674","datavalue":{"value":{"time":"+2007-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q863969$F4F351F7-0B36-4E32-A54B-DE271F0DC26D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"947de9945e787f35a895e9abc7a54fb750d0c15c","datavalue":{"value":"https://arxiv.org/abs/math/0510293","type":"string"},"datatype":"url"},"type":"statement","id":"Q863969$058C74F0-0330-48E1-BF71-9253427FA8D3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c181c297655bdbce4435a23734c3461d7383a298","datavalue":{"value":"For a prime \\(p>2\\) and an even nontrivial character \\(\\theta\\) with conductor \\(f_\\theta\\) not divisible by \\(p^2\\), let \\(f(T,\\theta) = \\sum_{k=0}^\\infty a_kT^k\\) denote the Iwasawa power series representing the \\(p\\)-adic \\(L\\)-function \\(L_p(s,\\theta)\\). By the Ferrero--Washington theorem, the \\(\\mu\\)-invariant of \\(f(T,\\theta)\\) is zero, that is, at least one \\(a_k\\) is a \\(p\\)-adic unit. Assuming that \\(f_\\theta = p\\), the author proves that the derivative of \\(f(T,\\theta)\\) does not vanish mod \\(p\\). Thus, there is a coefficient \\(a_k\\) such that both \\(k\\) and \\(a_k\\) are prime to \\(p\\).   To describe the proof, let \\(\\omega\\) denote the cyclotomic character mod \\(p\\) and let \\(\\mu_d'\\) be the set of primitive \\(d\\)th roots of 1, where \\(d\\geq 1\\), \\(\\,d\\) prime to \\(p\\). Assume that \\(\\rho\\in\\mu_{\\ell}'\\), where \\(\\ell\\) is a prime \\(\\geq p^2\\). The author studies a power series that may be defined by   \\[  M(T,\\theta,\\rho) \\equiv (\\rho^{p^{n+1}}-1)^{-1}\\sum_k \\rho^k(\\theta\\omega^{-1})(k)(1+T)^{i(k)} \\pmod {(1+T)^{p^n}-1}  \\]   for all \\(n\\geq 0\\), where the sum is extended over \\(1 \\leq k \\leq p^{n+1}-1\\), with \\(k\\) prime to \\(p\\), and where \\(i(k)= \\text{ Log}_p(k)/\\text{ Log}_p(1+p)\\) (\\(\\text{Log}_p\\) means the \\(p\\)-adic logarithm on an algebraic closure of \\({\\mathbb Q}_p\\)). He considers the derivative of this power series and proves that \\(\\sum_{\\rho\\in\\mu_{\\ell}'}M'(T,\\theta,\\rho)\\not\\equiv 0 \\!\\! \\pmod p\\) whenever \\(\\ell\\) belongs to a certain residue class mod \\(p\\). Here use is made of Sinnott's lemma (Lemma 16.9 in \\textit{L. C. Washington}'s book ``Introduction to cyclotomic fields'' [2nd ed., Springer (1997; Zbl 0966.11047)]) which was crucial in Sinnott's proof of the Ferrero-Washington theorem. The final result then follows from the relationship  \\[  \\sum_{\\rho\\in\\mu_d'}M(T,\\theta,\\rho) = -f((1+T)^{-1}-1,\\,\\theta) \\bigg(\\sum_{\\ell\\mid d} \\ell\\mu(d/\\ell)(\\theta\\omega^{-1})(\\ell) (1+T)^{i(\\ell)}\\bigg),  \\]  where \\(\\mu(\\cdot)\\) is the M\u00f6bius function and \\(d \\geq 2\\).   The author also treats the power series \\(g(T,\\theta) = \\big(1-(1+dp)(1+T)^{-1}\\big)f(T,\\theta)\\), where \\(f_\\theta = d\\) or \\(dp\\) with \\(d \\geq 1\\), \\(\\,d\\) prime to \\(p\\). Again it is known that \\(g(T,\\theta)\\) is nonzero modulo a prime of \\({\\mathbb Q}_p(\\theta)\\), and the author applies Sinnott's lemma to prove that the same is true of \\(g'(T,\\theta)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q863969$E5EFDF89-89BA-43A4-9662-94AC7A6E3671","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4991d60e07c8d9a9bf6ca12e61e8f2f85c1f64c7","datavalue":{"value":"11R23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863969$C57EB0BD-1114-41B3-9EA1-8317E4D3407F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33596e09702254c39edd592e961d4cba7cfc6c47","datavalue":{"value":"11R18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863969$BE117E7B-A7F8-4378-93AC-D27FDFAA72A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"60812a381dd95773e68c54b90aa92d52a1e9cecb","datavalue":{"value":"11R42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863969$4F3D58B0-565A-468A-BFFE-AD170B61C1C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"053f11f6953af79fe6c3911d409c63cd75ca87c2","datavalue":{"value":"5124516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863969$937BD98E-074B-4365-BC16-E0A1C74E52FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81de39553caa2c042cc65d6781dcb2c26750423d","datavalue":{"value":"Iwasawa theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q863969$4BB08E7D-EDE8-47AA-93F2-4B9DE24D3ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"891b0557a52ce04b2689537aa0c52513b0521f40","datavalue":{"value":"cyclotomic fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q863969$107E677C-99C9-4D8E-B535-BD991E301F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a409adf263eab4363799e8fbc30eeebb852cbf3","datavalue":{"value":"Zeta functions of number fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q863969$7562E1FB-7975-4B7B-BC30-02A44B81A2BE","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":"Q863969$C84B45F6-560C-4A90-B4ED-A583E18DE538","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"19634b932ca23e8a81395aee34123db52cd8d345","datavalue":{"value":"W1975785863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863969$231AAD2C-2C76-4CB2-B24D-D9421D86F178","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b0f2c03957ecbd3160c7047daed13b3daf8afe9","datavalue":{"value":{"entity-type":"item","numeric-id":1893468,"id":"Q1893468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863969$FCED7B19-D726-4E24-84D5-C99AA26A0509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8645748c0f40edd605333d370beb79dad980ab25","datavalue":{"value":{"entity-type":"item","numeric-id":2717613,"id":"Q2717613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863969$08C0D807-637C-4279-AA31-DD6831B5F979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc8ac9db58c8b1e6179c037e4ff731338cbdefec","datavalue":{"value":{"entity-type":"item","numeric-id":1137612,"id":"Q1137612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863969$9CA045AB-5B10-40E4-A064-F4E43AEFA188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"878b16a2a7f2cbaf2cfcc3d96ec259e92d8dee7b","datavalue":{"value":{"entity-type":"item","numeric-id":1144081,"id":"Q1144081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863969$208206FF-617E-4ECC-AC6A-F0D70F5D8A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4375892bb946be7023e03fb24a39c99b32dfb3","datavalue":{"value":{"entity-type":"item","numeric-id":3277518,"id":"Q3277518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863969$BAD93C4B-4E02-4D40-BEED-69E341F56726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6032ed01a29ee17b31e6eae3502c0839da3b450a","datavalue":{"value":{"entity-type":"item","numeric-id":3481808,"id":"Q3481808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863969$65946315-27BD-4A4D-93A7-B8F819FD317B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ad84ae9cbfe8d89d1403f118b4b4c21106e7a8","datavalue":{"value":{"entity-type":"item","numeric-id":1250132,"id":"Q1250132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863969$2C8AA2D7-2F10-447B-90AF-A5E9F42AEDFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"595f83fa375be2b3feb18a6cdd45cb1399bf39a2","datavalue":{"value":{"entity-type":"item","numeric-id":3904661,"id":"Q3904661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863969$31B58409-0D55-4788-93B6-F5E2770E739D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba9ff1b7ea0f864b8bb4eec35de212f3a888b173","datavalue":{"value":{"entity-type":"item","numeric-id":1764780,"id":"Q1764780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863969$073005F8-F6B3-4B8A-AECD-CE23DC891F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4b6c84545fb8cf90846b3577430cd68cc8e230a","datavalue":{"value":{"entity-type":"item","numeric-id":788041,"id":"Q788041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863969$28B0A698-38E9-4779-9348-D817406DC433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4887303a335eaa7c8088c5a2ff57fcaf4399a6ca","datavalue":{"value":{"entity-type":"item","numeric-id":3784218,"id":"Q3784218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863969$7F4B3580-925A-4A19-8B09-71297319E2FD","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":"Q863969$C41B5290-B01E-4FFC-AB56-CCDC8C291B14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76303e13e786ea51da513c30551fc85d2e791aa3","datavalue":{"value":"10.1016/J.JNT.2006.04.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863969$A8B8D8CE-B924-48DD-80F4-BF6E300F4AD0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"257fba7897cdb3c6574747e14608330648117401","datavalue":{"value":{"entity-type":"item","numeric-id":1038478,"id":"Q1038478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9395a8d8325738ed02171de70e1a00b8d191baf","datavalue":{"value":{"amount":"+0.890009880065918","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":"Q863969$8609BBFA-C321-4289-8C06-86E08F7CE0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bb35014098e7a41d163389c102243846258d452","datavalue":{"value":{"entity-type":"item","numeric-id":3331299,"id":"Q3331299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6733c14295d6e383db59489c8b1e16a5acbf6730","datavalue":{"value":{"amount":"+0.8637403249740601","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":"Q863969$085EF728-5226-4039-89EF-68767A42F3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f990de765125b53c9425f372edd9e9fe1f40eade","datavalue":{"value":{"entity-type":"item","numeric-id":3530815,"id":"Q3530815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"104371ad0b26c946ee4649f4dfac47cfa42c1896","datavalue":{"value":{"amount":"+0.8328381180763245","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":"Q863969$29B42E9D-DF06-41C2-AC16-76360F788CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57a1fc7da671101b02adbd72122d95ea76ab80b1","datavalue":{"value":{"entity-type":"item","numeric-id":4161780,"id":"Q4161780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20dfca8d746ba079cc781ef51274b40311fc69fe","datavalue":{"value":{"amount":"+0.8163480758666992","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":"Q863969$2CBE753F-B7B0-4590-B9BB-1B082C8975F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b54cbe9e68b5cef3d0d1d55197004b24a80ddfe9","datavalue":{"value":{"entity-type":"item","numeric-id":2268808,"id":"Q2268808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"829d6d3924009c75bf20c2432ada80bebf269097","datavalue":{"value":{"amount":"+0.8022359013557434","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":"Q863969$E7D87075-A188-4EBC-98BD-5848F5525969","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On some \\(p\\)-adic power series attached to the arithmetic of \\(\\mathbb Q(\\zeta p)\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_some_%5C(p%5C)-adic_power_series_attached_to_the_arithmetic_of_%5C(%5Cmathbb_Q(%5Czeta_p)%5C)"}}}}}