Section 6.5 Applications to Congruences
Subsection 6.5.1 Factoring the modulus
The reason the fundamental theorem is so useful for congruences is that prime powers (for different primes) are automatically relatively prime to each other. So in using the Chinese Remainder Theorem (Theorem 5.3.2) we don't have a spend time looking for coprime factors; we can just factor into prime powers using the Fundamental Theorem of Arithmetic. So here is a useful repositioning of Proposition 5.4.5.Proposition 6.5.1. Converting to and from prime powers.
Suppose that
Certainly if
divides so does every factor of so (mod ) for each of the prime power factors of (Once again, solutions to the βbigβ congruence are also solutions to a system of many little ones.)-
Conversely, the prime powers in a factorization are all coprime to each other, so if we are given a solution pair
to each of the congruencesthen when combined they will give a solution of
Example 6.5.2.
Let's solve the following congruence using the method in the previous paragraph:
Here are some steps:
Create the individual congruences
Solve them
Put them back together
Subsection 6.5.2 Moduli that are prime powers
When it comes to linear congruences, these consequences of the Chinese Remainder Theorem and Fundamental Theorem of Arithmetic suggest that we reconsider the prime power case with a more subtle tool. Assume that in solving a bunch of congruencesExample 6.5.3. Prime Power Congruences.
One reason we might want to solve such a congruence is for finding an inverse (recall Definition 5.3.4) for various purposes, so suppose we want to find the inverse of
First, let
First, any solution of
(mod ) is also a solution of (mod ). So (mod ) for some since-
Plugging
in the original congruence yieldsor, rearranging (but keeping everything unmultiplied),
-
Now, we know that
because we already know that solved our original congruence:So we can cancel out
from the entire congruence (as in Proposition 5.2.6) to get thatThis simplifies to
(mod ). -
By inspection
has the solution (mod ). Using this and plugging it back in to get a solution to (mod ), we getas the solution.
And indeed
Example 6.5.4.
Let's do it all again, more tersely, to get an inverse modulo
I already know that
is the solution to (mod ). That means that a solution to (mod ) must look like (for some integer ).-
Plugging this in gives me
(mod ), which rearranges to -
Since we know that
solves (mod ), that means (by definition of congruence) thatso we can divide βall three sidesβ of the last congruence by
which yields -
Solving this yields
(mod ), so
And a quick check shows