A new proof of the solvable signalizer functor theorem. (Q401737): Difference between revisions
From MaRDI portal
Changed an Item |
Normalize DOI. |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / DOI | |||
Property / DOI: 10.1016/j.jalgebra.2012.12.009 / rank | |||
Property / cites work | |||
Property / cites work: Q3708174 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Goldschmidt's 2-signalizer functor theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Primitive pairs of \(p\)-solvable groups. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Solvable Signalizer Functors in Finite Groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Solvable signalizer functors on finite groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: 2-signalizer functors on finite groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3941595 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4321756 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4857335 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The theory of finite groups. An introduction. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3712472 / rank | |||
Normal rank | |||
Property / DOI | |||
Property / DOI: 10.1016/J.JALGEBRA.2012.12.009 / rank | |||
Normal rank |
Latest revision as of 16:28, 9 December 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A new proof of the solvable signalizer functor theorem. |
scientific article |
Statements
A new proof of the solvable signalizer functor theorem. (English)
0 references
27 August 2014
0 references
In this paper the author proves: Let \(G\) be a finite group, \(A\) an elementary abelian \(r\)-subgroup of \(G\) with rank \(m(A)\geq r\) and \(\Theta\) be a solvable \(A\)-signalizer functor on \(G\), then \(G\) is solvable complete. Here an \(A\)-signalizer functor is a mapping attaching each \(a\in A^\#\) an \(A\)-invariant \(r'\)-subgroup \(\Theta(C_G(a))\) of \(C_G(a)\) such that \(\Theta(C_G(a))\cap C_G(b)\leq\Theta(C_G(b))\), for all \(a,b\in A^\#\). The functor is called solvable if \(\Theta(C_G(a))\) is solvable and is called solvable complete if there is a solvable normal \(r'\)-subgroup \(M\) of \(G\) such that \(\Theta(C_G(a))=C_M(a)\) for all \(a\in A^\#\). Signalizer functors play an important role in the classification of the finite simple groups, in particular to get control over \(O(C_G(i))\) for \(i\) an involution in \(G\). Signalizer functors in this sense were introduced by \textit{D. Gorenstein} [J. Algebra 11, 243-277 (1969; Zbl 0214.27902)] generalizing some ideas of J. Thompson in the \(N\)-group paper. In [J. Algebra 14, 350-372 (1970; Zbl 0202.02402)] \textit{D. Gorenstein} proved the solvable signalizer functor theorem for \(r=2\) and \(m(A)\geq 5\). This was improved by \textit{D. M. Goldschmidt} to \(r\) odd and \(m(A)\geq 4\) [in J. Algebra 21, 137-148 (1972; Zbl 0253.20032)] and \(r=2\), \(m(A)\geq 3\) [in J. Algebra 21, 321-340 (1972; Zbl 0253.20033)]. In the generality as above the solvable signalizer functor theorem has been proved by \textit{G. Glauberman} [Proc. Lond. Math. Soc., III. Ser. 33, 1-27 (1976; Zbl 0342.20008)]. For \(r=2\) there is a short proof due to \textit{H. Bender} [Isr. J. Math. 22, 208-213 (1976; Zbl 0325.20016)]. \textit{M. Aschbacher} in the first edition of his book [Finite group theory. Cambridge Studies in Advanced Mathematics, 10. Cambridge: Cambridge University Press (1986; Zbl 0583.20001)] gave a proof generalizing Bender's ideas. The main problem is the use of the ZJ-Theorem, which works in Bender's approach but not in general. Furthermore there are some special problems for Fermat primes. This makes Aschbacher's proof more complex than Bender's proof. In this paper now the author gives a new proof of the solvable signalizer functor theorem following Bender's idea and replacing the ZJ-theorem by results of primitive pairs he has obtained recently [\textit{P. Flavell}, J. Algebra 324, No. 4, 841-859 (2010; Zbl 1209.20020)]. For the Fermat primes he follows Aschbacher's proof.
0 references
finite simple groups
0 references
finite solvable groups
0 references
solvable signalizer functors
0 references