Does This Mapping Define a Group Homomorphism from ℤ_n to D_n?

  • Thread starter Thread starter spacetimedude
  • Start date Start date
  • Tags Tags
    Group
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
3 replies · 2K views
spacetimedude
Messages
87
Reaction score
1

Homework Statement


[itex]ℤ_n → D_n[/itex] sending z modn → [itex]g^z[/itex] where g is rotation by an nth of a turn.

Homework Equations


Group homomorphism imply [itex]θ(g_1*g_2)=θ(g_1)*θ(g_2)[/itex]

The Attempt at a Solution


Before anything, I'd like to know if Group homomorphism imply [itex]θ(g_1+g_2)=θ(g_1)[/itex]x[itex]θ(g_2)[/itex] I've seen [itex]θ(g_1[/itex]x[itex]g_2)=θ(g_1)×θ(g_2)[/itex] and [itex]θ(g_1+g_2)=θ(g_1)+θ(g_2)[/itex] but not [itex]θ(g_1+g_2)=θ(g_1)[/itex]x[itex]θ(g_2)[/itex]. Can the operator * be different on the left and right side?

Attempt:
[itex]θ(z_1+z_2)[/itex]=g[itex]z_1+z_2 modn[/itex]
I'm not sure how to go from here. I'm sure I need to use the fact that [itex]g^n=e[/itex] but I don't know how to proceed.
Any help will be appreciated!
 
Last edited:
Physics news on Phys.org
spacetimedude said:

Homework Statement


[itex]ℤ_n → D_n[/itex] sending z modn → [itex]g^z[/itex] where g is rotation by an nth of a turn.

What is ##D_n##? And what is a "turn" and an nth of a turn?

Homework Equations


Group homomorphism imply [itex]θ(g_1*g_2)=θ(g_1)*θ(g_2)[/itex]

The Attempt at a Solution


Before anything, I'd like to know if Group homomorphism imply [itex]θ(g_1+g_2)=θ(g_1)[/itex]x[itex]θ(g_2)[/itex] I've seen [itex]θ(g_1[/itex]x[itex]g_2)=θ(g_1)×θ(g_2)[/itex] and [itex]θ(g_1+g_2)=θ(g_1)+θ(g_2)[/itex] but not [itex]θ(g_1+g_2)=θ(g_1)[/itex]x[itex]θ(g_2)[/itex]. Can the operator * be different on the left and right side?
Yes, they are usually different groups. Look up the definition of group homomorphism.
 
If you are having trouble with the intuition, you should try picking a value of n, say n=3 to start, and just explicitly write out every possible pair of elements in [itex]\mathbb{Z}_n[/itex] and how they add up and what they would get mapped to in [itex]D_n[/itex].
 
spacetimedude said:

The Attempt at a Solution


Before anything, I'd like to know if Group homomorphism imply [itex]θ(g_1+g_2)=θ(g_1)[/itex]x[itex]θ(g_2)[/itex] I've seen [itex]θ(g_1[/itex]x[itex]g_2)=θ(g_1)×θ(g_2)[/itex] and [itex]θ(g_1+g_2)=θ(g_1)+θ(g_2)[/itex] but not [itex]θ(g_1+g_2)=θ(g_1)[/itex]x[itex]θ(g_2)[/itex]. Can the operator * be different on the left and right side?
Yes, the operations generally are different, even if you happen to use the same symbol for them. When you wrote ##\theta(g_1+g_2) = \theta(g_1)+\theta(g_2)##, the + on the lefthand side isn't the same as the + on the righthand side because ##g## and ##\theta(g)## are from two different sets.