Skip to main content
Contents Index
Dark Mode Prev Up Next
\(\newcommand{\im}{{\mathrm{im}}}
\newcommand{\given}{{\, :\,}}
\newcommand{\hanoi}{\mathrm{hanoi}}
\newcommand{\lcm}{{\mathrm{lcm}}}
\newcommand{\ID}{{\mathrm{ID}}}
\newcommand{\chr}{{\mathtt{chr}}}
\newcommand{\ord}{{\mathtt{ord}}}
\newcommand{\set}[1]{\left\lbrace #1 \right\rbrace}
\newcommand{\seq}[2]{( #1 )_{#2}}
\newcommand{\gr}[1]{\left( #1 \right)}
\newcommand{\abs}[1]{\left| #1 \right|}
\newcommand{\size}[1]{\# #1}
\newcommand{\id}[1]{\mathrm{id}_{#1}}
\newcommand{\ip}[1]{\left\langle #1 \right\rangle}
\newcommand{\floor}[1]{\left\lfloor #1\right\rfloor}
\newcommand{\ceiling}[1]{\left\lceil #1\right\rceil}
\newcommand{\indemph}[1]{{\textbf{\emph{#1}}\index{#1}}}
\renewcommand{\implies}{\to}
\renewcommand{\iff}{\leftrightarrow}
\newcommand{\lxor}{\oplus}
\newcommand{\cP}{\wp}
\newcommand{\pset}{\cP}
\newcommand{\ZZ}{\mathbb{Z}}
\newcommand{\QQ}{\mathbb{Q}}
\newcommand{\NN}{\mathbb{N}}
\newcommand{\CC}{\mathbb{C}}
\newcommand{\RR}{\mathbb{R}}
\newcommand{\barr}[1]{\overline{#1}}
\newcommand{\sage}{\textsc{Sage}}
\newcommand{\magma}{\textsc{Magma}}
\newcommand{\bob}{\text{Bob}}
\newcommand{\true}{\text{T}}
\newcommand{\false}{\text{F}}
\newcommand{\ahat}{\hat{a}}
\newcommand{\ah}{\ahat}
\newcommand{\bhat}{\hat{b}}
\newcommand{\abar}{\bar{a}}
\newcommand{\cA}{\mathcal{A}}
\newcommand{\cF}{\mathcal{F}}
\newcommand{\cW}{\mathcal{W}}
\newcommand{\todo}[1]{{\color{red} TODO: #1}}
\renewcommand{\div}{\operatorname{div}}
\newcommand{\gexp}[3]{#1^{#2 #3}}
\newcommand{\gexpp}[3]{\displaystyle\left(#1\right)^{#2 #3}}
\newcommand{\glog}[3]{\log_{#1}^{#3}#2}
\def\dbend{{!!!}}
\newcommand{\lt}{<}
\newcommand{\gt}{>}
\newcommand{\amp}{&}
\definecolor{fillinmathshade}{gray}{0.9}
\newcommand{\fillinmath}[1]{\mathchoice{\colorbox{fillinmathshade}{$\displaystyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\textstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptscriptstyle\phantom{\,#1\,}$}}}
\)
Subsection 5.1.3 Modular inverses
Definition 5.1.3.1 .
Let
\(m\in\NN\) and
\(a\in\ZZ_m\) and
\(b\in\ZZ_m\text{.}\) If
\(a\oplus_m b=0\) we call
\(b\) an additive inverse of
\(a\) modulo
\(m\text{.}\)
Example 5.1.3.2 . Additive inverses modulo \(6\) .
We list additive inverse modulo \(6\text{.}\)
An additive inverse modulo
\(6\) of 0 is 0, because
\(0\oplus_6 0=(0+0)\bmod 6=0\bmod 6=0\text{.}\)
An additive inverse modulo
\(6\) of 1 is 5, because
\(1\oplus_6 5=(1+5)\bmod 6=6\bmod 6=0\text{.}\)
An additive inverse modulo
\(6\) of 2 is 4, because
\(2\oplus_6 4=(2+4)\bmod 6=6\bmod 6=0\text{.}\)
An additive inverse modulo
\(6\) of 3 is 3, because
\(3\oplus_6 3=(3+3)\bmod 6=6\bmod 6=0\text{.}\)
An additive inverse modulo
\(6\) of 4 is 2, because
\(4\oplus_6 2=(4+2)\bmod 6=6\bmod 6=0\text{.}\)
An additive inverse modulo
\(6\) of 5 is 1, because
\(5\oplus_6 1=(5+1)\bmod 6=6\bmod 6=0\text{.}\)
Definition 5.1.3.3 .
Let
\(m\in\NN\) and
\(a\in\ZZ_m\) and
\(b\in\ZZ_m\text{.}\) If
\(a\otimes_m b=1\) we call
\(b\) a multiplicative inverse of
\(a\) modulo
\(m\text{.}\)
Example 5.1.3.4 . Multiplicative inverses modulo \(6\) .
We list multiplicative inverses modulo \(6\text{.}\)
There is no multiplicative inverse modulo 6 of 0, because
\(0\otimes_6 a=(0\cdot a)\bmod 6=0\) for all
\(a\in\ZZ_6\text{.}\)
A multiplicative inverse modulo 6 of 1 is 1, because
\(1\otimes_6 1=(1\cdot 1)\bmod 6=1\bmod 6=1\text{.}\)
There is no multiplicative inverse modulo 6 of 2, because
\(2\otimes_6 a=(2\cdot a)\bmod 6\ne 1\) for all
\(a\in\ZZ_6\text{.}\)
There is no multiplicative inverse modulo 6 of 3, because
\(3\otimes_6 a=(3\cdot a)\bmod 6\ne 1\) for all
\(a\in\ZZ_6\text{.}\)
There is no multiplicative inverse modulo 6 of 4, because
\(4\otimes_6 a=(4\cdot a)\bmod 6\ne 1\) for all
\(a\in\ZZ_6\text{.}\)
A multiplicative inverse modulo 6 of 5 is 5, because
\(5\otimes_6 5=(5\cdot 5)\bmod 6=25 \bmod 6=1\text{.}\)
Definition 5.1.3.5 .
Let
\(m\in\NN\) and
\(a\in\ZZ_m\text{.}\) When there exists
\(b\in\ZZ_m-\{0\}\) such that
\(a\otimes_m b=0\) then we call
\(a\) a zero divisor modulo
\(m\text{.}\)
Example 5.1.3.6 . Zero divisors modulo \(6\) .
We list zero divisors modulo 6.
2 is a zero divisor modulo 6, because
\(2\otimes_6 3=(2\cdot3)\bmod 6=6\bmod 6=0\text{.}\)
3 is a zero divisor modulo 6, because
\(3\otimes_6 2=(3\cdot2)\bmod 6=6\bmod 6=0\text{.}\)
4 is a zero divisor modulo 6, because
\(4\otimes_6 3=(4\cdot3)\bmod 6=12\bmod 6=0\text{.}\)