{"entities":{"Q1929774":{"pageid":1940516,"ns":120,"title":"Item:Q1929774","lastrevid":43429565,"modified":"2025-07-25T18:30:50Z","type":"item","id":"Q1929774","labels":{"en":{"language":"en","value":"On ideals of the group algebra of an infinite symmetric group over a field of characteristic \\(p\\)."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6123748"}},"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":"Q1929774$7B2A3B87-B3E3-4685-BEA7-63895E57BA7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a47d7b303ed272adf23865110ab24fbb1981e78","datavalue":{"value":{"text":"On ideals of the group algebra of an infinite symmetric group over a field of characteristic \\(p\\).","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1929774$C5B2A755-9274-4EA2-897D-1741E565D4C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"72d3ea01be2ec99143265060f441e539567f3f75","datavalue":{"value":"1270.20009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1929774$196289DC-8167-4444-9CF1-01993E9E5392","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89e567546621244710949445dddb87ce5f06d25b","datavalue":{"value":"10.1134/S0001434612090106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1929774$C2121902-C998-4D56-8F4F-C6BD52C7FEF5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4815a958ba013438c581609d8a1e0adcffec7d5d","datavalue":{"value":{"entity-type":"item","numeric-id":182306,"id":"Q182306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929774$3273037A-617E-42BB-B7E1-44A08B34296C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929774$044B545F-3F94-411D-BC40-0B2F8AF31C23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4331d5b4abbb2f7bb88786d75d7faa748a867f4f","datavalue":{"value":{"time":"+2013-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1929774$21A427F2-6AA3-4CCA-863D-6C5345F8153D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"44aaf7c030f416e58b80ab5f5eaf3c30b9dfe88e","datavalue":{"value":"Let \\(S_\\infty\\) be the infinite symmetric group of finite permutations and let \\(FS_\\infty\\) be its group algebra over a field \\(F\\). When \\(F\\) is of characteristic 0, representation theory of finite symmetric groups \\(S_n\\) gives a description of the ideals of \\(FS_\\infty\\) in the language of finite collections of partitions of integers. In the paper under review the author studies ideals of \\(FS_\\infty\\) when \\(F\\) is a field of positive characteristic.   The main result states that every nonzero ideal of \\(FS_\\infty\\) contains skew-symmetric and symmetric elements of sufficiently large order, i.e., elements of the form \\(\\sum_{\\sigma\\in S_n}(-1)^\\sigma\\sigma\\) and \\(\\sum_{\\sigma\\in S_n}\\sigma\\) for all sufficiently large \\(n\\).   The proof is based on combinatorial techniques typical for the theory of algebras with polynomial identities. The exposition is reasonably self-contained. The only nontrivial fact given without proof is the deep theorem of the author [Int. J. Algebra Comput. 5, No. 2, 189-197 (1995; Zbl 0835.16019)] that in positive characteristic every PI-algebra satisfies some standard and some symmetric identity  \\[ \\sum_{\\sigma\\in S_n}(-1)^\\sigma x_{\\sigma(1)}\\cdots x_{\\sigma(n)}=0\\quad\\text{ and }\\quad\\sum_{\\sigma\\in S_n}x_{\\sigma(1)}\\cdots x_{\\sigma(n)}=0. \\]  Using the main result, the author transfers the question of the classification of the ideals of \\(FS_\\infty\\), \\(\\text{char\\,}F=p>0\\), to the classification of certain subspaces of the tensor square of finitely generated free associative algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1929774$688D53DB-A9DF-4244-A4BD-5741C22A7581","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"08212ce4707e37d420e92ca5e5c9b907cc6ec418","datavalue":{"value":{"entity-type":"item","numeric-id":375678,"id":"Q375678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929774$437A2A7B-7221-41A3-9547-B2805C5870B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d697709f2a6a2ec9ba35642ef3039e8de4f75ccd","datavalue":{"value":"20C32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1929774$71139A4F-5C14-42A6-80AD-BD9305208BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"78561816a36336f990925c0d7d4e291f6baa24cd","datavalue":{"value":"16S34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1929774$71FBD89C-63F5-4A0E-893B-EEB48652D8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9c30bc25742c91e863e72e793103d6e0955029fb","datavalue":{"value":"16R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1929774$0085665C-C9D0-4F74-8DC1-770AE86005D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"05178b00f3954cc5276390a934207187e030f430","datavalue":{"value":"20C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1929774$0AB192B8-5704-49C8-AAEF-13E1D8A00C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48f73236e58d3b9eb494e5927909ad332acac144","datavalue":{"value":"16D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1929774$7BE8C5F5-6A4E-40AA-A7DC-E9AD78FAF749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9869d6727426fa925115c8692e8e1b59eda63fae","datavalue":{"value":"16S10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1929774$5D3768F8-78BA-4790-A163-F78583C35E97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eddbdfc90d46eb47b5f549b31d5a4687f31a328c","datavalue":{"value":"6123748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1929774$820CA23D-8F90-490B-9117-3324D0E51029","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4115c94ca7e78e58aee70e678d77c3629dc729c","datavalue":{"value":"group algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1929774$58817C9F-245B-45E5-8042-2544E19B0427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4505cf5886449830d50f2e96b29d80746575ce72","datavalue":{"value":"ideals of group algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1929774$4723ACB5-E274-4C86-ABC7-4C5D2CA58F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fdc3a199fa12dce17aac66c893d916ff03de56a","datavalue":{"value":"characteristic \\(p\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1929774$6A0B52A9-7BC0-4056-B08D-8D2430771EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70a4f9b281d29c2601c5b900277f78174f9e0cea","datavalue":{"value":"multilinear polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q1929774$22F29CA5-B599-4F8D-9FB7-59E32D6DA926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"339bc1c3f89b2f425ba07ec0fd5b5b184f5db1c7","datavalue":{"value":"infinite symmetric group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1929774$C5C1EA0E-E965-4B44-94C4-64FC30467FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b9564445bb145cb7d54c07ffb612823bb409f9e","datavalue":{"value":"finitely generated free associative algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1929774$D03F7CB4-373D-4330-8DE4-9FF47CCF508B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f211bb822efe0ecdc075bb3f02b59001d9910d7f","datavalue":{"value":"tensor squares","type":"string"},"datatype":"string"},"type":"statement","id":"Q1929774$C09B7C5A-8FD2-4C6D-942B-C7CFC7001629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a2aaca9c6eb0fe310abc3685c38a26372e9ef68","datavalue":{"value":"algebras with polynomial identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1929774$D44CCFED-DA11-46CE-AEA4-33C680C822A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9ce2fb32956d73f54d50c984b4315321b2f9d54","datavalue":{"value":"skew-symmetric elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1929774$9A510E1D-B7FA-4611-A3FF-80D93B271ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"348fcbe57193584bb50552dda14154b2160e546d","datavalue":{"value":"symmetric elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1929774$3963DED7-3199-4CCE-8F06-B4080F1C4536","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":"Q1929774$8B615E53-B596-439E-99F4-E6047E1D1237","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc0a5718536c7d3c302a4da174685c683e77b25a","datavalue":{"value":{"entity-type":"item","numeric-id":4852670,"id":"Q4852670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1929774$6EB26274-F4FC-4369-B1C7-978406F79CC7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5175404bcdd064e006db74c2782dca5f90de2074","datavalue":{"value":"https://doi.org/10.1134/s0001434612090106","type":"string"},"datatype":"url"},"type":"statement","id":"Q1929774$C16F66CB-2B3C-4D31-87B8-1AD603446848","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d679b166581dd3bc2b913b3a241eede3f8f4a51b","datavalue":{"value":"W2067076962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1929774$CA98B39B-4253-4765-9F56-7CF1693EB661","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b4edce26049e480de14e4facb40e308b118a696","datavalue":{"value":{"entity-type":"item","numeric-id":1764842,"id":"Q1764842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f12167e8d74e9c2231f820375dca84ad4c0aaa74","datavalue":{"value":{"amount":"+0.90880555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1929774$4E2EC0B3-DFB0-49E2-81C7-BF9B2D662668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a3bd5988d0e6f5210c97e8b624fc22b4b043966","datavalue":{"value":{"entity-type":"item","numeric-id":2065936,"id":"Q2065936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b47ac905e1bb36a1d54700dd1869c9b925081788","datavalue":{"value":{"amount":"+0.8911852","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1929774$0C9FBD57-762B-48BD-8AD5-AAE756FB7D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7ec4db3613b640125e3bfe288573e7a5a655ac5","datavalue":{"value":{"entity-type":"item","numeric-id":1289323,"id":"Q1289323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ad4f1f166c82902633079e3ed3ba06bd274534d","datavalue":{"value":{"amount":"+0.8910966","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1929774$E89D9D11-77EA-4960-A563-5D3C6D733C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a9c2b7e9f5865c1f38a72f7c27f4dc57d52747f","datavalue":{"value":{"entity-type":"item","numeric-id":4854346,"id":"Q4854346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a387a46045992787339d74118e7673c103fcb714","datavalue":{"value":{"amount":"+0.88833797","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1929774$3F2D4BF2-17CB-487D-8877-F743F60B7782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd23aab59c025dd8e12f014edd5632ef641d7af9","datavalue":{"value":{"entity-type":"item","numeric-id":2847691,"id":"Q2847691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"862963f65bb1fe99e630265dcba831563a1f50e1","datavalue":{"value":{"amount":"+0.88564396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1929774$9A59FD33-DC75-46F1-9619-16A7DBDEB6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c2368b2b063875c19416a4d824f3d63fdb19bba","datavalue":{"value":{"entity-type":"item","numeric-id":2963546,"id":"Q2963546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"886585019965b3a2c4dd3fde37b3ff3b77ffec7f","datavalue":{"value":{"amount":"+0.88540876","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1929774$CA7ACB6D-46DB-4366-B908-F1ABC627E24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"627fcef7723db2d0f6a6086817f1b1a419c446c9","datavalue":{"value":{"entity-type":"item","numeric-id":1354655,"id":"Q1354655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c777f5063ff9228fef0c73388293d9333485c73e","datavalue":{"value":{"amount":"+0.88484955","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1929774$FA50E165-11B8-4B9B-AEAE-8147B1C6C2D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d9aec457f4e38990bd9ea077f6e6dad6c896310","datavalue":{"value":{"entity-type":"item","numeric-id":2253017,"id":"Q2253017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5630e57b8cccb2342176338de80c83778fac5b6f","datavalue":{"value":{"amount":"+0.8835335","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1929774$29C8E6B3-12E9-4061-82A3-318CB79E1D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3b4864849a7f236acd228b828b7b5a0d0c6fff0","datavalue":{"value":{"entity-type":"item","numeric-id":2781238,"id":"Q2781238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f17a8b17f6cc0682a888131aef68d67ba2796a85","datavalue":{"value":{"amount":"+0.8833263","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1929774$971FF8DE-414B-4DC3-8639-0C24EBA9ADC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1929774","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1929774"}}}}}