signalizer functor

{{Multiple issues|

}}

In mathematics, in the area of abstract algebra, a signalizer functor is a mapping from a potential finite subgroup to the centralizers of the nontrivial elements of an abelian group. The signalizer functor theorem provides the conditions under which the source of such a functor is in fact a subgroup.

The signalizer functor was first defined by Daniel Gorenstein. George Glauberman proved the Solvable Signalizer Functor Theorem for solvable groups and Patrick McBride proved it for general groups. Results concerning signalizer functors play a major role in the classification of finite simple groups.

Definition

Let A be a non-cyclic elementary abelian p-subgroup of the finite group G. An A-signalizer functor on G (or simply a signalizer functor when A and G are clear) is a mapping θ from the set of nonidentity elements of A to the set of A-invariant p′-subgroups of G satisfying the following properties:

For every nonidentity element $a\in A$ , the group $\theta(a)$ is contained in $C_G(a).$
For every pair of nonidentity elements $a, b\in A$ , we have $\theta(a) \cap C_G(b) \subseteq \theta(b).$

The second condition above is called the balance condition. If the subgroups $\theta(a)$ are all solvable, then the signalizer functor $\theta$ itself is said to be solvable.

Solvable signalizer functor theorem

Given $\theta,$ certain additional, relatively mild, assumptions allow one to prove that the subgroup $W= \langle \theta(a) \mid a \in A, a \neq 1\rangle$ of $G$ generated by the subgroups $\theta(a)$ is in fact a $p'$ -subgroup.

The Solvable Signalizer Functor Theorem proved by Glauberman states that this will be the case if $\theta$ is solvable and $A$ has at least three generators. The theorem also states that under these assumptions, $W$ itself will be solvable.

Several weaker versions of the theorem were proven before Glauberman's proof was published. Gorenstein proved it under the stronger assumption that $A$ had rank at least 5. David Goldschmidt proved it under the assumption that $A$ had rank at least 4 or was a 2-group of rank at least 3. Helmut Bender gave a simple proof for 2-groups using the ZJ theorem, and Paul Flavell gave a proof in a similar spirit for all primes. Glauberman gave the definitive result for solvable signalizer functors. Using the classification of finite simple groups, McBride showed that $W$ is a $p'$ -group without the assumption that $\theta$ is solvable.

=Completeness=

The terminology of completeness is often used in discussions of signalizer functors. Let $\theta$ be a signalizer functor as above, and consider the set И of all $A$ -invariant $p'$ -subgroups $H$ of $G$ satisfying the following condition:

$H\cap C_G(a) \subseteq \theta(a)$ for all nonidentity $a \in A.$

For example, the subgroups $\theta(a)$ belong to И as a result of the balance condition of θ.

The signalizer functor $\theta$ is said to be complete if И has a unique maximal element when ordered by containment. In this case, the unique maximal element can be shown to coincide with $W$ above, and $W$ is called the completion of $\theta$ . If $\theta$ is complete, and $W$ turns out to be solvable, then $\theta$ is said to be solvably complete.

Thus, the Solvable Signalizer Functor Theorem can be rephrased by saying that if $A$ has at least three generators, then every solvable $A$ -signalizer functor on $G$ is solvably complete.

Examples of signalizer functors

The easiest way to obtain a signalizer functor is to start with an $A$ -invariant $p'$ -subgroup $M$ of $G,$ and define $\theta(a) = M\cap C_G(a)$ for all nonidentity $a \in A.$ However, it is generally more practical to begin with $\theta$ and use it to construct the $A$ -invariant $p'$ -group.

The simplest signalizer functor used in practice is $\theta(a) = O_{p'}(C_G(a)).$

As defined above, $\theta(a)$ is indeed an $A$ -invariant $p'$ -subgroup of $G$ , because $A$ is abelian. However, some additional assumptions are needed to show that this $\theta$ satisfies the balance condition. One sufficient criterion is that for each nonidentity $a \in A,$ the group $C_G(a)$ is solvable (or $p$ -solvable or even $p$ -constrained).

Verifying the balance condition for this $\theta$ under this assumption can be done using Thompson's $P\times Q$ -lemma.

Coprime action

To obtain a better understanding of signalizer functors, it is essential to know the following general fact about finite groups:

Let $E$ be an abelian non-cyclic group acting on the finite group $X.$ Assume that the orders of $E$ and $X$ are relatively prime.
Then $X = \langle C_X(E_0) \mid E_0 \subseteq E, \text{ and } E/E_0 \text{ cyclic }\rangle$

This fact can be proven using the Schur–Zassenhaus theorem to show that for each prime $q$ dividing the order of $X,$ the group $X$ has an $E$ -invariant Sylow $q$ -subgroup. This reduces to the case where $X$ is a $q$ -group. Then an argument by induction on the order of $X$ reduces the statement further to the case where $X$ is elementary abelian with $E$ acting irreducibly. This forces the group $E/C_E(X)$ to be cyclic, and the result follows.

This fact is used in both the proof and applications of the Solvable Signalizer Functor Theorem.

For example, one useful result is that it implies that if $\theta$ is complete, then its completion is the group $W$ defined above.

=Normal completion=

Another result that follows from the fact above is that the completion of a signalizer functor is often normal in $G$ :

Let $\theta$ be a complete $A$ -signalizer functor on $G$ .

Let $B$ be a noncyclic subgroup of $A.$ Then the coprime action fact together with the balance condition imply that $W= \langle \theta(a) \mid a \in A, a \neq 1\rangle = \langle \theta(b) \mid b \in B, b \neq 1\rangle.$

To see this, observe that because $\theta(a)$ is B-invariant, $\theta(a) = \langle \theta(a) \cap C_G(b) \mid b \in B, b \neq 1\rangle \subseteq \langle \theta(b) \mid b \in B, b \neq 1\rangle.$

The equality above uses the coprime action fact, and the containment uses the balance condition. Now, it is often the case that $\theta$ satisfies an "equivariance" condition, namely that for each $g \in G$ and nonidentity $a \in A$ , $\theta(a^g) = \theta(a)^g \,$ where the superscript denotes conjugation by $g.$ For example, the mapping $a \mapsto O_{p'}(C_G(a))$ , the example of a signalizer functor given above, satisfies this condition.

If $\theta$ satisfies equivariance, then the normalizer of $B$ will normalize $W.$ It follows that if $G$ is generated by the normalizers of the noncyclic subgroups of $A,$ then the completion of $\theta$ (i.e., W) is normal in $G.$

References

{{reflist|refs=

{{Citation|last1=Aschbacher|first1=Michael|author1-link=Michael Aschbacher|title=Finite Group Theory|publisher=Cambridge University Press|year=2000|isbn=978-0-521-78675-1}}

{{Citation | last1=Kurzweil | first1=Hans | last2=Stellmacher | first2=Bernd | title=The theory of finite groups | publisher=Springer-Verlag | location=Berlin, New York | series=Universitext | isbn=978-0-387-40510-0 | mr= 2014408 | doi=10.1007/b97433 | year=2004}}

{{Citation | last1=Gorenstein | first1=D. | author1-link=Daniel Gorenstein | title=On the centralizers of involutions in finite groups | doi=10.1016/0021-8693(69)90056-8 | mr=0240188 | year=1969 | journal=Journal of Algebra | issn=0021-8693 | volume=11 | issue=2 | pages=243–277| doi-access= }}

{{Citation | last1=Glauberman | first1=George | author1-link=George Glauberman | title=On solvable signalizer functors in finite groups | doi=10.1112/plms/s3-33.1.1 | mr=0417284 | year=1976 | journal=Proceedings of the London Mathematical Society |series=Third Series | issn=0024-6115 | volume=33 | issue=1 | pages=1–27}}

{{Citation | last1=McBride | first1=Patrick Paschal | title=Near solvable signalizer functors on finite groups | doi=10.1016/0021-8693(82)90107-7 | doi-access=free | mr=677717 | year=1982a | journal=Journal of Algebra | issn=0021-8693 | volume=78 | issue=1 | pages=181–214| url=https://deepblue.lib.umich.edu/bitstream/2027.42/23875/1/0000114.pdf | hdl=2027.42/23875 | hdl-access=free }}

{{Citation | last1=McBride | first1=Patrick Paschal | title=Nonsolvable signalizer functors on finite groups | doi=10.1016/0021-8693(82)90108-9 | doi-access=free | year=1982b | journal=Journal of Algebra | issn=0021-8693 | volume=78 | issue=1 | pages=215–238| hdl=2027.42/23876 | hdl-access=free }}

{{Citation | last1=Goldschmidt | first1=David M. | author1-link=David Goldschmidt | title=Solvable signalizer functors on finite groups | doi=10.1016/0021-8693(72)90040-3 | mr=0297861 | year=1972a | journal=Journal of Algebra | issn=0021-8693 | volume=21 | pages=137–148| doi-access=free }}

{{Citation | last1=Goldschmidt | first1=David M. | author1-link=David Goldschmidt | title=2-signalizer functors on finite groups | doi=10.1016/0021-8693(72)90027-0 | mr=0323904 | year=1972b | journal=Journal of Algebra | issn=0021-8693 | volume=21 | issue=2 | pages=321–340| doi-access=free }}

{{Citation | last1=Bender | first1=Helmut | title=Goldschmidt's 2-signalizer functor theorem | doi=10.1007/BF02761590 | doi-access= | mr=0390056 | year=1975 | journal=Israel Journal of Mathematics | issn=0021-2172 | volume=22 | issue=3 | pages=208–213}}

{{Citation | last1=Flavell | first1=Paul | title=A new proof of the Solvable Signalizer Functor Theorem | year=2007 | url=http://for.mat.bham.ac.uk/P.J.Flavell/research/preprints/ssft.pdf | url-status=dead | archiveurl=https://web.archive.org/web/20120414213214/http://for.mat.bham.ac.uk/P.J.Flavell/research/preprints/ssft.pdf | archivedate=2012-04-14 }}

}}

Signalizer functor