Does this condition gaurantee the cyclicity of a finite abelian group?

103 Views Asked by At

Let $G$ be a finite abelian group in which there are at most $n$ solutions of the equation $x^n = e$ for each posivite integer $n$. How to determine if $G$ is cyclic or not?

1

There are 1 best solutions below

0
On

By the classification of finite abelian groups we know $$ G \cong \mathbb{Z}/(n_1) \oplus \mathbb{Z}/(n_2) \oplus \cdots \oplus \mathbb{Z}/(n_k)$$

where $n_i$ divides $n_{i+1}.$ If $k\geq 2$ i.e. there are at least two summands in this decomposition, then the condition fails: $x^{n_1}=e$ has $n_1$ solutions from $\mathbb{Z}/(n_1) \oplus 0 \oplus \cdots \oplus 0,$ as well as some from inside $0\oplus \mathbb{Z}/(n_2) \oplus 0 \oplus \cdots \oplus 0.$ So if the condition holds then $k=1$ i.e. G is cyclic.