Groups of order 12 with a normal 3-subgroup contain an element of order 6

245 Views Asked by At

Let $G$ be a group of order $12$ with a normal $3$-subgroup (which is unique by Sylow's theorems). Does it contain an element of order $6$? I just need a hint to prove it without classifying all the groups of order $12$.


If $G$ contained just one $2$-subgroup, there would necessarily be an element of order $6$. So, we can assume there are three $2$-subgroups.


This is a similar question, but I cannot understand j.p.'s comment...

1

There are 1 best solutions below

0
On

Let $S=G\setminus\langle a\rangle$ where $a$ is of order $3$. As $\langle a\rangle\lhd G$, we have a homomorphism $$\phi\colon G\to\operatorname{Aut}(\langle a\rangle)=\{a\mapsto a^{-1},a\mapsto a\}\cong \Bbb Z/2\Bbb Z$$

Pick $b\in S$ and $c\in S\cap b^{-1}S$ (which is possible because $ S\cap b^{-1}S$ has at least six elements). Then also $bc\in S$. It follows that at least one of $b,c,bc$ is in $\ker\phi$.

But if $x\in S\cap \ker\phi$ then $$\langle a,x\rangle \cong\langle a\rangle\oplus\langle x\rangle\cong\Bbb Z/3\Bbb Z\oplus \Bbb Z/k\Bbb Z$$ with $k\in\{2,4,6,12\}$, and this contains an element of order $6$.