# Modulo and congruence

• Jun 26th 2010, 04:53 PM
dwsmith
Modulo and congruence
This one seems to easy.

if $\displaystyle a\not\equiv b \ \mbox{(mod m)}$, then $\displaystyle m\nmid (a-b)$

Does it suffice to just do this $\displaystyle a\not\equiv b \ \mbox{(mod m)}\rightarrow m\nmid (a-b)$ and now I am done?
• Jun 26th 2010, 05:08 PM
Also sprach Zarathustra
Quote:

Originally Posted by dwsmith
This one seems to easy.

if $\displaystyle a\not\equiv b \ \mbox{(mod m)}$, then $\displaystyle m\nmid (a-b)$

Does it suffice to just do this $\displaystyle a\not\equiv b \ \mbox{(mod m)}\rightarrow m\nmid (a-b)$ and now I am done?

$\displaystyle a\not\equiv b \ \mbox{(mod m)}$, then$\displaystyle \frac{a-b}{m} \neq k\in \mathbb{Z}$
So it is clear that no such $\displaystyle k$ exist, hence, $\displaystyle m\nmid (a-b)$
• Jun 26th 2010, 05:08 PM
Ackbeet
Perhaps you could insert the intermediate step using the definition of congruence:

$\displaystyle a\not\equiv b\;(\!\!\!\!\mod m)$ implies $\displaystyle \neg(\exists n\in\mathbb{Z})(mn=a-b)$ implies $\displaystyle m\not|(a-b)$.

[EDIT] Which is the same thing as AsZ's post.
• Jun 26th 2010, 05:10 PM
dwsmith
So it is just that easy than, thanks.