{"entities":{"Q6580059":{"pageid":14191214,"ns":120,"title":"Item:Q6580059","lastrevid":95785703,"modified":"2026-06-05T09:45:56Z","type":"item","id":"Q6580059","labels":{"en":{"language":"en","value":"Group algebras in which the socle of the center is an ideal"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7888037"}},"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":"Q6580059$68977807-7416-4E54-8220-A88363AD3088","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91e496fc82791e774b79ab5e93ae482e2c698a10","datavalue":{"value":{"text":"Group algebras in which the socle of the center is an ideal","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6580059$7C14D02B-5C40-4F31-8AD3-8BE5090E14EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57c2673ff124027de1ca412a2e70afe512a70d35","datavalue":{"value":{"entity-type":"item","numeric-id":3386858,"id":"Q3386858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580059$881D7142-BB5F-44ED-A225-6714B68235EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8703a167a98bb0f14857af32ea64b37e1631a52","datavalue":{"value":{"entity-type":"item","numeric-id":173435,"id":"Q173435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580059$1056B93D-4899-4880-A89E-C5DE2B1C7609","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7bea17b1d79e8cac21f18a6ac7b1bea1ebf1783e","datavalue":{"value":{"entity-type":"item","numeric-id":6580058,"id":"Q6580058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580059$CD6B96A6-E3A7-4EC7-B397-5E6DBB92B019","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"581d0568ac17ca43ed5d0aedd4efb6193b09597e","datavalue":{"value":{"time":"+2024-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6580059$AF650C54-FEA6-464F-A6B8-89A09BAAA73E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"55de38830ccc28e47f29b89dad5d511c57030c8e","datavalue":{"value":"Let \\(F\\) be a field of prime characteristic \\(p>0\\) and let \\(G\\) be a finite group and let \\(ZFG\\) denote the center of the group algebra \\(FG\\). \\N\\NFinite groups \\(G\\) such that the Jacobson radical \\(J(ZFG)\\) is an ideal of \\(FG\\) are characterised by \\textit{R. J. Clarke} [J. Lond. Math. Soc., II. Ser. 1, 565--572 (1969; Zbl 0206.31502)], \\textit{S. Koshitani} [J. Lond. Math. Soc., II. Ser. 18, 243--246 (1978; Zbl 0389.20003)] and \\textit{B. K\u00fclshammer} [Arch. Math. 114, No. 6, 619--629 (2020; Zbl 1457.20004)]. In the article under review, the authors consider the corresponding problem for the socle of \\(ZFG\\) and for the Reynolds ideal of \\(FG\\). \\N\\NTheir first main result establishes that the Reynolds ideal of \\(FG\\) is an ideal in \\(FG\\) if and only if the derived subgroup \\(G'\\) of \\(G\\) is contained in the \\(p\\)-core \\(O_p(G)\\) of \\(G\\). \\N\\NNow, provided that the socle of \\(ZFG\\) is an ideal in \\(FG\\), the latter result implies that the group \\(G\\) admits a decomposition as a semi-direct product \\(G\\cong P\\rtimes H\\) where \\(P\\) is a Sylow \\(p\\)-subgroup of \\(G\\) and \\(H\\) is an abelian \\(p'\\)-group. This decomposition is then used to characterise all \\(p\\)-groups \\(G\\) such that the socle of \\(ZFG\\) is an ideal in \\(FG\\). This is the case if and only if the nilpotency class of is at most two, or \\(p = 2\\) and \\(G'\\subseteq Y(G)Z(G)\\) where \\(Y(G) =\\langle fg-1 \\mid \\{f, g\\}\\) is a conjugacy class of length \\(2\\) of \\(G \\rangle\\). \\N\\NBack to arbitrary finite groups, generalising the \\(p\\)-group case, the authors prove further criteria for the socle of \\(ZFG\\) to be an ideal in \\(FG\\) leading them to the following group-theoretic characterisation, which is their second main result: if \\(G\\) is a finite group for which \\(\\mathrm{soc}(ZFG)\\) is an ideal in \\(FG\\), then \\(G\\) is the central product of the centraliser \\(C_P(H)\\) and the \\(p\\)-residual group \\(O^p(G)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q6580059$3F66F8EE-19C6-4923-97F4-39F76518AF48","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"322bd1e3ede560927737b2548bfc858586c36ce1","datavalue":{"value":{"entity-type":"item","numeric-id":256951,"id":"Q256951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580059$3EC6B291-7566-4211-8C1D-A8595A26A0C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a2a08fbf923859623db67d2f25dda13b53d2263b","datavalue":{"value":"20C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6580059$9F1582D2-9D4F-4E4B-9D02-20F8276AA0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"63280e28b992d074f46b8f496b13ff58e558e99c","datavalue":{"value":"20C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6580059$6BDD2C7C-33B9-4953-A535-09F2B20C2C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"78561816a36336f990925c0d7d4e291f6baa24cd","datavalue":{"value":"16S34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6580059$C2A957FB-553B-4094-AB0E-5D84505F3234","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2bf5e1084be27406680eb1b7416b5c0c4793181c","datavalue":{"value":"7888037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6580059$276B1117-D0F8-4318-9C1F-959D11CC00DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b60acc4adca3e1c61cdcb9c399e5c15dc7374b70","datavalue":{"value":"group algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6580059$632A1B05-E908-4692-BC15-34D7F39413D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"052f98b660cc044977f184395d1e6acf4d6c5ce4","datavalue":{"value":"centre of the group algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6580059$B3345EF3-9B29-4146-ACE4-70C5F5235F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50b0a92020fc008848b89e4c91cfae45df1708ce","datavalue":{"value":"Reynolds ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q6580059$A703E617-C770-45D3-BDC9-0F367785FA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea3b283f0f5d695cbc62e5a2a3fb4823e6800e4b","datavalue":{"value":"Jacobson radical","type":"string"},"datatype":"string"},"type":"statement","id":"Q6580059$880C7AE1-E8FA-40BF-8377-233807DB5C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c57ac350084922cbf90bdc2a031519cf1d08b16","datavalue":{"value":"socle","type":"string"},"datatype":"string"},"type":"statement","id":"Q6580059$1582D94D-608D-457D-8D56-DA1E4F4AE9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ed0bbb5806b983b05aebcc74c45a6daf6ccba27","datavalue":{"value":"ideals of the group algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6580059$5E8C68C7-A275-4D7C-A8F4-0AE950A1C573","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":"Q6580059$40F41FD9-82C2-4CDA-8C47-F4EEF0764B01","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"74ff9b1eead61abaaec3d59275c9045ed681e8f7","datavalue":{"value":{"entity-type":"item","numeric-id":2545354,"id":"Q2545354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580059$A26F62D9-209A-4EF4-B8ED-E92967C4E3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fcf59be774bde260066900446417959b205a34e","datavalue":{"value":{"entity-type":"item","numeric-id":6047998,"id":"Q6047998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580059$AF89C6E8-147D-44E5-AE78-EC3BA7F35A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a1b016fa6977c04063f9b6987aeb3c459c0ab27","datavalue":{"value":{"entity-type":"item","numeric-id":5606648,"id":"Q5606648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580059$F9476B8C-5306-43E8-9E36-934A24ED8E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf549ab96001983adefe8ae7db075248c6194842","datavalue":{"value":{"entity-type":"item","numeric-id":5577154,"id":"Q5577154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580059$D56C0759-EC6D-4B65-9833-AAB283550792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07db5d9d443b5d4b2edd7761e49422c74809a4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5620726,"id":"Q5620726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580059$45A012E4-9E02-4D02-BE49-D64A10DB30F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c085abff89bea7d30e9249814d0269e953e89ab5","datavalue":{"value":{"entity-type":"item","numeric-id":4170880,"id":"Q4170880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580059$34222ED9-9B1A-4F61-8AD3-E78D077D3557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15c588ca8f325afea6369133d896ca45e8df2b7d","datavalue":{"value":{"entity-type":"item","numeric-id":4012111,"id":"Q4012111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580059$59ACEB9E-3926-4E2D-AF97-B9FE54078E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af99c578b3f80a662b4bd2c83c7ce41660690841","datavalue":{"value":{"entity-type":"item","numeric-id":2182683,"id":"Q2182683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580059$182DC134-7C1F-45E8-908E-5B513A2F2485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b7f95b25c0c2966d0074aa0778b0b6f975a4f5a","datavalue":{"value":{"entity-type":"item","numeric-id":4608838,"id":"Q4608838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580059$F5266910-63EB-481C-96A3-E273556596B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3492edf29bcb43d08769a7ba313e97036fb9649c","datavalue":{"value":{"entity-type":"item","numeric-id":4145843,"id":"Q4145843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580059$416EC206-2FDE-4295-9B3C-D6096D17CE8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"044eccb4e46ed8a24cc44b671e37efb6ecccf6d8","datavalue":{"value":"10.5802/ART.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6580059$7E2AF410-7487-4C12-ACDA-FB7FC59B9E7E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d6a6f533d4c8133915f67eda3cbc6ac3230ef9b","datavalue":{"value":{"entity-type":"item","numeric-id":6051027,"id":"Q6051027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17141bada0351c1027e69242ed247dd24b81e4c6","datavalue":{"value":{"amount":"+0.7960721254348755","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":"Q6580059$CEE8D49D-8171-4C25-B815-315045E8C7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29761dd72d189e498b8685a5b799c0f2cef9e173","datavalue":{"value":{"entity-type":"item","numeric-id":5953404,"id":"Q5953404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8694301a43c24fb62a9bad30fbc74a3d362fd071","datavalue":{"value":{"amount":"+0.7894884943962097","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":"Q6580059$85710F32-34E2-43DA-882C-7FDA4FC32E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88e4b0f007c1caaba49b65b635edc6c87718d462","datavalue":{"value":{"entity-type":"item","numeric-id":2182683,"id":"Q2182683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9aae8d96dfa74c80808c1d68770b34c04b90a9f","datavalue":{"value":{"amount":"+0.7525187134742737","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":"Q6580059$8F804003-08FE-47B1-8FEA-AE5ECA1C9788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dbe4f76e795558a7142dfad4cb32219a7c164c7","datavalue":{"value":{"entity-type":"item","numeric-id":3529047,"id":"Q3529047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a74c07177963040c0a37b608e867ad0a7e21bdd1","datavalue":{"value":{"amount":"+0.7479068040847778","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":"Q6580059$BD292452-F3AA-42CD-AD38-4A24E08FD19C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580059$3AF39701-D1EE-48C2-8A09-FC0290DD6F7D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Group algebras in which the socle of the center is an ideal","badges":[]}}}}}