Congruence modulo n
Builds on Divisibility
Definition
Let be a positive integer, and let and be integers. The integer is congruent to modulo when divides . The notation is . The integer is the modulus of the congruence.
Remarks
Equivalently, if and only if and have the same remainder on division by , that is, . Congruence modulo is an equivalence relation on the integers. Its classes are the residue classes modulo . For example, , because . Some texts allow each integer as a modulus. Then congruence modulo is equality, and congruence modulo is congruence modulo .
Reading path
To understand this page from the ground up, read these 2 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Divisibility definition
- Congruence modulo n definition
Where this leads
63 pages build on this one.
- −1 is a square modulo p if and only if p is not 3 modulo 4
- Congruence is compatible with addition
- Modular multiplicative inverse
- Hensel's lemma
- Legendre symbol
- Integers modulo n
- Diffie–Hellman key exchange
- Fermat pseudoprime
- Gauss's lemma on quadratic residues
- Wilson's theorem
- Fermat's theorem on sums of two squares
- Sum of two squares theorem
- Chinese remainder theorem for non-coprime moduli
- Existence of primitive roots modulo a prime
- Lucas–Lehmer test
- Number of invertible residues modulo n
- Converse of Wilson's theorem
- Congruence is compatible with multiplication
- Pépin's test
- Law of quadratic reciprocity
- Discrete logarithm
- Cancellation in congruences
- Divisibility by 11
- Fermat's little theorem in the form a^p = a
- Primitive root theorem
- Complete residue system
- Divisibility by 9
- Chinese remainder theorem
- Multiplicativity of the totient function
- RSA cryptosystem
- Reduced residue system
- Congruence is compatible with powers
- Primitive root modulo n
- Fermat's little theorem
- Existence of inverses modulo n
- Euler's criterion
- Multiplicativity of the Legendre symbol
- First supplement to quadratic reciprocity
- Residue class
- Integers modulo a prime form a field
- Divisibility by 3
- Lucas's theorem
- Multiplicative order
- Quadratic residue
- Miller–Rabin primality test
- Infinitely many primes congruent to 1 modulo n
- Carmichael number
- Euler's theorem
- A prime is a Gaussian prime if and only if it is 3 modulo 4
- Jacobi symbol
- Eisenstein's lemma
- The order modulo p divides p − 1
- Quadratic reciprocity for the Jacobi symbol
- Second supplement to quadratic reciprocity
- Artin reciprocity law
- Prime-factor FFT algorithm
- Cubic reciprocity
- Hilbert class field
- Fast Fourier transform
- Pseudo-spectral method
- Quartic reciprocity
- AKS primality test
- Integer factorization
Further reading
About this page
| Tag | 0TPW25CBN6 |
|---|---|
| URI | m2://0TPW25CBN6 |
| Aliases | congruence, modular-congruence |
| Kind | definition |
| Writing | W0 stub |
| MSC | 11A07 |
| Defines | Congruence modulo n |
| Uses | Divisibility |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
Used by
- Congruence is compatible with addition
- Modular multiplicative inverse
- Hensel's lemma
- Fermat pseudoprime
- Wilson's theorem
- Lucas–Lehmer test
- Congruence is compatible with multiplication
- Pépin's test
- Cancellation in congruences
- Divisibility by 11
- Divisibility by 9
- Chinese remainder theorem
- Congruence is compatible with powers
- Fermat's little theorem
- Residue class
- Divisibility by 3
- Lucas's theorem
- Multiplicative order
- Quadratic residue
- Infinitely many primes congruent to 1 modulo n
- Euler's theorem