Interactive · 1 question
Suppose that we have the following congruence, and we want to solve for : Well, let's think about what we would do if this were just a standard equality and not a congruence: We would typically write this as , but the idea is the same. We multiplied by on both sides. Could we do a similar thing for congruence?
Indeed, we can! In general, in a group with identity element , the inverse of an element is the element such that . Thus, in congruence modulo , the inverse of a number is the number such that:
Let's start with a quick example. What is the inverse of modulo ?
However, you may start to see a problem here. How about the inverse of modulo ? Since and are both even, there is no integer that can be multiplied by to leave a remainder of modulo . Thus, has no inverse modulo . This can be easily extended to the following important fact:
If , then has no inverse modulo .
Our intuition tells us that, if , then should have an inverse modulo . (As an exercise, check this for and . Can you always find an inverse?) It turns out that this is true, but we can say something stronger:
If , then has a unique inverse modulo .
To prove this, consider the set . We will prove that this set is an "almost-complete" residue class modulo , meaning that it contains every remainder modulo except exactly once.
It is clear that none of the elements in the set is congruent to modulo . Assume, for the sake of contradiction, that for . Then, , which is a contradiction. Therefore, all of the elements are distinct modulo . Thus, since these elements can only occupy residue classes, each residue class must be occupied exactly once.
It follows that there is a unique such that and . Therefore, has a unique inverse modulo .