Interpretation of homomorphism question

  • Thread starter Thread starter physicsjock
  • Start date Start date
  • Tags Tags
    Interpretation
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
1 reply · 1K views
physicsjock
Messages
84
Reaction score
0
Hey,

I had this question I thought i answered but now I'm questioning if the group operation is supposed to be addition and not multiplication.

The question [itex]\varphi :\mathbb{Z}\to {{\mathbb{Z}}_{n}}\,\,\,\,\,where\,\,\varphi (a)=\text{Remainder}\left( \frac{a}{n} \right)[/itex]

When I initially did it, I just mindlessly took the group operation to be multiplication where as it could be addition but it is not directly stated.

So do you guys think it would be multiplication to give
[itex]\varphi (a)\varphi (b)=\text{Remainder}\left( \frac{a}{n} \right)\times \text{Remainder}\left( \frac{b}{n} \right)[/itex]

or addition to give

[itex]\varphi (a)+\varphi (b)=\text{Remainder}\left( \frac{a}{n} \right)+\text{Remainder}\left( \frac{b}{n} \right)[/itex]

Either way its not a homomorphism but I want understand how it works properly.

Is the general way to write this [itex]\varphi (a)*\varphi (b)[/itex] where * is the binary operation if the group the homomorphism is acting on unless given?

Thanks
 
Physics news on Phys.org
Reduction modulo n is a group homomorphism. Now check the group axioms for Z/nZ under multiplication to see if you have a group. That should answer your question.