I need to prove the group of the units of $\mathbb{Z}_3\times\mathbb{Z}_3$ is isomorphic to the Klein-4 group. But I'm really struggling to prove this. Any hints to start me off in the right direction??
Isomorphic to the Klein 4 group
3
$\begingroup$
abstract-algebra
group-theory
finite-groups
abelian-groups
-
0First step: have you determined which elements are units, and this how many units there are? – 2012-11-16
2 Answers
4
There's really only one thing you can do: list the units of $\mathbb{Z}_3\times\mathbb{Z}_3$, see if there are four of them, and then figure out whether or not they form a cyclic group.
3
Start with figuring out the group of units of $\mathbb{Z}_3$. Then, how does the unit group of $\mathbb{Z}_3\times \mathbb{Z}_3$ differ?