32 Euclidean Algorithm
We begin by introducing the greatest common divisor before following with the Euclidean Algorithm [28].
Definition. Greatest Common Divisor
Let be positive and neither
nor
are equal to 0. The greatest common divisor of (a,b) is the largest positive integer that divides both
and
.
Theorem: Euclidean Algorithm
Suppose such that
and
, then there are integers
and
such that
.
Example:
Find the for the following pairs of integers, using the Euclidean algorithm.
,
[28].
Thus we have found
Now there is an expanded version of the Euclidean algorithm but for time’s sake we will leave it at just the shortened definition with the example. We are actually quite familiar with this idea of the greatest common divisor as we were required to find the gcd in a few examples in the previous section on Modern Algebra. In this section we use the concept of the greatest common divisor to introduce two vital theorems associated with solving linear congruence problems.
Theorem:
Let both be positive. Let
be the gcd of
and
for
. The equation
has a solution if and only if
divides
. When
dived
, the equation has exactly
solutions in modulus
. [12]
Theorem:
Let be the gcd of positive integers
and
. The congruence
has a solution if and only if
divides
. When this is the case, the solutions are the integers in exactly
distinct classes modulus
.[12]
Example:
Describe all solutions of the given congruence,
Firstly we can simplify , we know that
fits into
once so if we subtract
from
we should get the remainder
. Thus we can rewrite our congruence as
now let
we know
because the divisors of 12 are 1,2,3,4,6,12 and the divisors of 24 are 1,2,3,4,6,8,12,24 and as we can see the greatest common divisor is 12. Utilizing theorem 2.12 let
and
, since 12 cannot divide 15 we conclude that there are no solutions for
.
This last example emphasizes the power of these theorems. We are able to apply theorems in order to skip attempting infinite possible solutions only to come to the same conclusion that there are no solutions to the given congruence.