Suppose that $d \in \mathbb{N}$ satisfies the property that given any two Abelian groups $A_1, A_2$ of order $d$, $A_1 \cong A_2$. Prove that given any prime $p$, $p^2 \nmid d$. What can one say for the converse statement?
Seeking a proof of: If any two Abelian groups of order $d$ are isomorphic, then $d$ is squarefree.
1
$\begingroup$
group-theory
finite-groups
abelian-groups
1 Answers
3
Suppose $d = p^2 n$, where $p \geq 2$ is prime.
Then there are non-isomorphic abelian groups $C_d$ and $C_{p} \times C_{pn}$.
These groups are clearly non-isomorphic, by the way, since the former is cyclic and the latter is not ($p$ and $pn$ share a factor of $p$).
What have you tried for the converse?