0
$\begingroup$

This question already has an answer here:

Let $G$ be an abelian group such that $|G|=p^m$ for some $m\geq 1$ where $p$ is a prime. Assume that $G$ has only one subgroup of order $p^{m-1}$.

How to prove that $G$ is cyclic ?

$\endgroup$

marked as duplicate by Watson, Derek Holt, Claude Leibovici, user91500, mesel Nov 8 '16 at 9:53

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

2
$\begingroup$

I think if we take some $x\in G-H$ where $|H|=p^{n-1}$ then nesserily $G=<x>$. Lagrange Theo. admits that $|x|=p^{m}$ for some $m$. Of coures $1\leq m\leq n$. If $m<n$ then there is a subgroup say $K$ such that $|K|=p^{n-1}$ and $x\in K$. As we assumed alreay this $K$ should be the same as $H$. So $x\in H$. A nice Contradiction! So $|x|=p^{n}$. I assumed $|G|=p^n$ than your notation.

$\endgroup$
  • 2
    $\begingroup$ May I know why "If $m<n$ then there is a subgroup say $K$ such that $|K|=p^{n-1}$ and $x\in K$." $\endgroup$ – Alan Wang Nov 8 '16 at 7:31
  • 1
    $\begingroup$ Where do you use the assumption that $G$ is abelian? $\endgroup$ – Chas Brown Nov 8 '16 at 9:00
  • $\begingroup$ @AlanWang Take $K = \langle x \rangle$, by assumption there is only one subgroup of $G$ and has it has order $p^{n-1}$, therefore $|K|=p^{n-1}$ $\endgroup$ – Bysshed Nov 8 '16 at 9:48

Not the answer you're looking for? Browse other questions tagged or ask your own question.