Please Login to access more options.


Problem 28 (Computing Multiplicative Inverses For Small N)

To use modular arithmetic in matrix encryption, we must be able to find the modular multiplicative inverse of $a \mod n$. For each $n\leq 13$ and $a\in \mathbb{Z}_n$, we now compute the inverse of $a\mod n$ or explain why it does not have one.

  1. Why does $0\mod n$ never have an inverse?
  2. What is the multiplicative inverse of $1\mod n$?
  3. For $n=3$, what is the multiplicative inverse of $a=2$.
  4. For $n=4$, show that 2 does not have an inverse by computing $2\cdot 0$, $2\cdot 1$, $2\cdot 2$, and $2\cdot 3$ all modulo $4$. What is $3^{-1}\mod 4$?
  5. For each $n$ between 5 and 13, create a table that shows the inverse of each $a\in \mathbb{Z}_n$. List the elements of $\mathbb{Z}_n$ along the top row, and beneath each element list the multiplicative inverse, or cross off the number if there is no multiplicative inverse.

When you are done you should have a list of the elements of $U(n)$ for each $n$ up to 13, as well as the inverse of each element in $U(n)$. Do you see any patterns?

For $n=9$, you should obtain a table somewhat similar to the following table.

$a$012345678
$a^{-1}$x15x72x48

Solution

1. We claim $0\mod{n}$ never has an inverse (except in the case of $n=1$). Pick $n\geq 2$. Suppose by way of contradiction that $b$ is a multiplicative inverse $\mod{n}$. Thus we know $0(b)\mod{n}=1$, but $0$ multiplied by any number is 0, thus it must be that $0(b)\mod{n}=0\mod{n}=0$, a contradiction. Thus, for all $n\geq 2$ we have that $0\mod{n}$ has no multiplicative inverse.

2. We claim the multiplicative inverse of $1\mod{n}$ is 1. Pick $n\geq 2$. We compute $1(1)\mod{n}=1\mod{n}=1$. Thus, the multiplicative inverse of $1\mod{n}$ is 1.

3. Let $n=3$. The multiplicative inverse of $a=2$ is $b=2$ because $ab\mod{3}=2(2)\mod{3}=4\mod{3}=1$.

4. Let $n=4$. We claim 2 does not have a multiplicative inverse. We consider each case. The results are summarized in the table below. $$\begin{array}{c|c|c} a&2(a)&2(a)\mod{4}\\ \hline 0&0&0\\ 1&2&2\\ 2&4&0\\ 3&6&2 \end{array}$$ Thus, because there is not a $b\in\mathbb{Z}_4$ such that $2b\mod{4}=1$, we know that 2 does not have a multiplicative inverse.

5. The tables below show the numbers $a$ that have multiplicative inverses $a^{-1}$ for $a\mod{n}$.

$n=5$$a$01234
 $a^{-1}$X1324
$n=6$$a$012345
 $a^{-1}$X1XXX5
$n=7$$a$0123456
 $a^{-1}$X145236
$n=8$$a$01234567
 $a^{-1}$X1X3X5X7
$n=9$$a$012345678
 $a^{-1}$X15X72X48
$n=10$$a$0123456789
 $a^{-1}$X1X7XXX3X9
$n=11$$a$012345678910
 $a^{-1}$X16439287510
$n=12$$a$01234567891011
 $a^{-1}$X1XXX5X7XXX11
$n=13$$a$0123456789101112
 $a^{-1}$X179108112534612
Tags
  • Week4 - Which week are you writing this problem for?
  • Levi - Sign your name by just changing "YourName" to your wiki name.
  • Complete

  • When you are ready to submit this written work for grading, add the phrase [[!Submit]] to your page. This will tell me that you have completed the page (it's past rough draft form, and you believe it is in final draft form). Don't type [[!Submit]] on a rough draft.
  • If I put [[!NeedsWork]] on your page, then your job is to review what I've written, address any comments made, and then delete all the comments I made. When you have finished reviewing your work, leave [[!NeedsWork]] on your page and type [[!Submit]]. (Both tags will show up). This tells me you have addressed the comments.
  • I'll mark your work with [[!Complete]] after you have made appropriate revisions.