Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

It should have a copy of $\Bbb Z/p\Bbb Z\times \Bbb Z/p\Bbb Z$ but my brother's class has not learned it yet and this is for a homework problem... Any help?

share|cite|improve this question
Given the additional condition, my answer fails to be applicable. – Cameron Buie Nov 5 '12 at 2:55

Let $G$ be our noncyclic, abelian $p$-group of order $p^m$. By Cauchy's theorem there is an element $x$ with $|x|=p$ which generates $X\subset G$. We construct another element $y$ of order $p$ outside $X$ as follows.

Take $y$ to be any element of $G\setminus X$ of minimal order. Then, $y^p\in X$. Either it is $1$ as desired, or it is $x^r$ for some integer $r\not\equiv p\pmod{p}$. It follows that the exponent $r$ can be inverted modulo $p$, so there is some $z\in X$ such that $z^p=y^p$.

Note that $z^{-1}y$ has order $p$ (since $G$ is abelian), and is not in $X$. Thus, $y$ has order $p$ by hypothesis.

We are done since the subgroup $X\times Y$, where $Y=\langle y\rangle$, is noncyclic of order $p^2<p^m$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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