[Math] Elementary abelian vs. cyclic groups

finite-groupsgroup-theory

Sorry if this question sounds naive to someone.
What is (are) the difference(s) between an elementary abelian group and a cyclic group of a prime order?
Thanks

Best Answer

$\mathbb Z_3\times\mathbb Z_3$ is elementary abelian but not cyclic.

Related Solutions

Finite Abelian Groups – Direct Sum of Cyclic Subgroups

The result follows for arbitrary finite abelian groups from the $p$-group case.

Remember that a finite abelian group $G$ is the direct sum of its $p$-parts, $$G = G(p_1)\oplus \cdots\oplus G(p_n),$$ where $p_1,\ldots,p_n$ are the distinct primes that divide $|G|$, and $$G(q) = \{ a\in G\mid q^ma = 0 \text{ for some }m\geq 0\},\qquad q\text{ a prime.}$$

If $a\in G$ is of maximal order, then we can write $a=a_1+a_2+\cdots+a_n$, where $a_i\in G(p_i)$. Since $a$ is of maximal order in $G$, then $a_i$ is of maximal order in $G(p_i)$. By the $p$-group case, we can write $G(p_i) = \langle a_i\rangle\oplus H_i$ with $H_i\leq G(p_i)$. Then $H_1+\cdots+H_n$ is a subgroup of $G$, it is the internal direct sum of the $H_i$, and since $G(p_i) =\langle a_i\rangle\oplus H_i$, then $$\begin{align*} G &= G(p_1)\oplus \cdots \oplus G(p_n)\\ &= (\langle a_1\rangle\oplus H_1) \oplus \cdots \oplus (\langle a_n\rangle \oplus H_n)\\ &= (\langle a_1\rangle\oplus\cdots \oplus\langle a_n\rangle) \oplus (H_1\oplus\cdots\oplus H_n). \end{align*}$$ To finish off, note that $\langle a_1\rangle\oplus\cdots\oplus \langle a_n\rangle = \langle a\rangle$ (e.g., by the Chinese Remainder Theorem).

[Math] Finite abelian groups of order 100

We just have to use the fundamental theorem for finite abelian groups.

Note $100=2^2\cdot 5^2$

You just have to choose a factorization of $2^2$ and a factorization of $5^2$.

The only two factorizations for $2^2$ are $2\cdot 2$ and $4$

the only two factorizations for $5^2$ are $5\cdot 5 $ and $25$.

So there are $4$ combinations, these give us all the groups:

$\mathbb Z_2\times \mathbb Z_2\times \mathbb Z_5\times \mathbb Z_5$

$\mathbb Z_2\times \mathbb Z_2\times \mathbb Z_{25}$

$\mathbb Z_4\times \mathbb Z_{5}\times \mathbb Z_5$

$\mathbb Z_4\times \mathbb Z_{25} \cong \mathbb Z_{100}$

The only of these that has maximum order $20$ is the third element in the list.

Best Answer

Related Solutions

Finite Abelian Groups – Direct Sum of Cyclic Subgroups

[Math] Finite abelian groups of order 100

Related Question