1When does the diophantine equation ax+by=c have a solution?
$\text{ax+by=c has a solution} \iff \thinspace \text{c is a linear combination of a and b} \iff \thinspace \text{c is a multiple of (a,b)}$
2Can the diophantine equation ax+by=c have a solution for all c?
$\text{ax+by=c has a solution for all c} \iff \thinspace \text{(a,b)=1} $
3$\text{For the general linear diophantine equation ax+by=c}$
$\text{ for which (a,b)|c then a=(a,b)a',b=(a,b)b', and c=(a,b)c'} \iff $
$(\widetilde{\text{x} } ,\widetilde{\text{y}}) \thinspace \text{is a solution to a'x+b'y=c’}$
4$\text{If} \thinspace \text{a,b,c} \in \mathbb{Z} \thinspace \text{such that} \thinspace \text{(a,b)=1 and a|bc, then }$
a|c
5$\text{Lemma: Let a,b} \in \mathbb{Z} \thinspace \text{such that a} \neq 0 \thinspace \text{and} \thinspace \text{b} \neq 0.$
$\text{Then a=(a,b)a' and b=(a,b)b'} \in \mathbb{Z} \thinspace \text{then (a',b')=1} $
6Given m, what integers are congruent to 0 mod m?
All of the multiples of m.
7$\text{Let} \thinspace \text{a,b} \in \mathbb{Z}, \thinspace \text{a is congruent to b mod m if} $
m|(a-b)
8Why is the congruence mod m an equivalence relation?
Congruence mod m is an equivalence relation because it satisfies the reflexive, symmetric, and transitive property.
9$\text{Let a,b} \in \mathbb{Z},\text{m} \in \mathbb{N}. \thinspace \text{Provide the reflexive, symmetric, and} \thinspace \text{transitive properties of congruence mod m} $
$\text{(1) Reflexive Property:} \thinspace \text{a} \equiv \text{a} \thinspace \text{mod m} $
$\text{(2) Symmetric Property:}\text{ If a} \equiv \text{b} \thinspace \text{mod m then} \thinspace \text{b} \equiv \text{a} \thinspace \text{c}\text{mod m} $
$\text{(3)Transitive Property:}\thinspace \text{If a} \equiv \text{b} \thinspace \text{and} \thinspace \text{b} \equiv \text{c} \thinspace \text{mod m} \thinspace \text{and} \thinspace \text{a} \equiv \text{c} \thinspace \text{mod m} $
10Division Algorithm and Congruences
$\text{Let m} \in \mathbb{N}, \thinspace \text{a} \in \mathbb{Z}. \thinspace \text{By the division algorithm,} \exists \thinspace \text{q,r} \in \mathbb{Z}$
$ \text{such that a=mq+r and} \thinspace 0 \leq \text{r} <\text{m}.\thinspace \text{Then a-r=mq or} \thinspace \text{a} \equiv \text{r} \thinspace \text{mod m} $
$\text{Now suppose that a,b}\in \mathbb{Z}, \text{m}\in \mathbb{N}. \thinspace\text{a and b leave the same remainder when divided by m}$
11$\text{a} \equiv \text{b} \thinspace \text{mod m}\iff $
The remainders are the same when divided by m
12How many integers mod m is every integer congruent to and what is this list called?
Exactly one of 0,1,...,m-1. This list is called the least positive residues mod m.
13Are opposite numbers usually symmetric mod m?
No opposite numbers are usually not symmetric
14$\text{Lemma: Let a,b} \in \mathbb{Z} \thinspace \text{and} \thinspace \text{m} \in \mathbb{N}.\thinspace \text{Then} \thinspace \text{a} \equiv \text{b} \thinspace \text{mod m} \iff $
$\text{a=b+mk for some k} \in \mathbb{Z} $
15$\text{Now if} \thinspace \text{a} \equiv \text{b} \thinspace \text{mod m} \thinspace \text{then} $
$\text{a}^\text{n} \equiv \text{b}^\text{n} \thinspace \text{mod m} $
16$\text{Proposition: Let a,b,c,d} \in \mathbb{Z}, \text{m} \in \mathbb{N} \thinspace \text{and suppose a} \equiv \text{b} \thinspace \text{mod m and c}\equiv \text{d} \thinspace \text{mod m} $
$\text{(1) a+c} \equiv \text{b+d} \thinspace \text{mod m} $
$\text{(2) ac} \equiv \text{bd} \thinspace \text{mod m} $
17What is a linear congruence?
$\text{A linear congruence has the form ax} \equiv \text{b} \thinspace \text{mod m}$
$\text{such that a,b} \in \mathbb{Z}, \text{m} \in \mathbb{N} $
18$\text{Decimal Representations: In general number that looks like} \thinspace \text{d}_\text{n}\text{d}_\text{n-1}...\text{d}_1\text{d}_0. $
$\text{It is congruent to} \thinspace \text{d}_0+\text{d}_1+...+\text{d}_\text{n} \thinspace \text{mod 9 and to } \thinspace \text{d}_0\text{d}_1+....+(-1)^\text{n} \text{d}_\text{n} \thinspace \text{mod 11} $
19$\text{If} \thinspace \text{ax} \equiv \text{b} \thinspace \text{mod m has a solution} $
(a,m)|b
20$\text{Conversely if (a,m)|b, I claim that} $
$\text{ax} \equiv \text{b} \thinspace \text{mod m has a solution} $
21If (a,m)=1 then
$\text{ax} \equiv \text{b mod m has one solution so} \thinspace \exists \text{j} \in \mathbb{Z} \thinspace \text{such that aj} \equiv \text{1 mod m. This j is called an inverse for a mod m}$
22$\text{When does ax} \equiv \text{b mod m always have a solution?}$
$\text{ax} \equiv \text{b mod m always has a solution if (a,m)=1}$
23the power of the least common multiple (LCM) occur to the
maximum of the powers to which it occurs to m and n
24Any common multiple of m and n is a
multiple of the least common multiple of m and n or LCM(m,n)
25If m and n are relatively prime, what is the least common multiple of m and n or LCM(m,n)?
It's their product: mn because they have no common primes
26Chinese Remainder Theorem (with Two Systems)
$\text{Let} \thinspace \text{m}_1,\text{m}_2 \thinspace \text{be relatively prime natural numbers and let} \thinspace \text{a}_1, \text{a}_2 \in \mathbb{Z}.$
$\text{Then the system of congruences: }$
$\text{x}\equiv\text{a}_1 \thinspace \text{mod m}_1,\text{x} \equiv \thinspace \text{mod m}_2 \thinspace \text{has a solution and is unique mod m}_1\text{m}_2$
27$\text{If x=x}_0 \thinspace \text{mod m}_1\text{m}_2$
then x is a solution to the two congruences
28Chinese Remainder Theorem (with Three Systems)
$\begin{rcases}
\text{x}\equiv \text{a}_1 \thinspace \text{mod m}_1 \\
\text{x} \equiv \text{a}_2 \thinspace \text{mod m}_2 \\
\end{rcases} \text{x} \equiv \text{b}_2\thinspace \text{mod m}_1\text{m}_2$
$\begin{rcases} \text{x}\equiv \text{a}_3 \thinspace \text{mod m}_3
\end{rcases}(\text{m}_3,\text{m}_1,\text{m}_2)=1 \thinspace \text{so x} \equiv \text{b}_3\text{mod m}_1\text{m}_2\text{m}_3$
29General Case of the Chinese Remainder Theorem
$\text{In general , given m}_1\text{m}_2,...,\text{m}_\text{r} \in \mathbb{N} \thinspace \text{such that} $
$ \forall \text{i,j} \in \{1,2,...,\text{r}\}, (\text{m}_\text{i}, \text{m}_\text{j})=1$
$\text{ Then the system of congruences}\thinspace\text{x} \equiv \text{a}_1 \thinspace\text{mod m}, \text{x} \equiv \text{a}_2 \thinspace \text{mod m},... $
$\text{x} \equiv \text{a}_\text{r} \thinspace \text{mod m}_\text{r} \thinspace \text{has a solution and it is unique mod m}_1\text{m}_2,...,\text{m}_\text{r} $
30Wilson's Theorem: Let p be an odd prime then
$\text{(p-1)!}\equiv -1 \equiv \text{p-1 mod p}$
31$\text{Lemma: Let p be a prime and let a} \in \mathbb{Z} \thinspace \text{such that} $
$\text{a} \equiv \text{1 mod p}$
$\text{Then a} \equiv \text{1 mod p or a} \equiv \text{-1 mod p}$
32$\text{Let} \thinspace \text{a} \in \mathbb{Z}. \thinspace \text{a}^2 \equiv \text{1 mod p has exactly two solutions}$
$\text{a} \equiv 1 \thinspace \text{or} \thinspace \text{a} \equiv \text{p-1 mod p}$
33$\text{From Lemma 3, we know that we can separate the numbers } \thinspace \{1,2,...,\text{p-1}\} \thinspace \text{into}$
1,p-1, and (p-3)/2 pairs of least non-negative residues that are inverses to each other
34$\text{Lemma 3: Let p be an odd prime and let a' be the solution of ax} \equiv \text{1 (mod p)},\text{a=1,2,...,p-1}.\thinspace \text{a'}\equiv \text{b'} \iff $
$\text{a} \equiv \text{b} \thinspace \text{mod m. Furthermore a} \equiv \text{a'(mod p)} \iff \text{a=1 or a=p-1}.$
35$\text{Let p be an odd prime}. \text{a} \in \mathbb{Z} \thinspace \text{such that p} \nmid \text{a}.$
$\text{What is the set of least non-negative residues of a,2a,3a,...,(p-1)a mod p?}$
$\{1,2,...,\text{p-1}\}$
36$\text{Since p} \nmid \text{a} \thinspace \text{and} \thinspace (\text{p},\text{a})=1 \thinspace \text{so for every b} \in \{1,2,...,\text{p-1}\}$
$\text{ax} \equiv \text{b (mod p) } \thinspace \text{has a solution}$
37Fermat's Little Theorem
$\text{Let p be an odd prime,} \text{a} \in \mathbb{Z} \thinspace \text{and suppose that p} \nmid \text{a}. \text{Then a}^\text{p-1} \equiv \text{1 mod p}$
38Corollary of Fermat's Little Theorem
$\text{Let p be an odd prime,} \text{a} \in \mathbb{Z}.$
$ \text{Then a}^\text{p} \equiv \text{a} \thinspace \text{mod p. However, if p|a, then a}\equiv \text{0 mod p}.$
39If the modulus is an even number then (Section 6, Exercise 15)
there will always be one number left over in the sum of additive inverses
40If the modulus is an odd prime then (Section 6, Exercise 15)
sum of the additive inverses equal zero
41$\text{Is it true that if p} \geq 2 \thinspace \text{is a natural number and a} \in \mathbb{Z}$
$ \text{such that (a,p)=1 and a}^\text{p} \equiv \text{mod p then p must be a prime?}$
$\text{No, this statement is not true. It is possible to disprove this statement using a counterexample. }$
$\text{One possible example of a counterexample is the number 341.}$
$\text{(2,341)=1 and 2}^{341}\equiv \text{2 mod 341 but 341=11*31 so 341 is a composite number and not a prime number}$
42$\text{How many solutions does the linear congruence ax} \equiv \text{b mod m have?}$
$\text{Notice that as b varies in} \{0,1,...,\text{m-1}\} \thinspace \text{each ax} \equiv \text{b mod m has a solution. }$
$\text{Since there only m x-value. Each x-value must account for exactly one B-value}$
43$\text{Suppose given the linear congruence ax} \leq \text{b mod m. Let d=(a,m) and suppose that d|b.}$
$\text{Then a=a'd, b=b'd, and m=m'd for some a',b',m'} \in \mathbb{Z}$
$\text{So in particular} \thinspace \text{x}_0 \thinspace \text{to be a solution, this would mean m|}\text{ax}_0-\text{b},$
$ \text{this is equivalent to saying}\thinspace\text{ax}_0-\text{b}=\text{mk for some k} \in \mathbb{Z} $
$\text{i.e. a'd}\text{x}_0-\text{b'd=m'dk for some k} \in \mathbb{Z}$
$ \text{which is equivalent to a'}\text{x}_0-\text{b'=m'k for some k} \in \mathbb{Z} \thinspace \text{i.e. a'}\text{x}_0 \equiv \text{b'mod m'}$
$\text{because x} \equiv \text{t mod m} \iff \text{m|(x-t) but since m'|m then m'|(x-t) in this case so x} \equiv \text{t mod m' is a solution,}$
$\text{as are x} \equiv \text{t+m' mod m, x} \equiv \text{t+2m'mod m},...,\text{x}\equiv\text{t+(d-1)m'mod m},\text{x} \equiv \text{t+dm'mod m} $
$\text{which gets us the solution x}\equiv \text{t mod m, which we already have}$
44What is a critical condition to use the general formula for the Chinese Remainder Theorem?
The general formula for the Chinese Remainder Theorem only works with relatively prime modulo.
45$\text{Special Case of Chinese Remainder Theorem (CRT)}$
$\text{Suppose} (\text{m}_1,\text{m}_2)=1 \thinspace \text{and we want to solve x} \equiv \text{a}_1(\text{mod m}_1),\text{x}\equiv\text{a}_2\text{mod m}_1. \text{Suppose someone gives us t,u} \in \mathbb{Z} $
$\text{such that t} \equiv \text{1 mod m}_1 \thinspace \text{and u} \equiv \text{0 mod m}_2 \thinspace \text{u} \equiv \text{0 mod m}_1 \thinspace \text{and u} \equiv \text{1 mod m}_2. \text{What solves these congruences?}$
$\text{a}_1\text{t+a}_2\text{u}$