Skip to main content
Logo image

Section 14.3 Modular Addition and Multiplication

In Section 3.4 we used the addition of hours, weekdays, and months as examples of modular arithmetic. Now we define binary operations on the sets \(\Z_n=\{0,1,2,\dots,n-1\}\text{,}\) where \(n\in\N\text{,}\) using integer addition and multiplication. For \(a\) and \(b\) in \(\Z_n\text{,}\) we use \((a+b)\fmod n\) and \((a\cdot b)\fmod n\text{.}\) The remainder after division by \(n\) is always in \(\Z_n=\{0,1,2,\dots,n-1\}\text{.}\) Therefore, these rules define binary operations on \(\Z_n\text{.}\)

Definition 14.3.1.

Let \(n\in\N\text{.}\) We define two binary operations on the set
\begin{equation*} \Z_n=\{0,1,2,\dots,n-1\}\text{.} \end{equation*}
  1. We call \(\oplus:\Z_n\times\Z_n\to\Z_n\text{,}\) \(a\oplus b:=(a+b)\fmod n\) addition modulo \(n\).
  2. We call \(\otimes:\Z _n\times\Z_n\to\Z_n\text{,}\) \(a\otimes b:=(a\cdot b)\fmod n\) multiplication modulo \(n\).
We saw operation tables for modular addition and multiplication in Chapter 13. In Table 14.3.3 the tables for addition and multiplication modulo \(7\) appear side by side. Once these tables are available, we can use them to look up the result of modular addition or multiplication.

Example 14.3.2. Arithmetic modulo \(7\).

We present examples for addition and multiplication modulo 7. Let \(a\oplus b:=(a+b)\fmod 7\) and \(a\otimes b:=(a\cdot b)\fmod 7\text{.}\) Tables for the binary operations \(\oplus\) and \(\otimes\) are given in Table 14.3.3.
  1. \(5\otimes 4=(5\cdot 4)\fmod 7\) \(=20\fmod 7=6\)
  2. \(3\oplus 4=(3+4)\fmod 7\) \(==7\fmod 7=0\)
  3. \(2\otimes(3\oplus 6)=2\otimes((3+6)\fmod 7)\) \(=(2\otimes (9\fmod 7))\) \(=2\otimes 2=(2\cdot 2)\fmod 7\) \(=4\fmod 7=4 \)
Table 14.3.3. Addition and multiplication tables for arithmetic modulo 7, that is, for the operations given by \(a\oplus b=(a+b)\fmod 7\) and \(a\otimes b=(a\cdot b)\fmod 7\text{.}\)
In the next two sections, we use modular addition and multiplication to define certain groups. For any \(n\in\N\text{,}\) the set \(\Z_n\) with addition modulo \(n\) is a group. For any prime number \(p\text{,}\) the set \(\Z_p^\otimes\) with multiplication modulo \(p\) is also a group.