{"entities":{"Q1865611":{"pageid":1876353,"ns":120,"title":"Item:Q1865611","lastrevid":48072856,"modified":"2026-01-03T13:33:50Z","type":"item","id":"Q1865611","labels":{"en":{"language":"en","value":"A generalization of Sylow's theorems on finite groups to association schemes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1889180"}},"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":"Q1865611$0632E5EE-5A84-41B0-A633-7D2B39823511","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00c8ba0dbf9b84b36f59e5c0ee2b26d283d612d9","datavalue":{"value":{"text":"A generalization of Sylow's theorems on finite groups to association schemes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1865611$1ED775B8-652F-460F-AD6B-0887C7DA5D5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b75a720166338a74e765b7fa813ce7ad6c3980d","datavalue":{"value":"1010.05082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1865611$5C0FF5D1-6827-498C-91F7-A946936AAEDE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f4641f71b15fb07f206f3a60e2d1617c149df85","datavalue":{"value":{"entity-type":"item","numeric-id":297506,"id":"Q297506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1865611$7AFA4102-EAEB-4E0D-B09A-B6883AD1899B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcad156839911c976121a0bc1d4a6087f79a5858","datavalue":{"value":{"entity-type":"item","numeric-id":627983,"id":"Q627983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1865611$227C53EE-78EE-42FC-B3ED-3440EF8B4A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0080982d92245a44504131c3ac32d506b9c2ad4","datavalue":{"value":{"entity-type":"item","numeric-id":633277,"id":"Q633277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1865611$AE676E98-CB7D-4092-8596-A2AF2DFF7C37","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dfa5bc95e1fdba4c3d3197123373583ef39a5b9e","datavalue":{"value":{"entity-type":"item","numeric-id":163114,"id":"Q163114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1865611$373B61B4-3BFB-4F15-A4C7-AACDC0528CFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3f004312de52306fc7600bb16bd0709c1b334f36","datavalue":{"value":{"time":"+2003-03-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1865611$9965A0FE-0271-4660-8EBA-401AF9688CE5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3b75b418e45e3532ca981e9d779ee538181977b2","datavalue":{"value":"Let \\(G\\) be a partition of \\(X\\times X\\) such that \\(1_X\\in G\\). For each \\(x\\in X\\) and, for each subset \\(r\\) of \\(X\\times X\\) we set \\(r^*=\\{(y,z)\\mid (z,y)\\in r\\}\\) and \\(xr=\\{y\\in X\\mid (x,y)\\in r\\}\\). The pair \\((X,G)\\) is an association scheme if \\(g^*\\in G\\) for any \\(g\\in G\\) and for any three elements \\(d,e,f\\in G\\), there exists the number \\(a_{def}\\) such that, for any two elements \\(y\\in X\\) and \\(z\\in yf\\), \\(|yd\\cap ze^*|=a_{def}\\). For each element \\(g\\in G\\) we set \\(n_g=a_{gg^*1}\\). Let \\(F\\subseteq G\\). We define \\(n_F=\\sum_{f\\in F}n_f\\). For \\(e,f\\in G\\) we define \\(ef=\\{g\\in G\\mid a_{efg}\\neq 0\\}\\). A non-empty subset \\(F\\) of \\(G\\) is closed if \\(de\\subset F\\) for any two elements \\(d,e\\in F\\). Let \\(H\\) be a closed subset of \\(G\\). We define \\(X/H=\\{xH\\mid x\\in X\\}\\), \\(N_G(H)=\\{g\\in G\\mid gHg^*\\subseteq H\\}\\). For each \\(g\\in G\\) we set \\(g^H=\\{(yH,zH)\\mid z\\in yg\\}\\). For each closed subset \\(K\\) of \\(G\\) with \\(H\\subset K\\), we define \\(K//H=\\{k^H\\mid k\\in K\\}\\). It is easy to see that \\((X/H,G//H)\\) is a scheme (the factor scheme of \\(G\\) with respect to \\(H\\)). An element \\(g\\in G\\) will be called \\(p\\)-valenced if \\(n_g\\) is a power of \\(p\\). A subset of \\(G\\) will be called \\(p\\)-valenced if each of its elements is \\(p\\)-valenced. A \\(p\\)-valenced subset \\(F\\) of \\(G\\) will be called a \\(p\\)-subset if \\(n_F\\) is a power of \\(p\\). We denote by \\(\\text{Syl}_p(G)\\) the set of all closed \\(p\\)-subsets \\(H\\) of \\(G\\) such that \\(p\\) does not devide \\(n_{G//H}\\). Theorem. Let \\((X,G)\\) be a finite scheme, \\(p\\) a prime number, and \\(P\\) a closed \\(p\\)-subset of \\(G\\). If \\(G\\) is \\(p\\)-valenced, then we have the following. (i) If \\(P\\notin \\text{Syl}_p(G)\\), then there exists a closed \\(p\\)-subset \\(P'\\) of \\(G\\) such that \\(P\\subset P'\\subset N_G(P)\\) and \\(pn_P=n_{P'}\\). (ii) For each \\(P'\\in \\text{Syl}_p(G)\\), there exists an element \\(g\\in G\\) such that \\(gPg^*\\subset P'\\). (iii) Assume that \\(P\\in \\text{Syl}_p(G)\\), and set \\(N=N_G(P)\\). Then we have \\(n_{G//N}\\equiv 1\\;(p)\\) and \\(n_{G//N}\\equiv |gPg^*\\cap \\text{Syl}_p(G)|(p)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1865611$AE2BFD0B-B6E3-4336-83AA-3ABEC0DAEDDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98259a5dd4d8db83a95d10edc3bf87986357d020","datavalue":{"value":"05E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1865611$83C035AE-9EAE-4B52-9D35-40DCAA410BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cb279cd820ee6d5f5647cc9befc318ac29106a8","datavalue":{"value":"20D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1865611$994677D2-C450-4DB3-9722-6A2DFA946956","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f86b3535a81caf045bb196ac2a896992f6386fcb","datavalue":{"value":"1889180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1865611$D67D2617-4615-4186-A78A-D7E535CD8F1D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe795963d6761a698b94db1a54f26b05e149fc65","datavalue":{"value":"association schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1865611$6E0971A8-7751-469A-BC00-4419A4250A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de99e7f702b6736310c9f87d01eb639db75a4c72","datavalue":{"value":"finite groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1865611$90D035D1-3397-4778-BF4F-DFE694A8E69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75afa9f88551f8238c2f780bc8cd72575b615e0f","datavalue":{"value":"Sylow's theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1865611$80A531AE-7279-476E-A981-A8C44064EEE4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fda9acac94227ec6a4d94bfacd7faa6594c90e71","datavalue":{"value":{"entity-type":"item","numeric-id":1669732,"id":"Q1669732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1865611$A633100C-2063-4D0C-B09E-CA3CDE003EBA","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":"Q1865611$707BB03D-45B6-45D7-A4FB-C67FD154849E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"65ad06bd68a03689bca117f5091e8bd66f61bd5d","datavalue":{"value":"https://doi.org/10.1007/s00209-002-0430-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1865611$1EB61E90-22BC-4492-AB7E-E472F6E2A3B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0fdbf81a85f15551f35616d5dcccebd245c07bb2","datavalue":{"value":"W2032687201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1865611$AC766597-369B-4DFF-A72B-91C0EBEDAF68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8ce49616a4e3ede9ce5db2fabe21bda3fffb73a","datavalue":{"value":"10.1007/S00209-002-0430-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1865611$34E9CCBD-CBA7-4FCB-BBE4-3826913E7EF7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be4d7e328b9f9e8ecdad3eadee71e669d6cd8d53","datavalue":{"value":{"entity-type":"item","numeric-id":2472836,"id":"Q2472836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"275b42b57b9055a5ae60ddb3939aeca17677b039","datavalue":{"value":{"amount":"+0.8764117956161499","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":"Q1865611$D09C5B00-6C67-4F40-BBC6-985BF25D0FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"997794c1d5943715e204bcd8d36742357d2fd09f","datavalue":{"value":{"entity-type":"item","numeric-id":616435,"id":"Q616435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd681c322dd5d025c8f98484d8470fb7f48a348f","datavalue":{"value":{"amount":"+0.7895600199699402","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":"Q1865611$94004BA2-E857-4246-A40A-D3667138964F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e67c761d40c476abd824db154f51dae6d6a4d24","datavalue":{"value":{"entity-type":"item","numeric-id":925004,"id":"Q925004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"229ce1cf5a378ff4a578b37e869f31d50c87395e","datavalue":{"value":{"amount":"+0.783872127532959","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":"Q1865611$B1FBAAEA-B9B7-42AE-A123-CAFBB6DB8CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca0f17684db8f4d4d687021ff528675b0a7ee490","datavalue":{"value":{"entity-type":"item","numeric-id":4993944,"id":"Q4993944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0942210b8126d03793614e3548b94671fff2cbe9","datavalue":{"value":{"amount":"+0.7761030197143555","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":"Q1865611$15F19BF7-4E45-4B4F-8884-3C09EACCEB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd2f6735fe1299190306328b5f40fdf18951067a","datavalue":{"value":{"entity-type":"item","numeric-id":376032,"id":"Q376032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12e6eb3256094ae97209f13340514571b3c5d148","datavalue":{"value":{"amount":"+0.7566394805908203","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":"Q1865611$3C3FA81C-16B5-4B1A-860A-84BF88803861","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1865611","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1865611"}}}}}