{"entities":{"Q988061":{"pageid":989909,"ns":120,"title":"Item:Q988061","lastrevid":65817057,"modified":"2026-04-12T05:34:46Z","type":"item","id":"Q988061","labels":{"en":{"language":"en","value":"Wilson's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5774795"}},"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":"Q988061$DC506CD5-7A7E-47CE-8A7A-06791AE00C8B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a531a8fb1b0292306a823be24cd22aaa1e00440d","datavalue":{"value":{"text":"Wilson's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q988061$0413EDEB-F2E6-42F4-8FA2-22C61C6B64DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0d7a4fe81a79529168c09d525db95f5a3d841a4","datavalue":{"value":"1204.11166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988061$1D769D95-22F2-4991-8223-131071D4B0C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ead389240cdfffc8b14d9a7cba002d44c36839b4","datavalue":{"value":{"entity-type":"item","numeric-id":185819,"id":"Q185819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988061$2D3661E3-9A22-4C12-8557-2278641CF0B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2af5fe3b27a04082f1eae9cf17090e68be06cc07","datavalue":{"value":{"entity-type":"item","numeric-id":194678,"id":"Q194678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988061$4E147C94-AA0B-45EA-A113-6C8AECADD543","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ba418dfd62b65e04452f97e134782750e954a69e","datavalue":{"value":{"time":"+2010-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q988061$4D0E8302-2B01-4325-8081-641BA28270EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d22ebe05204adbbe992c8b200bc67ec754d6081e","datavalue":{"value":"https://arxiv.org/abs/0711.3879","type":"string"},"datatype":"url"},"type":"statement","id":"Q988061$717AB742-B2E0-4D45-837C-AD44609D8062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"2971a0db42be7b3ce2ab13421fa1e3b5a2a59e4a","datavalue":{"value":"http://www.numdam.org/item?id=JTNB_2009__21_3_517_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q988061$5B57D4F8-5085-4DA9-9B1C-1A108A5B6EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"feae848d8c2a414153ff5ee5c88df3e2f94154fd","datavalue":{"value":"https://eudml.org/doc/10896","type":"string"},"datatype":"url"},"type":"statement","id":"Q988061$B3283687-643C-4944-83C9-58F1606F4E2C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"40a9f88449962b20b2a91c447ba802fdc743d0ac","datavalue":{"value":"More than two hundred years ago Gauss generalized Wilson's theorem (\\((p-1)!\\equiv -1 \\pmod p\\)), that is he gave the following proposition:  Proposition 1. (Gauss)\\newline The product of all elements in \\((\\mathbb Z/A\\mathbb Z)^\\times\\) is \\(\\bar 1\\) or \\(-\\bar 1\\).   Later \\textit{K. Hensel} [J. Reine Angewandte Math. 146, 189--215 (1916; JFM 46.0251.01)] developed his local notions, which could have allowed him to extend the result from \\(\\mathbb Z\\) to rings of integers in number fields.    Proposition 2. For an ideal \\(\\mathfrak{a}\\subset \\mathfrak{o}\\) in the ring of integers of a number field \\(K\\), the product of all elements in \\((\\mathfrak{o}/\\mathfrak{a})^\\times\\) is \\(\\bar 1\\), except that it is\\newline (1) \\(-\\bar 1\\) when \\(\\mathfrak{a}\\) has precisely one odd prime divisor, and \\(v_{\\mathfrak{p}}(\\mathfrak{a})<2\\) for every even prime ideal \\(\\mathfrak p\\),\\newline (2) \\(\\bar 1 + \\bar\\pi\\) (resp \\(\\bar 1+ \\bar\\pi^2\\)) when all prime divisors of \\(\\mathfrak a\\) are even and for precisely one of them, say \\(\\mathfrak p\\), \\(v_{\\mathfrak p}(\\mathfrak a)>1\\) with moreover \\(v_{\\mathfrak p}(\\mathfrak a)=2\\), \\(f_{\\mathfrak p}=1\\) (resp. \\(v_{\\mathfrak p}(\\mathfrak a)=3\\), \\(f_{\\mathfrak p}=1\\), \\(e_{\\mathfrak p}>1\\)); here \\(\\pi\\) is any element of \\(\\mathfrak p\\) not in \\(\\mathfrak p^2\\), and we have identified \\((\\mathfrak o/\\mathfrak p^2)^\\times\\) (resp. \\((\\mathfrak o/\\mathfrak p^3)^\\times\\)) with a subgroup of \\((\\mathfrak o/\\mathfrak a)^\\times\\).    In the proposition above \\(v_{\\mathfrak p}(\\mathfrak a)\\) is the exponent of \\(\\mathfrak p\\) in the prime decomposition of \\(\\mathfrak a\\); \\(f_{\\mathfrak p}\\) is the residual degree and \\(e_{\\mathfrak p}\\) the ramification index of \\(K_{\\mathfrak p}|\\mathbb Q_p\\) (\\(p\\) being the rational prime which belongs to \\(\\mathfrak p\\)).   The author's goal is to show how Hensel could have done it. For proving this the author uses the following proposition:   Proposition 3. Denoting by \\(e\\) the ramification index and by \\(f\\) the residual degree of \\(K|\\mathbb Q_p\\), we have \\(d_2((\\mathfrak o/\\mathfrak p^n)^\\times)=\\)\\newline (1) 1 if \\(p\\neq 2\\), \\newline (2) 0 if \\(p=2\\), \\(n=1\\),\\newline (3) 1 if \\(p=2\\), \\(n=2\\), \\(f=1\\),\\newline (4) 1 if \\(p=2\\), \\(n=3\\), \\(f=1\\), \\(e>1\\),\\newline (5) \\(>1\\) in all other cases.\\newline For any \\(\\mathfrak o\\)-basis \\(\\pi\\) of \\(\\mathfrak p\\), the unique order-2 element in the cases \\(d_2=1\\) is \\newline (1) \\(-\\bar 1\\) if \\(p\\neq 2\\),\\newline (2) \\(\\bar 1+\\bar \\pi\\) if \\(p=2\\), \\(n=2\\), \\(f=1\\),\\newline (3) \\(\\bar 1+\\bar \\pi^2\\) if \\(p=2\\), \\(n=3\\), \\(f=1\\), \\(e>1\\).   This proof of Proposition 2 is shorter, simpler, more direct and more conceptual than \\textit{M. La\u0161\u0161\u00e1k}'s one [Math. Slovaca 50, No. 3, 303--314 (2000; Zbl 0997.11086)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q988061$03DB0B4B-8573-446A-86B8-0509A5211502","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ff6ec9649ff6445d3f1f64c924563817ea76113c","datavalue":{"value":{"entity-type":"item","numeric-id":591922,"id":"Q591922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988061$9DD99C0E-9BB2-4B92-9E7D-0A37CE5B9362","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c745fe9f9fd950076cb858ccadc78c0e065cb45","datavalue":{"value":"11R04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988061$280135DD-1B09-4B56-BEA9-6F642DBD12C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"94c22661f4e1ca017a1a5fb9e08782c3fc6df71e","datavalue":{"value":"11R44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988061$5811888C-F3B3-4D29-9F2F-14B84BA0F30E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93f4935b629aaed2edb01fb78ad21016d41be5db","datavalue":{"value":"5774795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988061$EEDB4B54-E7C6-4B91-956A-83882E201B9C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad64d32309503bfb4ff51d35a87b8d7c05314216","datavalue":{"value":"Wilson's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q988061$B0D8B7D9-3513-4C8D-BECE-0223B6066DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"821d83e5aec1b432b88b3a663eed0adbbd39269c","datavalue":{"value":"prime number","type":"string"},"datatype":"string"},"type":"statement","id":"Q988061$8EA7B0B6-26C5-4AEA-B019-45C512B17A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e9c5ab03fd2ec16cb078caba1f8466415beeff2","datavalue":{"value":"prime ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q988061$631C13D9-C3BF-4B3B-871C-EB19CE40A124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdbdc8f653142e90d828624deae45c4f2f5c589b","datavalue":{"value":"finite extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q988061$45CDB351-0368-4169-8BC2-105A2FEC7607","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":"Q988061$5F89F84A-2FD1-4694-91CC-7A447AA22D60","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"abc4471bf36a760ee79ec451fabca7d42bec73f0","datavalue":{"value":"W2964112148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988061$489C1C3E-B286-4939-B564-0E5E41DA1C75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"241be8eff8897e7d880fee2ba9edff55dfaf7177","datavalue":{"value":"10.5802/JTNB.686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988061$3B816F2A-5011-4718-8A89-5A6759220E88","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9089533e3eafad34edaf72d93a2b1a4bdc310a53","datavalue":{"value":{"entity-type":"item","numeric-id":2777508,"id":"Q2777508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc781099262cd31af99c947545cc9d4593cc05f7","datavalue":{"value":{"amount":"+0.7799900770187378","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":"Q988061$AA3702D7-0BAA-48E7-BB0A-D7CDE8C606BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4c2ed31fc177c9de0d521e640484e30abaa62c7","datavalue":{"value":{"entity-type":"item","numeric-id":482407,"id":"Q482407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc781099262cd31af99c947545cc9d4593cc05f7","datavalue":{"value":{"amount":"+0.7799900770187378","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":"Q988061$B2E9B520-0F57-432E-9797-3CEFCB7076DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e9eb7787a4e2e60ab383ec605b3721ca91b620d","datavalue":{"value":{"entity-type":"item","numeric-id":5454418,"id":"Q5454418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11358d19a3153eeec719e8b8ef7e3668d2894294","datavalue":{"value":{"amount":"+0.7571980357170105","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":"Q988061$96D897BC-018A-4C32-93D9-58E18BF7003D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d15865ab98a3782b496535779a726a92f6bcaeeb","datavalue":{"value":{"entity-type":"item","numeric-id":2862234,"id":"Q2862234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"384a5540743e3725894a38d440c65d1a5400c920","datavalue":{"value":{"amount":"+0.7568716406822205","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":"Q988061$B2B3AB49-94C9-4DF0-9642-7A987D15E981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92f12af505c94e5571bd1da76ae7377ef9f8f8dd","datavalue":{"value":{"entity-type":"item","numeric-id":3413290,"id":"Q3413290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a30983c141f13f200803081c6d2845a4d182bfe3","datavalue":{"value":{"amount":"+0.7140013575553894","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":"Q988061$13EFEC24-6125-4B6C-8514-E37E9DFDE4A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Wilson's theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Wilson%27s_theorem"}}}}}