{"entities":{"Q2790912":{"pageid":2801650,"ns":120,"title":"Item:Q2790912","lastrevid":52476029,"modified":"2026-01-22T18:19:22Z","type":"item","id":"Q2790912","labels":{"en":{"language":"en","value":"Squaring a conjugacy class and cosets of normal subgroups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6552037"}},"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":"Q2790912$0467CFD9-5D39-4F2E-B0ED-A5ACCDC79A71","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"983dacea755fc15d1b98127ea3e3adc6446eb905","datavalue":{"value":"1346.20037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2790912$24A5D09B-B381-4086-8B4A-3A8DEF2FF48F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2843fe570ffbdd7d33b1a08e905eb85995ccab3","datavalue":{"value":{"entity-type":"item","numeric-id":231144,"id":"Q231144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790912$51DDFEBF-0049-4174-B7B4-6E2690264427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5eee1d8859cf107392974876bcd6cc944a0f91d5","datavalue":{"value":{"entity-type":"item","numeric-id":317295,"id":"Q317295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790912$E2764114-9007-46CA-B203-0CEB76017C24","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e7b55aa1a8dafd08ef90d95361f82f1155bd5da7","datavalue":{"value":{"entity-type":"item","numeric-id":115236,"id":"Q115236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790912$89E447A9-C77B-4F31-BAD1-107F3DC867DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d64657497f836ca9759a26855d3a3e0d86319c6","datavalue":{"value":{"time":"+2016-03-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2790912$42968CC1-D3AC-48FB-AABB-6EF59D85EC12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f72f7275783d806f4b8f69d7ab40d0cbdf810627","datavalue":{"value":"20E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2790912$ADE3EB1C-B58F-494F-87CA-22FCD35A2DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6733577c02c6cfba3faed14f3a1300c1637a0c39","datavalue":{"value":"20D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2790912$C722A381-968B-42B4-BD36-8FEB47ABA511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa6df46ce84807deabcb46a10dd503a5c3867796","datavalue":{"value":"20D06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2790912$89A9E4B4-9588-42B7-B77B-375E5933E79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cb279cd820ee6d5f5647cc9befc318ac29106a8","datavalue":{"value":"20D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2790912$06E6DA41-020E-4F40-9523-7CDDCC5296E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb355bb4c266ebf02de1ed35e6a89875cb3a160b","datavalue":{"value":"6552037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2790912$C48D7544-1C21-4912-BE06-1E3F4E37DE2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de99e7f702b6736310c9f87d01eb639db75a4c72","datavalue":{"value":"finite groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2790912$D797D6AE-0CD4-4CE4-B0EE-AD0AA68393A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13aa39aefa3d36c6c4cbf122cbc31caff75ec6f0","datavalue":{"value":"squares of conjugacy classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2790912$47344DC2-F4E3-4A75-83DE-23DE62577AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd27fb50ebcecca620a85f5bc840307f95e216fb","datavalue":{"value":"cosets of normal subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2790912$24978C15-5972-44E6-A999-76765D1C3B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a7003a713b669430f69c9c2f9588cedc13a8fa9","datavalue":{"value":"products of conjugacy classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2790912$97CC995B-2778-4AB9-ADFD-E76B9959E223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad9197fe9ec98f64029bfe6818641ac8cdae1e50","datavalue":{"value":"irreducible characters","type":"string"},"datatype":"string"},"type":"statement","id":"Q2790912$52FCA10E-BFCD-4AFC-AF1E-2D4D71AA5CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26f365e540b3c656d11e20eab82923cf0030d8f4","datavalue":{"value":"solvable normal subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2790912$3BB26E50-0F51-4329-A243-73EBD9FF9442","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":"Q2790912$30C59C74-C262-41E7-BEAE-043C9B7F73D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9aa3319a5b1fa78dc63759616a8878c390f39bd2","datavalue":{"value":"https://doi.org/10.1090/proc/12874","type":"string"},"datatype":"url"},"type":"statement","id":"Q2790912$36A3674D-8BFF-4A15-9EE5-65558D4B986F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4dc1b963b7dd4323c95ea5f5e84ec8c1df72622a","datavalue":{"value":"W1879651465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2790912$22376806-3EC8-4945-BE60-4FEB98950A42","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b07df45eb3903c5c7c66071a41adfc7041e80d6","datavalue":{"value":{"entity-type":"item","numeric-id":2266060,"id":"Q2266060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790912$F8BFA856-6E22-4C3B-A835-A7DADE3B90AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ccc2f812877b8ae4a6f2f5e518df0713ab50e5f","datavalue":{"value":{"entity-type":"item","numeric-id":3420039,"id":"Q3420039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790912$E17C18EE-C655-4A83-A874-899A2EB26951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"820bd13c39ab073406b4075d86ec22a1e3e033bd","datavalue":{"value":{"entity-type":"item","numeric-id":689850,"id":"Q689850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790912$E81C1044-DD4B-45F3-B694-A6CFB8612597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956abfbfb02c57fa450cf44481c6ceebff0c0dac","datavalue":{"value":{"entity-type":"item","numeric-id":5552775,"id":"Q5552775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790912$8AB64846-25F3-484B-8F89-C2C1310C347B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"219d1289781c6af3a3b71872f294e7f15e98e144","datavalue":{"value":{"entity-type":"item","numeric-id":1935197,"id":"Q1935197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790912$A5B5DB07-9AE7-4073-A3DC-FF8A17C8888C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dac9f7173c0a447934544251ba303b5687c42636","datavalue":{"value":{"entity-type":"item","numeric-id":4402117,"id":"Q4402117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790912$E1120519-9C30-4E56-B311-295ACC1C8D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e012efe451b8df0e81b3007bc97fbed71d0a0fc","datavalue":{"value":{"entity-type":"item","numeric-id":3413656,"id":"Q3413656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790912$8F208E6C-074F-457E-B35F-49EE5D941F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8b8d6c53600a077b01ab63eeb0caf4c44049f0a","datavalue":{"value":{"entity-type":"item","numeric-id":3525189,"id":"Q3525189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790912$C17A606D-3AD3-4230-99A3-ED471FF32C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebcc648da5cc1ebe9bb883377e8488883a0fe4dd","datavalue":{"value":{"entity-type":"item","numeric-id":1895581,"id":"Q1895581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790912$C983C8A7-CF52-4EC6-8C63-D2D970140D32","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8aa83d0e567b567015441e1525c2b352a069d351","datavalue":{"value":"10.1090/PROC/12874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2790912$B459FF26-EEBF-4557-9B76-C292F6BB1C02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77b659c59875f838470cad40648a8432da42578a","datavalue":{"value":{"text":"Squaring a conjugacy class and cosets of normal subgroups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2790912$5996283A-50B5-4888-9A0C-2AD95D8730C8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dde170584fb9f61f445b5ac9cd8d818908114e01","datavalue":{"value":"The product of two conjugacy classes of a finite group \\(G\\) is an invariant set under conjugacy and it may be again a conjugacy class. For instance, this happens for all classes in abelian groups, or when just one of both classes is a central element of \\(G\\), or even when both classes have coprime cardinality.NEWLINENEWLINE In this paper, the authors characterize the particular case in which the square of a single conjugacy class \\(K=x^G\\) of \\(x\\in G\\) is a conjugacy class.NEWLINENEWLINE Theorem A claims that this occurs if and only if \\(K=x[x,G]\\) and \\(C_G(x)=C_G(x^2)\\), or equivalently, and by using the set of irreducible characters of \\(G\\), if and only if \\(\\chi(x)=0\\) or \\(|\\chi(x)|=\\chi(1)\\) for every \\(\\chi\\in\\mathrm{Irr}(G)\\), and \\(C_G(x)=C_G(x^2)\\). What is more relevant, under such hypothesis the normal subgroup \\([x,G]\\) is always solvable, and for proving this nice result the authors employ the Classification of Finite Simple Groups. Thus, the fact that the square of a conjugacy class is a conjugacy class provides a solvable normal subgroup in \\(G\\). This property agrees with the still open Arad and Herzog's conjecture, which asserts that the product of two non-trivial conjugacy classes of a non-abelian finite simple group can never be a conjugacy class.NEWLINENEWLINE The other main result of the paper is Theorem B and concerns conjugacy and coclasses of a normal subgroup. It is inspired by the fact that the class \\(K\\) in Theorem A is really a coclass of a solvable normal subgroup. Theorem B establishes that if \\(N\\) is a normal subgroup of a finite group \\(G\\) and \\(x\\in G\\) then: (a) if all elements of \\(xN\\) are \\(G\\)-conjugate, then \\(N\\) is solvable; (b) if all elements of \\(xN\\) are \\(G\\)-conjugate and \\(x\\) is a \\(p\\)-element for some prime \\(p\\), then \\(N\\) has a normal \\(p\\)-complement; (c) if all elements of \\(xN\\) have odd order, then \\(N\\) is solvable. -- The proofs of (a) and (c) also require the Classification of Finite Simple Groups but (b) does not.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2790912$DCAD677E-BB36-4D7B-84FD-F3612C52F147","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6fc6aae998eece192ec8d7e0d8564bad6bdde701","datavalue":{"value":{"entity-type":"item","numeric-id":590497,"id":"Q590497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2790912$601ACCC3-7C1C-4664-AF33-CB5B2A58463C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8f1692ec5e11e671d3dee6e1980ec7265a6999b","datavalue":{"value":{"entity-type":"item","numeric-id":2413449,"id":"Q2413449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaedc47994c56377bb5c79fc13b8e658ac3865d4","datavalue":{"value":{"amount":"+0.8464041948318481","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":"Q2790912$5E24182E-FE1C-4564-B167-30D6A24A49F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"211d58117f64c75f9b2c5816ecce06b49d1c34b4","datavalue":{"value":{"entity-type":"item","numeric-id":6073348,"id":"Q6073348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25a6d77f4982a19674bc455fabbfde8c08d53818","datavalue":{"value":{"amount":"+0.844364583492279","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":"Q2790912$4F4E8D85-4DBB-40C0-9D98-6AC8D9ABE552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a34a9f4d0ad92fa24bc10ee86be9d4abf116418f","datavalue":{"value":{"entity-type":"item","numeric-id":2170273,"id":"Q2170273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b12982d7e8d7edee898266be68ed2470040d283","datavalue":{"value":{"amount":"+0.8284122943878174","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":"Q2790912$BC56D3C2-C1F1-44DE-A9FF-AEAE1A1D908A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a51a2015ab3369dc1a3f7f4591437d8e326324ec","datavalue":{"value":{"entity-type":"item","numeric-id":6102529,"id":"Q6102529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51c60b06fb831c9384fee6e4ba9f8f8ff8e07dda","datavalue":{"value":{"amount":"+0.8234840035438538","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":"Q2790912$1DAE909D-1DCB-4FFD-B851-4DE72D4B7ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0cd14b727f413fe045905b9ff73234111434db1","datavalue":{"value":{"entity-type":"item","numeric-id":3083035,"id":"Q3083035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65725d0be3a230c949bfec8479d9cfbce31ddd0a","datavalue":{"value":{"amount":"+0.8233178853988647","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":"Q2790912$0214BF69-4D75-4281-9747-F57D2A502B2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2790912","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2790912"}}}}}