{"entities":{"Q6634702":{"pageid":14245854,"ns":120,"title":"Item:Q6634702","lastrevid":95657174,"modified":"2026-06-05T09:30:47Z","type":"item","id":"Q6634702","labels":{"en":{"language":"en","value":"On theorems of Fermat, Wilson, and Gegenbauer"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7940474"}},"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":"Q6634702$2025DE82-6383-459D-92E5-FFFDD6A3D0C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3efdf0ce36f05ae8f8c2cf5da43a05befe56c1fa","datavalue":{"value":{"text":"On theorems of Fermat, Wilson, and Gegenbauer","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6634702$BC2BEF26-3C75-4085-9188-9925F246B89B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83382c7804ad0cb7880eb8f3c7aa4742f40738cc","datavalue":{"value":{"entity-type":"item","numeric-id":180190,"id":"Q180190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6634702$DFB2A35A-9CDC-43AB-A39B-DD55020F7FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db99f41f21357a154d70da41074d67bc5e87a806","datavalue":{"value":{"entity-type":"item","numeric-id":295273,"id":"Q295273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6634702$6B9FC88E-72D4-487B-B58C-EE92539EA2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24b645d803fb01716d2dbaadcc0dcc4e317f4ec8","datavalue":{"value":{"entity-type":"item","numeric-id":2789380,"id":"Q2789380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6634702$9D995302-3716-4CE5-ABD5-AEB4BC462A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0aa3f54050f923bed16ca69c03ab017f258aa2e","datavalue":{"value":{"entity-type":"item","numeric-id":389465,"id":"Q389465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6634702$C4DA7EC8-97FC-462B-840E-FC461AD0CF93","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ba338bf6279b76cddb2fd1117c1ea0a8ba7d4b21","datavalue":{"value":{"entity-type":"item","numeric-id":2732636,"id":"Q2732636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6634702$8807C8B2-7578-453F-9105-70F7AB383E97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"15ca17898941fdbe8400e66b2749b84d39a2e722","datavalue":{"value":{"time":"+2024-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6634702$D54D7179-09A1-4305-A652-8B708393A255","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ede8cb88d756a59fb005982e8f7e2f8e366aaa82","datavalue":{"value":"The well-known Fermat's Little Theorem states that for any prime \\(p\\) and any integer \\(a\\),\\N\\[\\Na^p \\equiv a \\pmod{p}.\\N\\]\\NWilson's theorem, on the other hand, states that for any prime p,\\N\\[\\N(p-1)! \\equiv -1 \\pmod{p}.\\N\\]\\NThe Moser-Moser congruence is an unified extension of the above two theorems,\\N\\[ \\N\\sum_{d\\mid n}\\varphi^{2}(d) \\left(\\frac{n}{d}\\right)!\\,d^{n/d}a^{n/d} \\equiv 0 \\pmod{n^2},\\N\\]\\Nwhere \\(\\varphi(d)\\) is the Euler's totient function. There are two proofs of the this congruence. Evans used the action of the group \\(\\mathbb Z/n\\mathbb Z\\) on the set of Hamilton cycles with \\(n\\) vertices, whereas Moser used the action of the group \\(\\mathbb Z/n\\mathbb Z \\times \\mathbb Z/n\\mathbb Z\\) on the set of line permutations of \\(\\{1, 2, \\ldots, n\\}\\). The paper under review mainly provides a new proof of the Moser-Moser congruence by using the Frobenius-Burnside theorem.\\N\\NThe paper under review also proves a generalization of the Moser-Moser congruence. Let \\(n, a\\), and \\(b\\) be positive integers. Then\\N\\[\\N\\sum_{d|n}\\varphi^{2}(d) \\left(\\frac{n}{d}\\right)!d^{n/d}a^{n/d}b^{d} \\equiv 0 \\pmod{n^2}.\\N\\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q6634702$FD309190-8151-467E-B8F7-1F0F6C1AE0DA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2f082fb6b9d41a0af6d395b5bd8e2a30ba76cbc3","datavalue":{"value":{"entity-type":"item","numeric-id":1983261,"id":"Q1983261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6634702$7C80AFB9-B48A-4BAA-93A9-8015F953FBB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6321ce6a9565f5f3e695a7afbb7a3eee2274d95d","datavalue":{"value":"11A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6634702$CF11FDD3-8409-425D-A04E-D6B8917450C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"350ad9e3cb57303f41763f7e3b29497fcb98dda4","datavalue":{"value":"11A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6634702$B99AE3DE-A64F-4FE6-9FC0-CED91E0E1E97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b94584c39b628140f80bb788ee3192b7fc0969ad","datavalue":{"value":"7940474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6634702$C11D3158-0421-4A07-B81E-30D26FA48AAC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"592d8f84c7c50e6cf2d719ac164719ae673f9e42","datavalue":{"value":"Fermat's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6634702$80A4D67B-88D5-4EF7-9CE4-6965591F539B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad64d32309503bfb4ff51d35a87b8d7c05314216","datavalue":{"value":"Wilson's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6634702$A89DC527-A6E2-4F2C-AA62-29884268CB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a055cb606da0e507f48b02b6ef050307d4ce1ee","datavalue":{"value":"Frobenius-Burnside theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6634702$D71D9D16-357C-48BD-8ED7-DB8C16226D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a55f6b1b42f7ecc4afec6616ede64cf1377e9a0","datavalue":{"value":"Gegenbauer's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6634702$3457DA18-17D6-4835-9990-62341AD9035F","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":"Q6634702$A8518E25-EE54-48CE-8B12-1D96A617AA2F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c6fbf72631bd121cd70feda704f79d8b6351af5","datavalue":{"value":{"entity-type":"item","numeric-id":3090485,"id":"Q3090485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6634702$8E3FB2C8-ECB5-4AE7-A1C3-A1B7DD5B53F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76cf341bf4fb0aa8e2ed358c69fcce247aab9714","datavalue":{"value":{"entity-type":"item","numeric-id":5625239,"id":"Q5625239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6634702$80F4F6E7-3F83-4E69-BE4A-1329F9E3560C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2f3c84fedec6be5b8f59fef93a6a8632cda3e40","datavalue":{"value":{"entity-type":"item","numeric-id":4101884,"id":"Q4101884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6634702$10E5ECDA-E607-4209-96C0-389116E90ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2cc9238df2a2641b1b9dcbad23424017e9986a","datavalue":{"value":{"entity-type":"item","numeric-id":5021644,"id":"Q5021644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6634702$256761E6-A245-4FAD-B549-714856CB74B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7b32a8240548a402659dc31549f4cbe4c44c032","datavalue":{"value":{"entity-type":"item","numeric-id":4313087,"id":"Q4313087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6634702$10E1C9B8-698C-4029-BA91-EEB03AA44E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bc234939ee2660a95a407a88977c21a2c22fc69","datavalue":{"value":{"entity-type":"item","numeric-id":4826092,"id":"Q4826092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6634702$6AC2A388-20DC-476C-A32F-7B7F6CC4CC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"203667956018467267d41fe0bf6da54a0d05daff","datavalue":{"value":{"entity-type":"item","numeric-id":1465208,"id":"Q1465208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6634702$463326F5-35F4-4E0F-96D5-2526F71B5C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"617253d9d702231dff1e934b0590b5c59e1c4c0e","datavalue":{"value":{"entity-type":"item","numeric-id":3024014,"id":"Q3024014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6634702$129FB8C0-666F-4FF8-9A54-5A9B49411D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc9a241b47dc4dc75e757ceeb5524b6b16ec447d","datavalue":{"value":{"entity-type":"item","numeric-id":3428644,"id":"Q3428644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6634702$C9CE02C2-0879-476A-A696-FD8490B3BEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60776acfb6a08d61e2e874dea396dddc25bddc64","datavalue":{"value":{"entity-type":"item","numeric-id":1513472,"id":"Q1513472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6634702$986ECC77-0873-40FE-BC91-60F0AF4944D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"407b4f016734f5acca00d6f7127da8f270d1f6af","datavalue":{"value":{"entity-type":"item","numeric-id":1528810,"id":"Q1528810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6634702$236E72AD-202A-4714-B6D3-C6AAE73C949C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2df3bd2158124df16e64293abbefa8e0479c598","datavalue":{"value":{"entity-type":"item","numeric-id":1560911,"id":"Q1560911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6634702$1A0410A5-6B22-468B-80BC-F22FC1F2DF8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d101773dae0a4fd91be6121c6570098396ca9e7e","datavalue":{"value":{"entity-type":"item","numeric-id":3803186,"id":"Q3803186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6634702$7AC23603-0EF5-4BE8-A442-373A948A7B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5874b21be52953e6ade1642a0fd92ee28b440149","datavalue":{"value":{"entity-type":"item","numeric-id":3243274,"id":"Q3243274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6634702$60398214-6232-4F49-A239-B7DDA54ACE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"320e8a5de8de6e74b0929135373d4c2f60cc3b48","datavalue":{"value":{"entity-type":"item","numeric-id":2253885,"id":"Q2253885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6634702$A0AA12B1-4D67-4144-A6CD-4EE877BE64C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"452c588f2f683ea20e4af56e67073f8b99bd0b6c","datavalue":{"value":{"entity-type":"item","numeric-id":4324962,"id":"Q4324962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6634702$B5EEC803-BB3E-4238-8610-C88DF0DD223D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dbd4a93b0fabfd7eb88bd8e0ca72f40b4fba2e","datavalue":{"value":{"entity-type":"item","numeric-id":4236280,"id":"Q4236280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6634702$8ED8DF0A-4EBB-49B0-93E3-42B0B8ED9390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbf5a0fa2313c9c57913f93ca1cd15140108e2b1","datavalue":{"value":{"entity-type":"item","numeric-id":5788436,"id":"Q5788436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6634702$88F218FE-AB34-4134-947A-697D6A71C3AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbd29e32a2e35664165f1129db84060592749fd3","datavalue":{"value":{"entity-type":"item","numeric-id":4958944,"id":"Q4958944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6634702$1C15F7B8-418D-4D06-A708-2752C3F834E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14cbcdb86b09941eeb6d7992db1bdf2844889610","datavalue":{"value":"10.4153/S0008439523000723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6634702$746CB894-2C6B-45D2-B22D-2FE9FD17BE79","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c54838a8e0d236581f2b563428cf856a79dfdfd1","datavalue":{"value":{"entity-type":"item","numeric-id":3428644,"id":"Q3428644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eca46ff7ee1ef50e313ff5a6db9b824a1cacb29","datavalue":{"value":{"amount":"+0.7755089998245239","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":"Q6634702$454C5673-3059-4C35-86E7-E5E1556458B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac35dc84955d3d429fd10860701d256c0b0d8e77","datavalue":{"value":{"entity-type":"item","numeric-id":4904259,"id":"Q4904259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d99531feb4560a4627826338c1e1c07cd1b3fcc","datavalue":{"value":{"amount":"+0.7537662982940674","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":"Q6634702$8BC725D7-5342-4508-A727-4C0D82270AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1e8afafd3672fbbc95b7c502f7e7823d6fe9d76","datavalue":{"value":{"entity-type":"item","numeric-id":1166551,"id":"Q1166551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65eb7b672e863216fd68f8857d6dffc0142769d0","datavalue":{"value":{"amount":"+0.7470333576202393","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":"Q6634702$E8895A1F-49CA-4DFF-B930-B904A277C56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac880db3664ea6f02ecb2da68586684954c94297","datavalue":{"value":{"entity-type":"item","numeric-id":4936028,"id":"Q4936028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48d4ffd2b68a19889a6704bfc9f70b17bc047d43","datavalue":{"value":{"amount":"+0.7406755089759827","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":"Q6634702$0B733272-7C18-4B1B-ABEA-C852937FAD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2e8616b6eb203bb7dfb3f3f67cd2e2fdd8b5782","datavalue":{"value":{"entity-type":"item","numeric-id":4393301,"id":"Q4393301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f9bf1ef903453b55b69063324a702b5400eb8a4","datavalue":{"value":{"amount":"+0.7365081310272217","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":"Q6634702$43CB6051-EB24-4B33-8E8C-2F3AE6873B53","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6634702$EA60E769-60BF-41A6-89D4-4452F7BEF2E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On theorems of Fermat, Wilson, and Gegenbauer","badges":[]}}}}}