Modulo Addition is Closed
Jump to navigation
Jump to search
Theorem
Integers
Let $m \in \Z$ be an integer.
Then addition modulo $m$ on the set of integers modulo $m$ is closed:
- $\forall \eqclass x m, \eqclass y m \in \Z_m: \eqclass x m +_m \eqclass y m \in \Z_m$.
Real Numbers
Let $z \in \R$ be a real number.
Then addition modulo $z$ on the set of residue classes modulo $z$ is closed:
- $\forall \eqclass x z, \eqclass y z \in \R_z: \eqclass x z +_z \eqclass y z \in \R_z$.
Note
On the face of it, there seems no need to prove this for both integers and reals.
From the above we see that the sum of two integers congruent to a given integer modulus is congruent to an integer to the same modulus.
However, it is important to note that the sum of two integers congruent to a given real modulus may not be congruent to an integer.
Take, as an example, $a = 2, b = 3, m = \pi$.
Then $\left({a + b}\right) \pmod \pi = 5 - \pi \notin \Z$.