Proving that a condition is sufficient for a finite abelian group to be cyclic

Question

Suppose that for any prime $p$ such that $p$ divides $|G|$, $G$ a finite abelian group, there are strictly fewer than $p$ elements of $G$ with order $p$.

Can we use this fact to show that $G$ is cyclic? I'm actually trying to show that this condition is equivalent to cyclic-ness, but I proved the converse indirectly. I suppose the first step would be to write $|G| = {p_1}^{e_1}{p_2}^{e_2}\cdots{p_r}^{e_r}$ for distinct primes $p_i$ and try using the Fundamental Theorem, but I got nowhere doing that.

Any help would be appreciated.

Answer 1

Let $|G| = {p_1}^{e_1}{p_2}^{e_2}\cdots{p_r}^{e_r}$ with $p_i \ne p_j$ for $i \ne j$.

For $p_i$, from the Fundamental Theorem, the component of $G$ consisting of $p_i$ is the product of groups with orders multiplying to $p_i^{e_i}$.

Each group in the product has $p-1$ elements of order $p_i$ (why?). If the product consists of more than one groups, then there would be at least $2p-2$ elements of order $p_i$ (why?), contradicting the assumption.

Therefore, we know that $G = \Bbb Z_{p_1^{e_1}} \times \Bbb Z_{p_2^{e_2}} \times \cdots \times \Bbb Z_{p_n^{e_n}}$, so it is cyclic.

Answer 2

From fundamental theorem of abelian groups any finite abelian group $G\cong \Bbb Z_{{p_1}^{q_1}}× \Bbb Z_{{p_2}^{q_2}}×.....× \Bbb Z_{{p_t}^{q_t}}$; using standard notation Now the given condition $\Rightarrow $ we can't allow repitation of primes in $p_1,p_2,...,p_t$ .So $ \Bbb Z_{{p_1}^{q_1}{p_2}^{q_2}....{p_t}^{q_t}}$