{"entities":{"Q1295566":{"pageid":1306316,"ns":120,"title":"Item:Q1295566","lastrevid":68392962,"modified":"2026-04-12T23:24:40Z","type":"item","id":"Q1295566","labels":{"en":{"language":"en","value":"On Foulkes' conjecture"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1308206"}},"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":"Q1295566$B26E25DE-3404-458C-88B4-115FE5DD5897","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"841792e2e27822412921336e390dc7cd71ddbc11","datavalue":{"value":{"text":"On Foulkes' conjecture","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1295566$73DC7A0F-F969-4D71-A11C-3F66DC1A8FEC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5572b4d96da723e09304b2b8f3bda158b19bc3ca","datavalue":{"value":"0937.20004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295566$05A178CA-CDE0-4058-B1A6-24EE84EE70E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eedf759faa5556f9936ca7642550e60ebc08cc9b","datavalue":{"value":"10.1016/S0022-4049(97)00087-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295566$9C7E6091-11C9-4B8F-ADF6-5FE3252C48F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f6a950bdfa75a1bd381ca518eb65b329020e026","datavalue":{"value":{"entity-type":"item","numeric-id":1266352,"id":"Q1266352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295566$1B83F5AC-A5ED-47B2-950C-E210E699B5CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295566$4E1DE2B0-E721-4886-AACB-E910B0096AD3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b22f0234058b897ad308815846be004cdc7f94b2","datavalue":{"value":{"time":"+2000-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1295566$D5EB3D19-374D-4D87-BE63-884FD5E0A514","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c6624a183d7c10df4176cd93239c3f45b69c381a","datavalue":{"value":"\\textit{H.~O.~Foulkes} [in J. Lond. Math. Soc. 25, 205-209 (1950; Zbl 0037.14902)] made a conjecture which is one of the longest standing open problems in the representation theory of the symmetric group. If \\(G\\) is a group, denote by \\(\\text{id}\\) the trivial representation of \\(G\\). If \\(H\\) is a subgroup of \\(G\\) and \\(V\\) a representation of \\(H\\), denote by \\(V \\uparrow^G_H\\) the induced representation of \\(G\\) on \\(V\\). Denote the symmetric group on \\(a\\) letters by \\(S_a\\). Then it can be shown that if \\(a\\leq b\\), the wreath product \\(S_a\\text{ wr }S_b\\) is isomorphic to the normaliser of the Young subgroup \\(S_a\\times S_a\\times\\cdots\\times S_a\\) (with \\(b\\) copies of \\(S_a\\)) in \\(S_{ab}\\). Foulkes conjectured that in this situation, \\(\\text{id} \\uparrow_{S_a\\text{ wr }S_b}^{S_{ab}}\\) is a subrepresentation of \\(\\text{id} \\uparrow_{S_b\\text{ wr }S_a}^{S_{ab}}\\).   The idea of this paper is to provide a new approach to proving this conjecture by defining, in a combinatorial fashion, a certain linear map. If it can be shown that this linear map is injective, it will follow, from results in this paper, that Foulkes' conjecture holds.   The author considers a certain representation \\(S^{\\lambda,a}\\) of \\(S_a\\), where \\(\\lambda\\) is a partition of \\(ab\\) (this is a generalisation of the Specht module). \\textit{D.~A.~Gay} showed [in Rocky Mt. J. Math. 6, 449-455 (1976; Zbl 0334.22010)] that the multiplicity of the irreducible module \\(S^\\lambda\\) in \\(\\text{id} \\uparrow^{S_{ab}}_{S_a\\text{ wr }S_b}\\) is equal to the multiplicity of the trivial representation in \\(S^{\\lambda,a}\\). The author embeds \\(S^{\\lambda,a}\\) into a larger representation \\(V^{\\lambda,a}\\), and calculates the sum of all the trivial subrepresentations \\(M^{\\lambda,a}\\) in \\(V^{\\lambda,a}\\). It follows from Gay's result that the dimension of \\(S^{\\lambda,a}\\cap M^{\\lambda,a}\\) equals the multiplicity of \\(S^\\lambda\\) in \\(\\text{id} \\uparrow_{S_a\\text{ wr }S_b}^{S_{ab}}\\). Thus, to prove Foulkes' conjecture, it is sufficient to show that for \\(a\\leq b\\), \\(\\dim(S^{\\lambda,a}\\cap M^{\\lambda,a})\\leq\\dim(S^{\\lambda,b}\\cap M^{\\lambda,b})\\). The author then defines a linear map from \\(S^{\\lambda,a}\\cap M^{\\lambda,a}\\) to \\(S^{\\lambda,b}\\cap M^{\\lambda,b}\\). He conjectures that this map is injective (Foulkes' conjecture would follow from this by the above argument). Finally, the author studies this linear map on various extensions of these spaces. In particular, on \\(M^{\\lambda,a}\\), it is shown that its matrix is fairly sparse and close to triangular. A number of related open problems are listed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295566$ABDA74FC-D5E5-4EF5-967B-CC23B5E792D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5aff02389d3918a330b0fc4c8d97ee0424df96a7","datavalue":{"value":"20C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295566$F6FC10D7-4705-49EA-BE4D-EF3CCCD51DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8cf2f692eb0d5c2fc2ce5b2154318999029c1c1b","datavalue":{"value":"05E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295566$567A128B-B4FC-43ED-B6F6-C6BFF1CADDCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb5d1e694a0c88d435d98289c9ff9b7eb400d6bb","datavalue":{"value":"20C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295566$E584D0C4-EC53-4449-9711-FED5BC8980D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa3a0cd38ea582d702916ee49599e832f201d954","datavalue":{"value":"20B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295566$AC41002A-DCEC-4C10-B7C4-DD23CBE97AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"99162f665c9ec138d28e4bea8a477540421995b7","datavalue":{"value":"20B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295566$97CF99F0-E6D7-4F86-A2DF-83BD4F6D9AFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"488fdfc045545ec1fac5ef8c96b9dbd842d5360b","datavalue":{"value":"1308206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295566$A7DE0EED-B6E7-4850-8D26-5BD5533F86AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f1f2d0ac666fcdd661844ef9a394903274fedf1","datavalue":{"value":"symmetric groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295566$1E8F65BB-B9FD-4098-AC89-61B8EAEF34CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a642ba745036fe2fe860b8069e9da99a6b6e2c3","datavalue":{"value":"Foulkes' conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295566$7A00960E-4331-4C16-9BC4-6E63B621C527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a1a80c1e63d219912ad4cd7ceb02e498b23f532","datavalue":{"value":"Specht modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295566$7FBE56D6-BC6E-4A66-B198-86D740D628E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31c76d62215c206dd02ac2ec239d0c3d1d5b44db","datavalue":{"value":"group representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295566$F26F6F5D-75DC-4877-85F2-1F1B9626EBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295566$F640523F-AE0F-4470-87C2-25C106B7CE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"998eac5cec152dba5e9680c0335d54600fe65ec5","datavalue":{"value":"induced representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295566$9CC2E774-E526-4C7A-9B29-0E485741D593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a8d3b05b239ecdee3a7b793ee265f2b0394699b","datavalue":{"value":"Young subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295566$BC35A7BA-1CD0-4B6A-80AC-48A097C5CCA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6449783f5d629615e073ed038272cc1e4fc4250b","datavalue":{"value":"irreducible modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295566$0651EEE7-84CB-492A-A7C0-A1904561FFE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bee83e14a841b7ea83dd11987f1286bb7c99557","datavalue":{"value":"multiplicities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295566$BEBA9506-F948-4750-BE93-E4C8A6C7CA7A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8503f25cbdf674e7547ae43225f37a8a7ffeb6b8","datavalue":{"value":"Q122999974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295566$E037FB46-D70C-4520-9793-B5EF943A6B9D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"20f0d06fa540238585bcee2eca8bff65ff37cb98","datavalue":{"value":{"entity-type":"item","numeric-id":343602,"id":"Q343602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295566$FA2C3174-DB3A-4EED-8848-E72BF59E32EE","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":"Q1295566$82AF3299-2307-4EF7-AC64-A306E7047349","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e10210eaacd122f80c9eba3c8c698f06b977563","datavalue":{"value":{"entity-type":"item","numeric-id":1118029,"id":"Q1118029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295566$47FB0CA6-D64D-42B2-B82C-CB3B3B119010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9b6c330f141f4e9282fdc8094fdb89e06aac8dc","datavalue":{"value":{"entity-type":"item","numeric-id":2366952,"id":"Q2366952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295566$BE037D30-BA41-4858-88FA-53C0498476D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca56e6874f07946fe2bb7e6c40d1ffabce52b7d6","datavalue":{"value":{"entity-type":"item","numeric-id":5795531,"id":"Q5795531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295566$65B46330-1BB8-4EE8-A7A3-A18FB3FEFAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"794c814df95c1578ab50ee52af09b08a5df2b778","datavalue":{"value":{"entity-type":"item","numeric-id":4002278,"id":"Q4002278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295566$AEBB7735-89C4-4555-8591-807B495E795E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8ebd938552d10e4c1f23d8029ee2a123de5762c","datavalue":{"value":{"entity-type":"item","numeric-id":1228850,"id":"Q1228850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295566$C91E22EE-CBA0-401A-9047-E7B2227A3C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28ad70e49821c2df0a9be13905eb4aa38c3e6e34","datavalue":{"value":{"entity-type":"item","numeric-id":1252412,"id":"Q1252412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295566$B62FAAAE-E66F-43AE-9262-234C1860C129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c6a0890e606a3646a79cc5fd6b2192394137477","datavalue":{"value":{"entity-type":"item","numeric-id":3952291,"id":"Q3952291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295566$366D9D47-9427-494E-BA2E-EEEBED71C162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f5c2825d2d2a2c332921f3a91befa3c0eddf4ba","datavalue":{"value":{"entity-type":"item","numeric-id":3947818,"id":"Q3947818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295566$20530FD4-4656-4EBA-9CE1-492326BE29A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da60ced66356ff4bace18238263792f98ea506eb","datavalue":{"value":{"entity-type":"item","numeric-id":4001520,"id":"Q4001520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295566$2DC303AA-BBDE-4854-9562-87A03170779A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0002ee4647e8dd7267f1dbd173c133ba96c01363","datavalue":{"value":{"entity-type":"item","numeric-id":1882881,"id":"Q1882881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f31deee2d24bc363b32dfbc90d3b9227361736e","datavalue":{"value":{"amount":"+0.8531471490859985","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":"Q1295566$76295F35-E6E3-4B30-8DB7-D0E6EF8F16EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"861d88166ba7eb0ec708030b1e336fc7352f2168","datavalue":{"value":{"entity-type":"item","numeric-id":1945791,"id":"Q1945791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"feab36dff21b728ccb906971155ed90744c1eeca","datavalue":{"value":{"amount":"+0.8525673151016235","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":"Q1295566$8A0E4F57-C2E3-492D-9D66-8A5CAF80841A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8208bcfbb86e6015220e2340bbf81f8c88dee1b","datavalue":{"value":{"entity-type":"item","numeric-id":1118029,"id":"Q1118029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d795ec397ca8cd2eca718917f13a5cd5351f55cc","datavalue":{"value":{"amount":"+0.848727285861969","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":"Q1295566$07AC29CE-9924-49BF-B207-5247A504B9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a000abe581138ba5794728e5ca0430911cb28bc","datavalue":{"value":{"entity-type":"item","numeric-id":1975905,"id":"Q1975905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a2cbcc162e08c9c87fb23875dfcb0a902f28c00","datavalue":{"value":{"amount":"+0.8451159596443176","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":"Q1295566$C93C11B4-8228-4372-BA33-B2D67A4C5558","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Foulkes' conjecture","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Foulkes%27_conjecture"}}}}}