1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Show that Z_12^* and Z_8^* are isomorphic groups

  1. Feb 2, 2017 #1
    1. The problem statement, all variables and given/known data
    Show that ##\mathbb{Z}_8^*## and ##\mathbb{Z}_12^*## are isomorphic, where ##\mathbb{Z}_n^* = \{x \in \mathbb{Z} ~|~ \exists a \in \mathbb{Z}_n(ax \equiv 1~(mod~n)) \}##, and the group operation is regular multiplication.

    2. Relevant equations

    3. The attempt at a solution
    We can see that ##\mathbb{Z}_8^* = \{1,3,5,7 \}## and ##\mathbb{Z}_8^* = \{1,5,7,11 \}##

    The only possible isomorphism I can think if is a function that maps from the former to the latter such that 1 goes to 1, 3 to 5, 5 to 7, and 7 to 11. The function is obviously injective and surjective. Is the only way to show that this satisfies the homomorphism property to show that it is satisfied for each combination from the domain? This would seem to be a tedious process.
  2. jcsd
  3. Feb 2, 2017 #2


    User Avatar
    Homework Helper

    The quick way is to note that up to isomorphism there are two abelian groups of order 4, the cyclic group [itex]C_4[/itex] (which contains an element of order 4) and the klein group [itex]C_2 \times C_2[/itex] (which does not contain an element of order 4).
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted

Similar Discussions: Show that Z_12^* and Z_8^* are isomorphic groups