Fixed points of coprime automorphisms and generalizations of Glauberman's \(Z^*\)-theorem (Q1977539): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1006/jabr.1999.8129 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1998960533 / rank | |||
Normal rank |
Revision as of 23:12, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Fixed points of coprime automorphisms and generalizations of Glauberman's \(Z^*\)-theorem |
scientific article |
Statements
Fixed points of coprime automorphisms and generalizations of Glauberman's \(Z^*\)-theorem (English)
0 references
24 February 2002
0 references
Using the classification of the finite simple groups, the authors prove the following generalization of Glauberman's \(Z^*\)-theorem. Let \(\pi\) be a set of primes and let \(x\) be a \(\pi\)-element of the finite group \(G\). Then the following are equivalent: (i) \(G=O_{\pi'}(G)C_G(x)\). (ii) For each \(g\in G\setminus C_G(x)\), the subgroup \(\langle x,x^g\rangle\) has a non-trivial normal \(\pi\)-complement, and furthermore \([O_{\pi'}(\langle x,x^g\rangle),x]\cap C_G(x)\leq O_{\pi'}(C_G(x))\). (iii) For each \(g\in G\setminus C_G(x)\), the subgroup \(\langle x,x^g\rangle\) has a non-trivial normal \(\pi\)-complement, and furthermore \(\langle[O_{\pi'}(\langle x,x^g\rangle),x]\cap C_G(x)\mid g\in G\rangle\) is a \(\pi'\)-group. When \(\pi=\{2\}\) and \(x\) is an involution, this theorem becomes the \(Z^*\)-theorem. Authors' comment: The reviewer has been misleading that the proof of theorem 1 and 2 make use of the classification of finite simple groups. They are purely character-theoretic (with some standard group theory), and do not make use of the classification of finite simple groups.
0 references
block theory
0 references
normal complements
0 references
finite groups
0 references
\(\pi\)-elements
0 references