{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q2339677","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q2339677","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q2339677","kernelVersion":"v1","immutable":true,"modified":"2026-04-02T20:33:29Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q2339677","name":"Variations on the Baer-Suzuki theorem.","headline":"Variations on the Baer-Suzuki theorem.","description":"scientific article; zbMATH DE number 6422646","url":"https://portal.mardi4nfdi.de/entity/Q2339677","datePublished":"2015-04-02","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q167085"},{"@id":"https://portal.mardi4nfdi.de/entity/Q317295"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q163114"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1007/S00209-014-1399-Y","url":"https://doi.org/10.1007/S00209-014-1399-Y"},"sameAs":["https://doi.org/10.1007/S00209-014-1399-Y"],"comment":"The Baer-Suzuki theorem says that if \\(p\\) is a prime, \\(x\\) is a \\(p\\)-element in a finite group \\(G\\) and \\(\\langle x,x^g\\rangle\\) is a \\(p\\)-group for all \\(g\\in G\\), then the normal closure of \\(x\\) in \\(G\\) is a \\(p\\)-group. The authors consider the case where \\(x^g\\) is replaced by \\(y^g\\) for some other \\(p\\)-element \\(y\\). In a previous joint paper with \\textit{P. H. Tiep} [Adv. Math. 234, 618-652 (2013; Zbl 1277.20029)] they provided examples showing that the analog of Baer-Suzuki is not true; the most one could expect is that \\(x^G\\) and \\(y^G\\) commute modulo \\(O_p(G)\\) and this can fail. However they proved some variation: if \\(C\\) and \\(D\\) are normal subsets of a finite group \\(G\\) with \\(\\langle C\\rangle=\\langle D\\rangle\\) and \\(\\langle c,d\\rangle\\) is a \\(p\\)-group for a prime \\(p\\geq 5\\) and for all \\((c,d)\\in C\\times D\\), then \\(\\langle C\\rangle\\) is a normal \\(p\\)-subgroup of \\(G\\). The conclusion fails for \\(p=2,3\\) and fails without the assumption that \\(\\langle C\\rangle=\\langle D\\rangle\\).   In the present paper, the author prove that under a stronger assumption on the structure of \\(\\langle c,d\\rangle\\), a new version of Baer-Suzuki holds: let \\(C\\) and \\(D\\) be normal subsets of a finite group \\(G\\) such that \\(\\langle c,d\\rangle\\) is a \\(p\\)-group with no section isomorphic to \\(Z_p\\wr Z_p\\) for all \\((c,d)\\in C\\times D\\), then \\([C,D]\\leq O_p(G)\\). They also classify all pairs of conjugacy classes \\(C,D\\) of elements of order \\(p\\) in finite almost simple groups such that \\(\\langle c,d\\rangle\\) is a \\(p\\)-group for all \\((c,d)\\in C\\times D\\).   The authors also answer a closely related question of Pavel Shumyatsky on commutators of conjugacy classes of \\(p\\)-elements and propose the following conjecture: let \\(5\\neq p\\) be a prime and let \\(C\\) be a conjugacy class of \\(p\\)-elements in the finite group \\(G\\); if \\([c,d]\\) is a \\(p\\)-element for all \\(c,d\\in C\\), then \\(C\\subseteq O_p(G)\\). They notice that their methods can be used to reduce to showing the conjecture for \\(G={^2G_2(q^2)}\\) with \\(q^2=3^{2a+1}>27\\) and \\(p\\) a primitive prime divisor of \\(q^2+\\sqrt 3q+1\\).","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q5921492"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1145213"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3710672"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1912709"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3669622"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4375273"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2516869"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4452185"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1935197"},{"@id":"https://portal.mardi4nfdi.de/entity/Q689854"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1415350"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1887487"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3659962"},{"@id":"https://portal.mardi4nfdi.de/entity/Q687618"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4034562"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2395331"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2265520"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3916727"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1179998"}]},"provenance":{"prov:generatedAtTime":"2026-04-02T20:33:29Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}