{"entities":{"Q1900872":{"pageid":1911614,"ns":120,"title":"Item:Q1900872","lastrevid":69234225,"modified":"2026-04-13T05:39:35Z","type":"item","id":"Q1900872","labels":{"en":{"language":"en","value":"Coates-Wiles series and Mirimanoff's polynomial"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 809115"}},"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":"Q1900872$30CDFBD1-446F-4779-86AA-C098ADD4F1ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8681b4c2992f5f98cec7914a99409a746e9d6346","datavalue":{"value":{"text":"Coates-Wiles series and Mirimanoff's polynomial","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1900872$2EFC617E-BF7F-42BB-9C8B-A79D5042D671","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c6e9893ecb0f6f21d10843a3cbafc312bb13836","datavalue":{"value":"0842.11038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900872$E24C1D2A-F260-42C8-8377-142A1B239350","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":"Q1900872$2EFD323B-BCC6-4B53-86E9-5C933311929B","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":"Q1900872$23D04A3A-2D67-4C6F-A077-6D68693879AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5252e1eb2d7b7f01858e2e508ea93d40e7d49d49","datavalue":{"value":{"time":"+1996-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1900872$0316AC10-743F-47E4-A69F-7B163C55CE2B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"103d39bc3911cb99ea2b86d9e29686755d42475b","datavalue":{"value":"Suppose that \\(p\\) is an odd prime. The Mirimanoff polynomials \\(\\varphi_j (t)= \\sum^{p-1}_{v=1} v^{j-1} t^v\\) \\((1\\leq j\\leq p)\\) were used by Mirimanoff in connection with the first case of Fermat's last theorem [\\textit{P. Ribenboim}, 13 lectures on Fermat's last theorem (1979; Zbl 0456.10006)]. The author considers the polynomial \\(g(t)\\) which can be defined by  \\[ (p-2)! g(t)= \\sum^{p-2}_{k=0} \\sum^k_{i=0} (-1)^i {k\\choose i} (1+ i)^{p-2} (1-t )^{p-k-2}. \\]  Then \\(g(t)\\equiv \\varphi_{p-1} (1/ (1-t)) \\pmod p\\) for each integer \\(t\\) with \\(t\\not\\equiv 1\\pmod p\\).    The author expresses the power series \\(h_t (x) = \\prod_{w\\in R} (1+ x)^w -t\\) (where \\(R\\) is the group of \\((p-1)\\)-th roots of 1 in the ring of \\(p\\)-adic integers \\(\\mathbb{Z}_p\\)) by means of the polynomial \\(g(t)\\) as follows  \\[ h_t (x)= (1- x)^{p-1}+ g(t) x^{p-1}+ \\text{higher terms}; \\]  i.e., in the expansion of \\(h_t (x)\\) the coefficients of \\(x, x^2, \\dots, x^{p-2}\\) are 0. If \\(s\\in R\\), then \\(h_s (x)\\) is the Coates-Wiles series corresponding to \\((\\prod \\xi_p^w -s, \\dots, \\prod \\xi^w_{p^n} -s, \\dots)\\) \\((\\xi_{p^n}\\) is a primitive \\(p^n\\)-th root of 1 such that \\(\\xi^p_{p^{n+1}}= \\xi_{p^n}\\)). The main result is contained in Theorem 1. ``Let \\(s\\in R\\), \\(s\\neq 1\\). Then \\((1- s)^{p-1} \\equiv 1+ g(s)p \\pmod {p^2}\\).''    As Corollary 1 to Theorem 1 the author presents another proof of the proposition: ``\\(2^{p-1}\\equiv 1\\pmod {p^2}\\) if and only if \\(1- 1/2+ 1/3- \\dots -1/ (p-1) \\equiv 0\\pmod p\\)''. This proposition is due to G. Eisenstein (1850), not to D. Mirimanoff.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1900872$FA98AB99-E415-43CB-95DC-B585F7D9D8E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33596e09702254c39edd592e961d4cba7cfc6c47","datavalue":{"value":"11R18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900872$B5BF97F9-5598-488F-B24A-4D67F68A3CE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb5798aaef29d0bf18d0ec5cc9ce002b8b3d41f6","datavalue":{"value":"809115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900872$99AE6DFF-5C5E-4146-9A69-AE38A1A12CED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac167e499a89af4bf29ad6ee9f649a50c12fc801","datavalue":{"value":"Eisenstein theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1900872$AF013F57-6C69-4C9E-AA18-535D25028764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f938f8f2325cc16fb11a532edf5b25cfebfd87c2","datavalue":{"value":"Fermat quotient with base 2","type":"string"},"datatype":"string"},"type":"statement","id":"Q1900872$A85F131D-6A67-48BD-9CC0-9DB33F9A53A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e3a7783dd92b56ff929efac1d8d5367b00b8588","datavalue":{"value":"Mirimanoff polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q1900872$F428C6E7-81C5-4473-A41B-19A9D7B55C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcd3e894c463f15cea5e61d940b34a5b8198b91e","datavalue":{"value":"Coates-Wiles series","type":"string"},"datatype":"string"},"type":"statement","id":"Q1900872$15F4C61C-F417-4BEB-957D-D382AF5DA98E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"11c6ee72db6a1595c302ec495a8cbae324d7c3a3","datavalue":{"value":{"entity-type":"item","numeric-id":551312,"id":"Q551312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900872$D13B54A1-DD74-43E2-8CC1-7C48714E6500","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":"Q1900872$C0C66AAE-8557-4D25-AD2F-AE861BFCA7C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1881f38e999ea3b816454ae285745b0c137df10b","datavalue":{"value":"https://doi.org/10.1006/jnth.1995.1109","type":"string"},"datatype":"url"},"type":"statement","id":"Q1900872$D381551F-D105-4D40-91F2-C66E0584B09C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51517b5ca6fcc50b6a1df0b670da17e17faab549","datavalue":{"value":"W2063284674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900872$4CD1B1E1-5542-4CD6-89F2-BE42D9509AC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c17c3a1f68871e0a0f2e70fc668915463ab5257","datavalue":{"value":"10.1006/JNTH.1995.1109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900872$84C20D1B-A874-499C-B150-C95943D900DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6aa9f2b56de41e4aa19220796bff96cc253d0546","datavalue":{"value":{"entity-type":"item","numeric-id":3792747,"id":"Q3792747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a83833194aa1422aa37826ea76a0033e2ef2801","datavalue":{"value":{"amount":"+0.7791642546653748","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":"Q1900872$8A06151F-D972-4980-823A-6DE0B434D3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf0b99f2850378dd473b9d3b3430ba005f1ba8a3","datavalue":{"value":{"entity-type":"item","numeric-id":1061763,"id":"Q1061763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ce4f49cf897ee40874ac8c80cb34efe0166d784","datavalue":{"value":{"amount":"+0.7586597204208374","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":"Q1900872$7E2721EE-946A-4354-A6A2-DC45576A0101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f3efbbbf0baf21865be214925f8c288fed4fe91","datavalue":{"value":{"entity-type":"item","numeric-id":3741657,"id":"Q3741657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8183686739eb06ef5033d78a0ce630d0ac262ca","datavalue":{"value":{"amount":"+0.7552320957183838","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":"Q1900872$4B9623CC-D805-4940-A376-66E740CB4C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b2aaaef4e71b18fedcc7e993a0e123a7bc4cdb9","datavalue":{"value":{"entity-type":"item","numeric-id":793092,"id":"Q793092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"584b243c040b570bddb8e86f80a5d7cf8997f8c1","datavalue":{"value":{"amount":"+0.7547027468681335","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":"Q1900872$83472DD0-2869-4F79-A08E-F4020D7FD181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc9a26bca6b351651f3def457faeb19f2e16e1d5","datavalue":{"value":{"entity-type":"item","numeric-id":3363387,"id":"Q3363387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9208aeafdf0559c4b0c4bb4f2cdbae86d14e64d","datavalue":{"value":{"amount":"+0.7527073621749878","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":"Q1900872$D8CAF6B3-2E2F-45F6-A886-9DAF1F4E6CA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coates-Wiles series and Mirimanoff's polynomial","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Coates-Wiles_series_and_Mirimanoff%27s_polynomial"}}}}}