3
$\begingroup$

My concern is to look for a classification of :

  • Centralizers/Normalizer of elementary abelian subgroups of a simple group.
  • Centralizers/Normalizer of abelian subgroups(Not necessarily elementary) of a simple group.

Suppose we have a copy of $\mathbb{Z}_8$ in a non abelian simple group $G$ then $C_G(\mathbb{Z}_8)$ would be of order at least $8$ as $\mathbb{Z}_8$ is abelian.

But does this say anything about possible order of $C_G(\mathbb{Z}_8)$ atleast under some conditions?

And does this hold if that abelian subgroup is not actually $\mathbb{Z}_8$ but something like $\mathbb{Z}_4\times \mathbb{Z}_2$ or $\mathbb{Z}_2\times \mathbb{Z}_2\times \mathbb{Z}_2$

As $G$ is simple $\mathbb{Z}_8$ would not be a normal subgroup assuming $|G|>8$ so Normalizer of $\mathbb{Z}_8$ in $G $ i.e., $N_G(\mathbb{Z}_8)$ would not be whole $G$.

But does this say anything about possible order of $N_G(\mathbb{Z}_8)$ atleast under some conditions?

And does this hold if that abelian subgroup is not actually $\mathbb{Z}_8$ but something like $\mathbb{Z}_4\times \mathbb{Z}_2$ or $\mathbb{Z}_2\times \mathbb{Z}_2\times \mathbb{Z}_2$ ?

This question got stuck in my mind after reading some other question so at present i do not have an considerable ideas to explain.

So, please give some hints to proceed further..

$\endgroup$
  • $\begingroup$ C_G(Z8) has order at least 8, since it contains Z8. Do you want these abelian subgroups to be Sylow p-groups? $\endgroup$ – Jack Schmidt Jan 12 '14 at 18:55
  • $\begingroup$ @JackSchmidt : I have noticed and written that their order is atleast $8$ but could not think of more than that... I would be happy if there is any thing considerable if I make them to be sylow p subgroups... It is welcome for me if they are sylow subgroups.. $\endgroup$ – user87543 Jan 12 '14 at 18:57
  • $\begingroup$ (Typo: your question says "4" not "8"). $\endgroup$ – Jack Schmidt Jan 12 '14 at 18:59
  • $\begingroup$ @JackSchmidt : Yes Yes.. I am sorry and thanks... i have actually made it for $\mathbb{Z}_4$ but then changed every thing to $\mathbb{Z}_8$ but forgot that $4$ :D Thank you :) $\endgroup$ – user87543 Jan 12 '14 at 19:00
4
$\begingroup$

Firstly, any group with a nontrivial cyclic Sylow $2$-subgroup has a normal $2$-complement, so it cannot be simple. There is a very elementary proof of that. Look at the regular permutation representation. Then the image of a generator of a cyclic Sylow $2$-subgroup is an odd permutation, so intersecting with the alternating group gets you a subgroup of index $2$, and then you get the normal $2$-complement by induction.

Secondly, Burnside's Transfer Theorem states that if $P \in {\rm Syl}_p(G)$ and $P \le Z(N_G(P))$, then $G$ has a normal $p$-complement. So, in particular, (assuming $P$ nontrivial), $G$ cannot be simple. Note that this can only apply if $P$ is abelian.

In particular, if $G$ has an abelian Sylow $2$-subgroup with $N_G(P)=P$, then $G$ is not simple. This applies whenever ${\rm Aut}(P)$ is a $2$-group, which is the case when $P = C_4 \times C_2$. So if $G$ is simple and $|P| = 8$, then $P$ must be elementary abelian. In that case $|{\rm Aut}(P)|= 168$, so the possibilities for $|N_G(P)/C_G(P)|$ are $3$, $7$ and $21$.

In the ealier question Isaacs 5C10, you would still need to eliminate the case $|N_G(P)/C_G(P)|=3$. I am guessing that there are other results on transfer in Isaacs book that would enable you to do that (there is a result called the Focal Subgroup Theorem for example), but unfortunately I don't have Isaacs' book right now!

$\endgroup$
  • $\begingroup$ Isaacs's 5.18 is a weak focal subgroup theorem for abelian $P$, $G' \cap P \cap Z(N_G(P)) = 1$ if $P$ is an abelian Sylow $p$-subgroup. The full focal subgroup theorem is in the next section, 5.21. $\endgroup$ – Jack Schmidt Jan 12 '14 at 19:02
  • $\begingroup$ OK, so if $|N_G(P)|=24$ then $|P \cap Z(N_G(P))|=2$ and hence $G \ne G'$. Thanks! $\endgroup$ – Derek Holt Jan 12 '14 at 19:05
  • $\begingroup$ @JackSchmidt : I do not understand that statement :O :( $\endgroup$ – user87543 Jan 12 '14 at 19:09
  • $\begingroup$ @DerekHolt : I do not understand why would $|N_G(P)|$ would be one of $24,56,168$ why not other divisors :O $\endgroup$ – user87543 Jan 12 '14 at 19:11
  • $\begingroup$ Is it because it should have a factor $8$ and only possibilities are $8.3$ or $8.7$ or $8.3.7$?? :O $\endgroup$ – user87543 Jan 12 '14 at 19:13
4
$\begingroup$

Fusion 101: Suppose $G$ is a finite group whose Sylow 2-subgroup is $P \cong C_4 \times C_2$. Set $p=2$ for convenience. We can show that $G$ has a normal subgroup of index 8, so not only is $G$ not a simple group, it is a semi-direct product.

Look at $N_G(P)/ C_G(P) \leq \newcommand{\Aut}{\operatorname{Aut}}\Aut(C_4 \times C_2) \cong D_8$. Since $P$ is already a Sylow $2$-subgroup of $G$, $P$ is a Sylow 2-subgroup of $N_G(P)$ as well. Hence $N_G(P)/C_G(P)$ cannot contain any new elements of order two from $P/C_P(P) = P/P = 1$. Since $\Aut(P)$ is a 2-group, the only subgroup it has of odd order is also $1$, and $N_G(P)/C_G(P)=1$ and $N_G(P) = C_G(P)$. However, that means that $x^g$ is never in $P$ unless $x^g=x$ already:

Proposition: (Burnside fusion) Let $p$ be a prime, and let $G$ be a finite group with an abelian Sylow $p$-subgroup $P$. If $x, y \in P$ are conjugate in $G$, then they are already conjugate in $N_G(P)$.

Proof: Let $x, y \in P$ and suppose $y=x^g$ is conjugate to $x$ by some element $g \in G$. Let $Y=C_G(Y)$. Since $y \in Z(P)$, $P \leq Y$ is a Sylow $p$-subgroup. However, $x^g \in Z(P^g) = P^g$ so $P^g \leq Y$ is also a Sylow $p$-subgroup. By Sylow's theorem $P$ and $P^g$ are conjugate in $Y$, say $P = (P^g)^z$ for some $z \in Y = C_G(y)$. Now $x^{gz} = y^z = y$, with $gz \in N_G(P)$. Hence if $y=x^g$ for $g\in G$, then $y = x^h$ for some $h=gz \in N_G(P)$. $\square$

This is important for the transfer map: $T_P^G(x) = \prod (x^g)^{n_g}$ is a product of conjugates of $x$ raised to a power that puts them back inside $P$ with $\sum n_g = [G:P]$, by the transfer evaluation lemma (Isaacs's 5.5). However, if $x$ starts in $P$, then the only time $(x^g)^{n_g}$ is back in $P$ is when $(x^{n_g})^g = x^{n_g}$. That means $T(x) = x^{[G:P]}$ and $\ker(T) \cap P = 1$. However, the kernel of $T$ clearly contains every Sylow $q$-subgroup for $q \neq p$ since the image is a $p$-group, and also every $[g,h]$ since the image is abelian. In other words $\ker(T) \geq O^p(G) [G,G]$. If one is a bit more careful, one can actually show equality. We definitely have $T$ is surjective (it is an isomorphism when restricted to $P$), so we get that $\ker(T)$ is a normal subgroup of $G$ with $[G:\ker(T)] = |P| = 8$.

The Schur–Zassenhaus theorem gives that $G = P \ltimes \ker(T)$ is a semi-direct product.

The same argument works for $P\cong C_8$, but Derek gives a simple argument in this case.

Both of these cases are known as trivial fusion. When $P$ is abelian, you only need to check the $p'$-part of $\Aut(P)$. When $P$ is not abelian, then you get fancier versions (Frobenius's $p$-complement theorem says you only need to check certain subgroups of $\Aut(Q)$ for $Q \leq P$; Alperin–Goldschmidt gives exactly which $Q \leq P$ and which subgroups of $\Aut(Q)$ need to be checked).

$\endgroup$
  • $\begingroup$ transfer maps and all are so new for me!! may be i need some more time :) Thanks for your patience and interest :) $\endgroup$ – user87543 Jan 13 '14 at 8:58
  • $\begingroup$ I really liked Isaacs's treatment of transfer and fusion, but I first understood it from Kurzweil–Stellmacher's very simple textbook treatment. I think of transfer as a cheat. You basically want $x\mapsto x^n$ to be a homomorphism. It typically isn't, but transfer is very similar, and is a homomorphism. I learned fusion first from Gorenstein's Finite Groups, but I found Alperin's papers very helpful. If you've learned representation theory, then you can understand transfer as the induction of the identity map, that is, as a linear permutation representation. $\endgroup$ – Jack Schmidt Jan 13 '14 at 19:50

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy