# 11.4: Greatest Common Divisors and the Integers Modulo n

- Page ID
- 80547

In this section introduce the greatest common divisor operation, and introduce an important family of concrete groups, the integers modulo \(n\text{.}\)

## Greatest Common Divisors

We start with a theorem about integer division that is intuitively clear. We leave the proof as an exercise.

Theorem \(\PageIndex{1}\): The Division Property for Integers

If \(m, n\in \mathbb{Z}\text{,}\) \(n>0\text{,}\) then there exist two unique integers, \(q\) (the quotient) and \(r\) (the remainder), such that \(m = n q + r\) and \(0 \leq r < n\text{.}\)

Note \(\PageIndex{1}\)

The division property says that if \(m\) is divided by \(n\text{,}\) you will obtain a quotient and a remainder, where the remainder is less than \(n\text{.}\) This is a fact that most elementary school students learn when they are introduced to long division. In doing the division problem \(1986 \div 97\text{,}\) you obtain a quotient of 20 and a remainder of 46. This result could either be written \(\frac{1986}{97}= 20+\frac{46}{97}\) or \(1986 = 97\cdot 20 + 46\text{.}\) The latter form is how the division property is normally expressed in higher mathematics.

List \(\PageIndex{1}\)

We now remind the reader of some interchangeable terminology that is used when \(r=0\text{,}\) i. e., \(a = b q\text{.}\) All of the following say the same thing, just from slightly different points of view.

**divides**

\(b\) divides \(a\)

**multiple**

\(a\) is a multiple of \(b\)

**factor**

\(b\) is a factor of \(a\)

**divisor**

\(b\) is a divisor of \(a\)

We use the notation \(b \mid a\) if \(b\) divides \(a\text{.}\)

For example \(2\mid 18\) and \(9\mid 18\) , but \(4\nmid 18\text{.}\)

Caution: Don't confuse the “divides” symbol with the “divided by” symbol. The former is vertical while the latter is slanted. Notice however that the statement \(2 \mid 18\) is related to the fact that \(18/2\) is a whole number.

Definition \(\PageIndex{1}\): Greatest Common Divisor

Given two integers, \(a\) and \(b\text{,}\) not both zero, the greatest common divisor of \(a\) and \(b\) is the positive integer \(g=\gcd(a,b)\) such that \(g \mid a\text{,}\) \(g\mid b\text{,}\) and

\begin{equation*} c\mid a \textrm{ and } c \mid b \Rightarrow c \mid g \end{equation*}

A little simpler way to think of \(\gcd(a,b)\) is as the largest positive integer that is a divisor of both \(a\) and \(b\text{.}\) However, our definition is easier to apply in proving properties of greatest common divisors.

For small numbers, a simple way to determine the greatest common divisor is to use factorization. For example if we want the greatest common divisor of 660 and 350, you can factor the two integers: \(660=2^2\cdot 3\cdot 5\cdot 11\) and \(350 = 2 \cdot 5^2\cdot 7\text{.}\) Single factors of 2 and 5 are the only ones that appear in both factorizations, so the greatest common divisor is \(2\cdot 5 =10\text{.}\)

Some pairs of integers have no common divisors other than 1. Such pairs are called *relatively prime pairs*.

Definition \(\PageIndex{2}\): Relatively Prime

A pair of integers, \(a\) and \(b\text{,}\) are relatively prime if \(\gcd(a, b)=1\)

For example, \(128=2^7\) and \(135=3^3\cdot 5\) are relatively prime. Notice that neither 128 nor 135 are primes. In general, \(a\) and \(b\) need not be prime in order to be relatively prime. However, if you start with a prime, like 23, for example, it will be relatively prime to everything but its multiples. This theorem, which we prove later generalizes this observation.

Theorem \(\PageIndex{2}\)

If \(p\) is a prime and \(a\) is any integer such that \(p\nmid a\) then \(\gcd(a, p) = 1\)

## Euclidean Algorithm

As early as Euclid's time it was known that factorization wasn't the best way to compute greatest common divisors.

The Euclidean Algorithm is based on the following properties of the greatest common divisor.

\[\label{eq:1}\gcd(a,0)=a\text{ for }a\neq 0\]

\[\label{eq:2}\gcd(a,b)=\gcd(b,r)\text{ if }b\neq 0\text{ and }a=bq+r\]

To compute \(\gcd(a,b)\text{,}\) we divide \(b\) into \(a\) and get a remainder \(r\) such that \(0\leq r <\lvert b\rvert \text{.}\) By the property above, \(\gcd(a, b)= \gcd(b, r)\text{.}\) We repeat the process until we get zero for a remainder. The last nonzero number that is the second entry in our pairs is the greatest common divisor. This is inevitable because the second number in each pair is smaller than the previous one. Table \(\PageIndex{1}\) shows an example of how this calculation can be systematically performed.

Table \(\PageIndex{1}\): A Table to Compute \(\gcd(99,53)\)

\(q\) |
\(a\) |
\(b\) |
---|---|---|

- | \(99\) | \(53\) |

\(1\) | \(53\) | \(46\) |

\(1\) | \(46\) | \(7\) |

\(6\) | \(7\) | \(4\) |

\(1\) | \(4\) | \(3\) |

\(1\) | \(3\) | \(1\) |

\(3\) | \(1\) | \(0\) |

Here is a Sage computation to verify that \(\gcd(99, 53) = 1\text{.}\) At each line, the value of \(a\) is divided by the value of \(b\text{.}\) The quotient is placed on the next line along with the new value of \(a\text{,}\) which is the previous \(b\text{;}\) and the remainder, which is the new value of \(b\text{.}\) Recall that in Sage, `a%b`

is the remainder when dividing `b`

into `a`

.

a=99 b=53 while b>0: print('computing gcd of '+str(a)+' and '+str(b)) [a,b]=[b,a%b] print('result is '+str(a))

Investigation \(\PageIndex{1}\)

If you were allowed to pick two numbers less than 100, which would you pick in order to force Euclid to work hardest? Here's a hint: The size of the quotient at each step determines how quickly the numbers decrease.

**Solution**

If quotient in division is 1, then we get the slowest possible completion. If \(a = b + r\text{,}\) then working backwards, each remainder would be the sum of the two previous remainders. This described a sequence like the Fibonacci sequence and indeed, the greatest common divisor of two consecutive Fibonacci numbers will take the most steps to reach a final value of 1.

For fixed values of \(a\) and \(b\text{,}\) consider integers of the form \(a x+b y\) where \(x\) and \(y\) can be any two integers. For example if \(a\) = 36 and \(b\) = 27, some of these results are tabulated below with \(x\) values along the left column and the \(y\) values on top.

Do you notice any patterns? What is the smallest positive value that you see in this table? How is it connected to 36 and 27?

Theorem \(\PageIndex{3}\)

If \(a\) and \(b\) are positive integers, the smallest positive value of \(a x + b y\) is the greatest common divisor of \(a\) and \(b\text{,}\) \(\gcd(a,b)\text{.}\)

**Proof**-
If \(g = \gcd(a, b)\text{,}\) since \(g \mid a\) and \(g \mid b\text{,}\) we know that \(g \mid (a x + b y)\) for any integers \(x\) and \(y\text{,}\) so \(a x + b y\) can't be less than \(g\text{.}\) To show that \(g\) is exactly the least positive value, we show that \(g\) can be attained by extending the Euclidean Algorithm. Performing the extended algorithm involves building a table of numbers. The way in which it is built maintains an invariant, and by The Invariant Relation Theorem, Theorem 17.1.2.1. we can be sure that the desired values of \(x\) and \(y\) are produced.

To illustrate the algorithm, Table \(\PageIndex{2}\) displays how to compute \(\gcd(152,53)\text{.}\) In the \(r\) column, you will find 152 and 53, and then the successive remainders from division. So each number in \(r\) after the first two is the remainder after dividing the number immediately above it into the next number up. To the left of each remainder is the quotient from the division. In this case the third row of the table tells us that \(152 = 53\cdot 2 + 46\text{.}\) The last nonzero value in \(r\) is the greatest common divisor.

Table \(\PageIndex{2}\): The extended Euclidean algorithm to compute \(\gcd(152,53)\)

\(q\) |
\(r\) |
\(s\) |
\(t\) |
---|---|---|---|

-- | \(152\) | \(1\) | \(0\) |

-- | \(53\) | \(0\) | \(1\) |

\(2\) | \(46\) | \(1\) | \(-2\) |

\(1\) | \(7\) | \(-1\) | \(3\) |

\(6\) | \(4\) | \(7\) | \(-20\) |

\(1\) | \(3\) | \(-8\) | \(23\) |

\(1\) | \(1\) | \(15\) | \(-43\) |

\(3\) | \(0\) | \(-53\) | \(152\) |

The “\(s\)” and “\(t\)” columns are new. The values of \(s\) and \(t\) in each row are maintained so that \(152s + 53t\) is equal to the number in the \(r\) column. Notice that

Table \(\PageIndex{3}\): Invariant in computing \(\gcd(152,53)\)

\(152 = 152\cdot 1+ 53\cdot 0\) |

\(53 =152\cdot 0 + 53\cdot 1\) |

\(46 = 152\cdot 1 + 53\cdot (-2)\) |

\(\vdots\) |

\(1 = 152\cdot 15 + 53\cdot (-43)\) |

\(0 = 152 \cdot (-53) + 53\cdot 152\) |

The next-to-last equation is what we're looking for in the end! The main problem is to identify how to determine these values after the first two rows. The first two rows in these columns will always be the same. Let's look at the general case of computing \(\gcd(a,b)\text{.}\) If the \(s\) and \(t\) values in rows \(i - 1\) and \(i - 2\) are correct, we have

\begin{equation*} (A)\textrm{ }\left\{ \begin{array}{c} a s_{i-2}+b t_{i-2}=r_{i-2} \\ a s_{i-1}+b t_{i-1}=r_{i-1} \\ \end{array} \right. \end{equation*}

In addition, we know that

\begin{equation*} r_{i-2}=r_{i-1} q_i+r_i\textrm{ }\Rightarrow \textrm{ }r_i=r_{i-2}-r_{i-1} q_i \end{equation*}

If you substitute the expressions for \(r_{i-1}\) and \(r_{i-2}\) from (A) into this last equation and then collect the \(a\) and \(b\) terms separately you get

\begin{equation*} r_i= a\left(s_{i-2}- q_is_{i-1}\right) + b\left(t_{i-2} - q_it_{i-1}\right) \end{equation*}

or

\begin{equation*} s_{i }=s_{i-2}- q_is_{i-1}\textrm{ and } t_i= t_{i-2} - q_it_{i-1} \end{equation*}

Look closely at the equations for \(r_i, s_i, \textrm{ and } t_i\text{.}\) Their forms are all the same. With a little bit of practice you should be able to compute \(s\) and \(t\) values quickly.

## Modular Arithmetic

We remind you of the relation on the integers that we call Congruence Modulo \(n\), Definition 6.3.7. If two numbers, \(a\) and \(b\text{,}\) differ by a multiple of \(n\text{,}\) we say that they are congruent modulo \(n\text{,}\) denoted \(a \equiv b\pmod{n}\text{.}\) For example, \(13 \equiv 38\pmod{5}\) because \(13-38 = -25\text{,}\) which is a multiple of 5.

Definition \(\PageIndex{3}\): Modular Addition

If \(n\) is a positive integer, we define addition modulo \(n\) \(\left(+_n\right.\)) as follows. If \(a, b \in \mathbb{Z}\text{,}\)

\begin{equation*} a +_n b = \textrm{ the remainder after } a + b \textrm{ is divided by } n \end{equation*}

Definition \(\PageIndex{4}\): Modular Multiplication

If \(n\) is a positive integer, we define multiplication modulo \(n\) \(\left(\times_n\right.\)) as follows. If \(a, b \in \mathbb{Z}\text{,}\)

\begin{equation*} a \times_n b = \textrm{ the remainder after } a \cdot b \textrm{ is divided by } n \end{equation*}

Note \(\PageIndex{2}\)

- The result of doing arithmetic modulo \(n\) is always an integer between 0 and \(n-1\text{,}\) by the Division Property. This observation implies that \(\{0, 1,\dots, n-1\}\) is closed under modulo \(n\) arithmetic.
- It is always true that \(a +_n b \equiv (a + b) \pmod{n}\) and \(a\times_n b \equiv (a \cdot b) \pmod{n}\text{.}\) For example, \(4 +_7 5 = 2 \equiv 9 \pmod{7}\) and \(4 \times_7 5 = 6 \equiv 20 \pmod{7}\text{.}\)
- We will use the notation \(\mathbb{Z}_n\) to denote the set \(\{0, 1, 2,. . ., n-1\}\text{.}\)

Example \(\PageIndex{1}\): Some Examples

- We are all somewhat familiar with \(\mathbb{Z}_{12}\) since the hours of the day are counted using this group, except for the fact that 12 is used in place of 0. Military time uses the mod 24 system and does begin at 0. If someone started a four-hour trip at hour 21, the time at which she would arrive is \(21 +_{24} 4 = 1\text{.}\) If a satellite orbits the earth every four hours and starts its first orbit at hour 5, it would end its first orbit at time \(5 +_{24}4 =9\text{.}\) Its tenth orbit would end at \(5 +_{24} 10\times_{24}4 =21\) hours on the clock
- Virtually all computers represent unsigned integers in binary form with a fixed number of digits. A very small computer might reserve seven bits to store the value of an integer. There are only \(2^7\) different values that can be stored in seven bits. Since the smallest value is 0, represented as 0000000, the maximum value will be \(2^7 - 1 = 127\text{,}\) represented as 1111111. When a command is given to add two integer values, and the two values have a sum of 128 or more, overflow occurs. For example, if we try to add 56 and 95, the sum is an eight-digit binary integer 10010111. One common procedure is to retain the seven lowest-ordered digits. The result of adding 56 and 95 would be \(0010111_{\textrm{ two}} = 23 \equiv 56 + 95\pmod{128}\text{.}\) Integer arithmetic with this computer would actually be modulo 128 arithmetic.

## Properties of Modular Arithmetic

Theorem \(\PageIndex{4}\)

If \(a \in \mathbb{Z}_n\text{,}\) \(a\neq 0\text{,}\) then the additive inverse of a is \(n - a\text{.}\)

**Proof**-
\(a + (n - a) =n\equiv 0(\textrm{ mod } n)\text{,}\) since \(n = n\cdot 1 + 0\text{.}\) Therefore, \(a+_n(n-a)=0\text{.}\)

Addition modulo \(n\) is always commutative and associative; 0 is the identity for \(+_n\) and every element of \(\mathbb{Z}_n\) has an additive inverse. These properties can be summarized by noting that for each \(n\geq 1\text{,}\) \(\left[\mathbb{Z}_n; +_n\right]\) is a group.

Definition \(\PageIndex{5}\): The Additive Group of Integers Modulo \(n\)

The Additive Group of Integers Modulo \(n\) is the group with domain \(\{0, 1, 2, \dots, n-1\}\) and with the operation of mod \(n\) addition. It is denoted as \(\mathbb{Z}_n\text{.}\)

Multiplication modulo \(n\) is always commutative and associative, and 1 is the identity for \(\times_n\text{.}\)

Notice that the algebraic properties of \(+_n\) and \(\times_n\) on \(\mathbb{Z}_n\) are identical to the properties of addition and multiplication on \(\mathbb{Z}\text{.}\)

Notice that a group cannot be formed from the whole set \(\{0, 1, 2, \dots, n-1\}\) with mod \(n\) multiplication since zero never has a multiplicative inverse. Depending on the value of \(n\) there may be other restrictions. The following group will be explored in Exercise \(\PageIndex{9}\).

Definition \(\PageIndex{6}\): The Multiplicative Group of Integers Modulo \(n\)

The Multiplicative Group of Integers Modulo \(n\) is the group with domain \(\{k\in \mathbb{Z} \vert 1 \leq k \leq n-1 \textrm{ and }\gcd(n,k)=1\}\) and with the operation of mod \(n\) multiplication. It is denoted as \(\mathbb{U}_n\text{.}\)

Example \(\PageIndex{2}\): Some Operation Tables

Here are examples of operation tables for modular groups. Notice that although 8 is greater than 5, the two groups \(\mathbb{U}_5\) and \(\mathbb{U}_8\) both have order 4. In the case of \(\mathbb{U}_5\text{,}\) since 5 is prime all of the nonzero elements of \(\mathbb{Z}_5\) are included. Since 8 isn't prime we don't include integers that share a common factor with 8, the even integers in this case.

Table \(\PageIndex{4}\): Operation Table for the group \(\mathbb{Z}_{5}\)

\(+_{5}\) |
\(0\) |
\(1\) |
\(2\) |
\(3\) |
\(4\) |
---|---|---|---|---|---|

\(0\) |
\(0\) | \(1\) | \(2\) | \(3\) | \(4\) |

\(1\) |
\(1\) | \(2\) | \(3\) | \(4\) | \(0\) |

\(2\) |
\(2\) | \(3\) | \(4\) | \(0\) | \(1\) |

\(3\) |
\(3\) | \(4\) | \(0\) | \(1\) | \(2\) |

\(4\) |
\(4\) | \(0\) | \(1\) | \(2\) | \(3 |

Table \(\PageIndex{5}\): Operation table for the group \(\mathbb{U}_{5}\)

\(\times_{5}\) |
\(1\) |
\(2\) |
\(3\) |
\(4\) |
---|---|---|---|---|

\(1\) |
\(1\) | \(2\) | \(3\) | \(4\) |

\(2\) |
\(2\) | \(4\) | \(1\) | \(3\) |

\(3\) |
\(3\) | \(1\) | \(4\) | \(2\) |

\(4\) |
\(4\) | \(3\) | \(2\) | \(1\) |

Table \(\PageIndex{6}\): Operation table for the group \(\mathbb{U}_{8}\)

\(\times_{8}\) |
\(1\) |
\(3\) |
\(5\) |
\(7\) |
---|---|---|---|---|

\(1\) |
\(1\) | \(3\) | \(5\) | \(7\) |

\(3\) |
\(3\) | \91\) | \(7\) | \(5\) |

\(5\) |
\(5\) | \(7\) | \(1\) | \(3\) |

\(7\) |
\(7\) | \(5\) | \(3\) | \(1\) |

## SageMath Note - Modular Arithmetic

Sage inherits the basic integer division functions from Python that compute a quotient and remainder in integer division. For example, here is how to divide 561 into 2017 and get the quotient and remainder.

a=2017 b=561 [q,r]=[a//b,a%b] [q,r]

In Sage, \(gcd\) is the greatest common divisor function. It can be used in two ways. For the gcd of 2343 and 4319 we can evaluate the expression \(gcd(2343,4319)\text{.}\) If we are working with a fixed modulus \(m\) that has a value established in your Sage session, the expression \(m.gcd(k)\) to compute the greatest common divisor of \(m\) and any integer value \(k\text{.}\) The extended Euclidean algorithm can also be called upon with \(xgcd\text{:}\)

a=2017 b=561 print(gcd(a,b)) print(xgcd(a,b))

Sage has some extremely powerful tool for working with groups. The integers modulo \(n\) are represented by the expression \(Integers(n)\) and the addition and multiplications tables can be generated as follows.

R = Integers(6) print(R.addition_table('elements')) print(R.multiplication_table('elements'))

Once we have assigned \(R\) a value of \(Integers(6)\text{,}\) we can do calculations by wrapping \(R()\) around the integers 0 through 5. Here is a list containing the mod 6 sum and product, respectively, of 5 and 4:

[R(5)+R(4), R(5)*R(4)]

Generating the multiplication table for the family of groups \(\mathbb{U}_n\) takes a bit more code. Here we restrict the allowed inputs to be integers from 2 to 64.

def U_table(n): if n.parent()!=2.parent() or n < 2 or n > 64: return "input error/out of range" R=Integers(n) els=[] for k in filter(lambda k:gcd(n,k)==1,range(n)): els=els+[str(k)] return R.multiplication_table(elements=els,names="elements") U_table(18)

## Exercises

Exercise \(\PageIndex{1}\)

Determine the greatest common divisors of the following pairs of integers without using any computational assistance.

- \(2^3 \cdot 3^2\cdot 5\) and \(2^2 \cdot 3 \cdot 5^2\cdot 7\)
- \(7! \) and \(3\cdot 5\cdot 7\cdot 9\cdot 11\cdot 13\)
- \(19^4\) and \(19^5\)
- 12112 and 0

**Answer**-
- \(\displaystyle 2^2 \cdot 3 \cdot 5\)
- \(\displaystyle 3^2 \cdot 5\cdot 7\)
- \(\displaystyle 19^4\)
- 12112

Exercise \(\PageIndex{2}\)

Find all possible values of the following, assuming that \(m\) is a positive integer.

- \(\displaystyle \gcd(m+1,m)\)
- \(\displaystyle \gcd(m+2,m)\)
- \(\displaystyle \gcd(m+4,m)\)

Exercise \(\PageIndex{3}\)

Calculate:

- \(\displaystyle 7 +_8 3\)
- \(\displaystyle 7 \times_8 3\)
- \(\displaystyle 4\times_8 4\)
- \(\displaystyle 10+_{12} 2\)
- \(\displaystyle 6\times_8 2 +_8 6\times_8 5 \)
- \(\displaystyle 6\times_8 \left(2 +_85\right)\)
- \(\displaystyle 3 \times_5 3 \times_5 3 \times_5 3 \equiv 3^4 (\textrm{ mod} 5)\)
- \(\displaystyle 2 \times_{11}7\)
- \(\displaystyle 2 \times_{14}7\)

**Answer**-
- \(2\)
- \(5\)
- \(0\)
- \(0\)
- \(2\)
- \(2\)
- \(1\)
- \(3\)
- \(0\)

Exercise \(\PageIndex{4}\)

List the additive inverses of the following elements:

- 4, 6, 9 in \(\mathbb{Z}_{10}\)
- 16, 25, 40 in \(\mathbb{Z}_{50}\)

Exercise \(\PageIndex{5}\)

In the group \(\mathbb{Z}_{11}\) , what are:

- 3(4)?
- 36(4)?
- How could you efficiently compute \(m(4)\text{,}\) \(m \in \mathbb{Z}\text{?}\)

**Answer**-
- 1
- 1
- \(m(4) = r(4)\text{,}\) where \(m = 11 q + r\text{,}\) \(0 \leq r < 11\)

Exercise \(\PageIndex{6}\)

Prove that \(\{1, 2, 3, 4\}\) is a group under the operation \(\times_5 \text{.}\)

Exercise \(\PageIndex{7}\)

A student is asked to solve the following equations under the requirement that all arithmetic should be done in \(\mathbb{Z}_2\text{.}\) List all solutions.

- \(x^2 + 1 = 0\text{.}\)
- \(x^2 + x + 1 = 0\text{.}\)

**Answer**-
Since the solutions, if they exist, must come from \(\mathbb{Z}_2\text{,}\) substitution is the easiest approach.

- 1 is the only solution, since \(1^2+_21=0\) and \(0^2+_21=1\)
- No solutions, since \(0^2+_2 0+_2 1=1\text{,}\) and \(1^2+_2 1+_2 1=1\)

Exercise \(\PageIndex{8}\)

Determine the solutions of the same equations as in Exercise \(\PageIndex{5}\) in \(\mathbb{Z}_5\text{.}\)

Exercise \(\PageIndex{9}\)

- Write out the operation table for \(\times_8\) on \(\{1,3,5,7\}\text{,}\) and convince your self that this is a group.
- Let \(\mathbb{U}_{n}\) be the elements of \(\mathbb{Z}_{n}\) that have inverses with respect to \(\times_{n}\text{.}\) Convince yourself that \(\mathbb{U}_{n}\) is a group under \(\times_{n}\text{.}\)
- Prove that the elements of \(\mathbb{U}_{n}\) are those elements \(a\in \mathbb{Z}_{n} \) such that \(\gcd(n,a)=1\text{.}\) You may use Theorem \(\PageIndex{3}\) in this proof.

Exercise \(\PageIndex{10}\)

Prove the division property, Theorem \(\PageIndex{1}\).

**Hint**-
Prove by induction on \(m\) that you can divide any positive integer into \(m\text{.}\) That is, let \(p(m)\) be “For all \(n\) greater than zero, there exist unique integers \(q\) and \(r\) such that \(\dots\) .” In the induction step, divide \(n\) into \(m - n\text{.}\)

Exercise \(\PageIndex{11}\)

Suppose \(f:\mathbb{Z}_{17}\to \mathbb{Z}_{17}\) such \(f(i)=a \times_{17} i +_{17} b \) where \(a\) and \(b\) are integer constants. Furthermore, assume that \(f(1)=11\) and \(f(2)=4\text{.}\) Find a formula for \(f(i)\) and also find a formula for the inverse of \(f\text{.}\)

**Answer**-
The given conditions can be converted to a system of linear equations:

\begin{equation*} \begin{array}{c} f(1)=11 \Rightarrow a +_{17} b = 11\\ f(2)=4 \Rightarrow 2 \times_{17} a +_{17} b =4\\ \end{array} \end{equation*}

If we subtract the first equation from the second, we get \(a = 4 +_{17} (-11) = 4 +_{17} 6= 10\text{.}\) This implies that \(b=1\text{,}\) and \(f(i) = 10\times+{17}i + 1\text{.}\) To get a formula for the inverse of \(f\) we solve \(f(j)=i\) for \(j\text{,}\) using the fact that the multiplicative inverse of 10 (mod 17) is 12.

\begin{equation*} \begin{split} f(j)=i & \Rightarrow 10\times+{17}j + 1 = i\\ & \Rightarrow 10\times+{17}j = i +_{17} 16\\ & \Rightarrow j = 12\times_{17}( i +_{17} 16)\\ \end{split} \end{equation*}

Therefore \(f^{-1}(i) = 12\times_{17}( i +_{17} 16) = 12\times_{17} i +_{17} 5\text{.}\)

Exercise \(\PageIndex{12}\)

Write out the operation table for mod 10 multiplication on \(T=\{0,2,4,6,8\}\text{.}\) Is \([T;\times_{10}]\) a monoid? Is it a group?

**Answer**-
This system is a monoid with identity 6 (surprise!). However it is not a group since 0 has no inverse.