4
$\begingroup$

Suppose A, B are normal abelian subgroups of some finite group G. Let [G:A]=m, [G:B]=n, where gcd(m,n)=1.

Can G be non-abelian?

--

I've been attempting to show that G must be abelian, but I'm starting to think that this isn't necessarily true.

I can show that |G|=|AB|=mnq, |A∩B|=q where q is some positive integer. I can also show that there are cases in which q does not equal 1 (Let G=Z2xZ3xZ4) (if q=1, AxB would then be isomorphic to AB, and so G would be abelian.).

  • 5
    So A \cap B < Z(G), which makes $G$ nilpotent. But any prime $p$ dividing $|G|$ must either not divide $m$ or not divide $n$, so a Sylow $p$-subgroup is contained in either $A$ or $B$, and hence is abelian.2012-12-07

1 Answers 1

2

This elaborates upon Derek's solution in the comments. If $[G:A]$ and $[G:B]$ are relatively prime, then $[G:AB]$ is $1$ since it divides both of these indices, hence $G=AB$. Furthermore, commutators of normal subgroups are distributive, so we compute the derived subgroup of $G$ as

$G'=[G,G]=[AB,AB]=[A,A][A,B][B,A][B,B]=[A,B].$

Since $A,B\triangleleft G$ are normal, $[A,B]\le A\cap B$. Since $A,B$ are both abelian and $G=AB$, we can tell that the intersection $A\cap B\le Z(G)$ is central. Hence $[G',G]=1$ and $G$ is nilpotent (of class $\le2$).

A finite group is nilpotent if and only if it is a direct product of its Sylow $p$-subgroups. Each Sylow subgroup must be contained in one of $A$ or $B$ due to their coprime indices, in which case every Sylow subgroup is abelian. Therefore $G$ is abelian since it is ($\cong$) a direct product of abelian groups.