Don't like this style? Click here to change it! blue.css
SIDE SIDE (the mental roadmap):
Let's learn this stuff by playing, only put in a symbol/variable AFTER playing with actual numbers.
A set of numbers and some way to combine them (e.g. integers mod 12 and multiplication) that do the following:
OK so any 0 in a cycle will kill the cycle. You know, 0*anything...
Now imagine the modulus is 15. Then the number 6 is dangerous.
A dumb analogy is like 15 is a person with two vices and 6 shares one of those vices.
If 6 starts hanging around there's a chance 15 gets into trouble...
Math wise it goes like this:
$$\text{GCD}(x,y) = d\text{ if and only if }d=\text{min}(a \cdot x+b \cdot y \forall a,b)$$
This is math-y looking, here's what it says as a human.
Any number that divides both 35 and 77 has to divide any combination of them, like \(3 \cdot 35 - 9 \cdot 77 \)
If you play with those combinations long enough you will get the largest divisor of both 35 and 77.
Here's a beautiful wikipedia animation
OK SO... imagine that \( \text{GCD}(x,y) = 1 \) then there is some magic combination of them like:
$$ 1 = a \cdot x + b \cdot y $$
OK cool, then look at that mod \(y\) and you get \(a\) is the inverse of \(x \text{mod} y\).
So in essence a number ONLY has an inverse if the GCD of that number and the modulus is 1.