{"entities":{"Q687729":{"pageid":689578,"ns":120,"title":"Item:Q687729","lastrevid":47198956,"modified":"2025-12-31T23:50:46Z","type":"item","id":"Q687729","labels":{"en":{"language":"en","value":"Combinatorial congruences from \\(p\\)-subgroups of the symmetric group"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 436565"}},"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":"Q687729$077F862D-8D26-4792-98EE-73E0A40D6A82","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57408bd8ab5feeef2a440868b7845bb8bcb4016b","datavalue":{"value":{"text":"Combinatorial congruences from \\(p\\)-subgroups of the symmetric group","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q687729$9563D7D6-7055-42B5-A12B-330417289B66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"623e61620d5e375f3def3f6343005c9f9e0fe6a0","datavalue":{"value":"0784.05010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687729$C7F3C18B-44DD-4DC9-A6CC-1B1A4A0DAE89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea9f478cab2a59f3c2e4ae368cbca5e256b4b815","datavalue":{"value":"10.1007/BF02988317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687729$7F89CFD7-43A4-4E09-915B-34EE4B5C9461","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f31b91793a3008ea8015ca06e3b886d3b10c4f90","datavalue":{"value":{"entity-type":"item","numeric-id":687728,"id":"Q687728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687729$4DC464BD-30BD-410E-B24C-D721E3ECC43C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"62093226388c211ee4d5286124caf1fbc8b86437","datavalue":{"value":{"entity-type":"item","numeric-id":185060,"id":"Q185060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687729$937A68B2-2DA4-4FAC-92FF-5674FD52FBB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fbb6935bdb747a0dfd15900d258b226a92283f6","datavalue":{"value":{"time":"+1993-10-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":"Q687729$A41A9107-FB10-4E49-B166-7DA6E032E726","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"50a66d87fd28ae22c838a3a25823f6b4bf67c210","datavalue":{"value":"There has been considerable interest in the methods of deriving congruences from group actions; see \\textit{G.-C. Rota} and \\textit{B. Sagan} [Eur. J. Comb. 1, 67-76 (1980; Zbl 0453.05008)], or \\textit{B. Sagan} [J. Number Theory 20, 210-237 (1985; Zbl 0577.10003)]. The author introduces a different approach to this question.   Let \\(p\\) be a prime and \\(H\\) a finite set. A wheel system on \\(H\\) is a family \\(\\mathcal W\\) of subsets of \\(H\\) (called wheels) with the following three properties: (1) the order of any wheel is a power of \\(p\\) (a wheel of order \\(p^ i\\) is called a \\(p^ i\\)-wheel), (2) distinct wheels of the same order are disjoint, and (3) each \\(p^{i+1}\\)-wheel is the union of \\(p^ i\\)-wheels. Wheels of order \\(>1\\) are called proper. A wheel system \\(\\mathcal W\\) is called complete if \\(\\mathcal W\\) is maximal with respect to the conditions (1), (2) and (3). When one assigns to each proper \\(p^ i\\)-wheel of a given wheel system \\(\\mathcal W\\) a cyclic ordering of the \\(p^{i-1}\\)-wheels it contains, \\(\\mathcal W\\) gets an orientation. A spinning is such a permutation of the elements of a given proper wheel that takes its subwheels and preserves its orientation. The subgroup generated by all spinnings of a complete wheel system is the symmetric group \\({\\mathcal S}_ H\\).   After proving numerous interesting technical lemmas the author gives some number theoretic applications of his approach. So, he proves (Lemma 3.5): Let \\(a= b_ 1+ \\cdots+ b_ k\\) and suppose \\((a,p)= (a,b_ 1,\\dots,b_ k)=1\\). Then  \\[ \\begin{pmatrix} ap^ n\\\\ b_ 1 p^ n,\\ldots,b_ k p^ n\\end{pmatrix}\\equiv 0\\pmod a. \\]  Also, he proves the following result (Theorem 5.1): Let \\(I(m)\\) denote the number of idempotent maps \\({\\mathbf m}\\to {\\mathbf m}\\). If \\(p>2\\), then  \\[ I(p^ n)\\equiv 1+ p^{n-1} \\left[(\\mu-n) p(p-1)+sp+\\sum^{p-1}_{k=1} {p\\choose k} \\sum^ s_{j=0} k^{p+ j-k}{s\\choose j}\\right]\\pmod{p^{n+1}}, \\]  where \\(s=(p-1)(n-1)\\) and \\(\\mu\\) denotes the number of proper wheels of a wheel system on \\(p^ n\\) elements. Concerning some divisibility properties of the Stirling numbers of second kind he proves (Theorem 5.2): Let \\(P(m,k)\\) denote the number of surjections \\({\\mathbf m}\\to {\\mathbf k}\\). Then  \\[ P(p^ n,k)\\equiv P(p^{n-1},k)+ p^{n-1} \\bigl[P(p+(n-1)(p-1),k)-P(1+ (n-1)(p-1),k)\\bigr]\\pmod{p^{n+1}}. \\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q687729$769CBFD0-5604-4BC5-AC52-058A79DEBEF2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b6a686fef1013593a32f9e8e67eecdd50e96866a","datavalue":{"value":"05A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687729$211806CF-A045-4D0B-BA58-451504EEDB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c7162d79408fb706cc35871b421509dba08bf67d","datavalue":{"value":"11B73","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687729$DDA844DD-45DB-4ABB-BF3A-A1C100CA6B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6321ce6a9565f5f3e695a7afbb7a3eee2274d95d","datavalue":{"value":"11A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687729$217AA95E-252A-4CD8-B9E1-34CBC04A8C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6247f04fad65d359a20e559b3e9499d6219d492e","datavalue":{"value":"05A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687729$658B1997-CCD8-414B-8A3D-305DB375A01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fe20c11270a022ced6b6a582d87c0ca73a689567","datavalue":{"value":"05A19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687729$CE83A45B-80E3-42C3-A0E8-3F9ADBFBAA29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"785eccafa35d173d959351eeee53c1a0039e6e1b","datavalue":{"value":"11D79","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687729$383880FE-7D38-415F-B3A6-7F47D8FF9F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4bceb4852f142c7ae840ef027a3d11ea672a1bc4","datavalue":{"value":"11B75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687729$3CD3CBE6-86E8-4D89-A6F1-8DBAC5ED4BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"99162f665c9ec138d28e4bea8a477540421995b7","datavalue":{"value":"20B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687729$63F1BEB2-6104-4294-8890-990A33537763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9e7eb47745f0b04fe71119fd8b0d1983e853915b","datavalue":{"value":"05E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687729$28CA6EA8-0B0B-4E29-A7C8-303222F4C8E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00786718f9adb245508f15c1df477880293ebd85","datavalue":{"value":"436565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687729$178ACF93-25F3-48A4-BF7B-1EA4ED920727","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"587daac98a582f229697ebfd426e518c72e27175","datavalue":{"value":"\\(p\\)-subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q687729$E4F06F29-5CD3-456D-9FC9-445EC4C6A02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a035b0bb2c9c5a53429cdeae36bfd7fd473c1bf","datavalue":{"value":"deriving congruences from group action","type":"string"},"datatype":"string"},"type":"statement","id":"Q687729$24BFF8CD-2095-4B78-84FC-9DCA36EF90BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"113ef603bd96424feb8c9dbc2686de257e95b393","datavalue":{"value":"wheel system","type":"string"},"datatype":"string"},"type":"statement","id":"Q687729$401B35EC-4408-4102-8018-6A3267556667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"975fb962036687851d3eb24b13b6421a339b272e","datavalue":{"value":"spinning","type":"string"},"datatype":"string"},"type":"statement","id":"Q687729$DC67923C-FC8C-447C-9810-EBED0C564F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38d830dae6f5ce906f6d20604a81e37d7574c069","datavalue":{"value":"symmetric group","type":"string"},"datatype":"string"},"type":"statement","id":"Q687729$0F96691D-F734-4A3F-B3DF-D6E36062080E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a9a307a2d84c0dd10bbfd9be8bebe5493e2d7aa","datavalue":{"value":"Stirling numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q687729$582140E3-1933-4998-9C79-C2FD6A76658F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"20533fcc7734c324d16abc2a4c8c149f15b6ddad","datavalue":{"value":{"entity-type":"item","numeric-id":1372655,"id":"Q1372655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687729$6C9553BA-0285-4BBC-AC61-56C2CBA9A4D0","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":"Q687729$B6DE021C-F39C-49B2-ADEF-C7F4914895CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"101ff79785409e08f5271ca9bead4b034f337578","datavalue":{"value":{"entity-type":"item","numeric-id":5814877,"id":"Q5814877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687729$029C8055-6C61-42B6-84F1-BEFA2DBEB305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8db03a8cfee5ead7ee275500d77a7402ff8638f","datavalue":{"value":{"entity-type":"item","numeric-id":5182339,"id":"Q5182339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687729$E8FD1A69-AF06-4A2E-9AF7-6E531A50A01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad45d85af6e11244cf1d9903e18296566b25770","datavalue":{"value":{"entity-type":"item","numeric-id":3955428,"id":"Q3955428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687729$1549F2DA-426B-4922-9C22-C0E5B815A8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffe3ba9cc2ba2b2d0a31bfd1836d1ba13e99412f","datavalue":{"value":{"entity-type":"item","numeric-id":3346385,"id":"Q3346385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687729$687F49E1-3018-4551-AE9A-3F809D2C0CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"891aaff5a85a57e83139ac6e0cd2137346050741","datavalue":{"value":{"entity-type":"item","numeric-id":4726257,"id":"Q4726257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687729$3A6EDB4B-B36F-43EC-AAD3-B2122F40BC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"676458194557badc506056f96a6408eb4226d059","datavalue":{"value":{"entity-type":"item","numeric-id":5569569,"id":"Q5569569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687729$99EAD833-A308-45DB-9F97-72E6FE19FF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ae2b0caf4eafa1d1362ea712ba0f3df853b29ff","datavalue":{"value":{"entity-type":"item","numeric-id":5614048,"id":"Q5614048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687729$4D1D9B84-01DC-40E0-9829-C2A68FD70166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26a3b27bd875e2b3ad88b90d47b695cb4cef0bb5","datavalue":{"value":{"entity-type":"item","numeric-id":1148910,"id":"Q1148910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687729$9F0C4D2A-B19B-42CE-B4E3-AC4C5823D750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72421ea6a5b655991ce695a122c5fbbb38168874","datavalue":{"value":{"entity-type":"item","numeric-id":1065843,"id":"Q1065843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687729$DC0C43FF-8329-4EB6-9B4D-34F5A51AA43B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afcef5bbb2ed4779e1683e8c437b8ad64a0cdf85","datavalue":{"value":{"entity-type":"item","numeric-id":4063459,"id":"Q4063459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687729$8A7701AA-36D5-40AF-BB5F-F1CEF818AB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"054ebdd5e772e8c659b97a748fb110fda2d6ea04","datavalue":{"value":{"entity-type":"item","numeric-id":916684,"id":"Q916684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687729$37A6A377-61E8-41B2-BC86-E6ACBEE2E9C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2463aecaeca8df6282921e96b884f0d3f79eb738","datavalue":{"value":{"entity-type":"item","numeric-id":916686,"id":"Q916686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687729$5D8AAC2A-AFFD-42C0-AC56-9357B67C4FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c83d1953f933d7cbb48cd4c292fa176ce0fc321e","datavalue":{"value":{"entity-type":"item","numeric-id":1208165,"id":"Q1208165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q687729$07558977-9B04-4A03-BB9F-9A253782AC58","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a99dbed31f8ccf46428f0e51daa5d6bce33598f5","datavalue":{"value":"https://doi.org/10.1007/bf02988317","type":"string"},"datatype":"url"},"type":"statement","id":"Q687729$A78A4B48-68F3-48EA-936E-06D8ABCAC721","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a554b8ec54a49230979f3bd5b18f6778da561e59","datavalue":{"value":"W2048044292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q687729$E3F6CD95-20C0-449F-9D17-D10A4FDB6F4C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"828084452da6f3976e5ded9d99fe18cc8e5be0f0","datavalue":{"value":{"entity-type":"item","numeric-id":3346385,"id":"Q3346385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d80ba8216239483fab039e77708f41eeaeb2ee4b","datavalue":{"value":{"amount":"+0.7630789279937744","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":"Q687729$4DCD72FB-403A-4F70-9BA1-39CC038C8DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb149f3da82387e9ff49874c031fd342cd0e2848","datavalue":{"value":{"entity-type":"item","numeric-id":1065843,"id":"Q1065843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73668e4ad2de7056112144ea9c4592cfb24d7608","datavalue":{"value":{"amount":"+0.7336527705192566","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":"Q687729$6A2ACE3E-9CBD-4109-973C-36A69523C3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7272477daf0755119ccd94b275b5aed6c982b86e","datavalue":{"value":{"entity-type":"item","numeric-id":4033753,"id":"Q4033753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c350dea87593ee5e05d6f08ccd3656f05e7e11a","datavalue":{"value":{"amount":"+0.7116777300834656","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":"Q687729$7617D6BF-950C-441F-9C45-9D30D4CF2563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a6c46cdeed54f9c99337cbb7f89f8fdc42f01ed","datavalue":{"value":{"entity-type":"item","numeric-id":3426716,"id":"Q3426716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"660906d301409c64abde4c0de620c520580c0a89","datavalue":{"value":{"amount":"+0.710152804851532","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":"Q687729$0B9EEB76-86CF-4785-8AC0-2813B84E1314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"637661700770e01a9bddde1f927b07aa81e58174","datavalue":{"value":{"entity-type":"item","numeric-id":1600805,"id":"Q1600805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67764ffcbf593622b7083fa2c48065200c54e185","datavalue":{"value":{"amount":"+0.7085641622543335","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":"Q687729$DCB52ED9-757B-42E8-9B8C-4ABA9C97EF1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:687729","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:687729"}}}}}