Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

How can I prove that $f,g : \mathbb{Z}/(m)\times\mathbb{Z}/(m)\rightarrow\mathbb{Z}/(m)$ defined as $f([r],[s])=[r+s], g([r],[s])=[r \cdot s]$ are well defined functions?

What I'm reasoning is that if we pick two representatives of the same classes, $[r_1]=[r_2], [s_1]=[s_2]$, meaning that $r_1 \equiv r_2 \mod{m}, s_1 \equiv s_2 \mod{m}$, then $f([r_1],[s_1])=f([r_2],[s_2])$ but I don'w know how to prove this, since what I'm proving is already that last equation. It's like a circular argument.

Any help?

share|cite|improve this question

Let $r_1,r_2,s_1,s_2\in\mathbb{Z}_m$ such that $[r_1]=[r_2]$ and $[s_1]=[s_2]$. So there exists integers $i,j$ such that $r_1=r_2+i\cdot m$ and $s_1=s_2+j\cdot m$. Thus: \begin{align*} f([r_1],[s_1])&=[r_1+s_1]=[(r_2+i\cdot m)+(s_2+j\cdot m)]=[(r_2+s_2)+(i+j)\cdot m] \\ &=[r_2+s_2]=f([r_2],[s_2])\\ g([r_1],[s_1])&=[r_1\cdot s_1]=[(r_2+i\cdot m)\cdot(s_2+j\cdot m)]\\ &=[r_2\cdot s_2+r_2\cdot j\cdot m+s_2\cdot i\cdot m]=[r_2\cdot s_2+m(r_2\cdot j+s_2\cdot i)]=[r_2\cdot s_2]\\ &=g([r_2],[s_2]). \end{align*} Thus, $f$ and $g$ are well defined.

share|cite|improve this answer

It's not circular. We have $r_1 \equiv r_2 \mod m$ and $s_1 \equiv s_2 \mod m$. Then show that $r_1 + s_1 \equiv r_2 + s_2 \mod m$. Conclude $[r_1 + s_1] = [r_2 + s_2]$.

The same thing works for $g$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.