The question is:
Let m be a fixed positive int. For any integer a, let
denote (a mod m) Show that the mapping of given by [tex]\Phi(a_nx^n + a_{n-1}x^{n-1}+...+a_0) = \bar{a_n}x^n + \bar{a_{n-1}}x^{n-1}+...+\bar{a_0}[/tex]
is a ring homomorphism.
All i want to know is that is it enough to show that defined by x mod m is a homomorphism ?