1
$\begingroup$

Assume that:

$G$ contains a normal subgroup $H$ of order $9$, and $G$ is generated by $H$ and an element $x\in G-H$ of order $3$.

How to classify all such groups $G$?

I think $9$ divides the order of $G$, and G is isomorphic to an abelian group of order 27.

  • 0
    9 divides the order of G2012-12-13
  • 0
    Thanks. Where is the problem from?2012-12-13
  • 0
    from textbook :basic algebra2012-12-13
  • 0
    $G$ is a group of order 27, but it is not necessarily abelian. The three abelian groups of order 27 are straightforward, and [according to GP](http://groupprops.subwiki.org/wiki/Groups_of_order_27) the two nonabelian groups of order 27 are the semidirect product of Z9 by Z3 and the unitriangular matrix group U(3,3), which surely require some sophistication to understand. I think only the former though fits your situation, which is much more palatable.2012-12-13
  • 0
    is this a rigorous proof?2012-12-13
  • 2
    (Um, the previous comment isn't even an attempted proof...) Indeed, your group must be a semidirect product of $H$, a group of order 9, with $Z_3$ the cyclic group of order 3. $H$ can be either $Z_9$ or $Z_3\oplus Z_3$. $Z_3$ has one nontrivial homomorphic image (an embedding) inside $\mathrm{Aut}(Z_9)=U(9)\cong Z_6$ which corresponds to the one nonabelian group $G$, and $Z_3$ has no nontrivial image in $\mathrm{Aut}(Z_3\oplus Z_3)\cong U(3)\oplus U(3)\cong Z_2\oplus Z_2$, so there are no other nonabelian such $G$, whereas the the two (cyclic of order 27 doesn't count) abelian $G$'s are clear.2012-12-13
  • 0
    why is G a semidirect product of H and Z3?2012-12-13
  • 0
    See http://www.math.columbia.edu/~bayer/S09/ModernAlgebra/semidirect.pdf2012-12-13

1 Answers 1