Congruence modulo n
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 .
Explanations
L1 human
Two integers are congruent modulo when they differ by a multiple of . On a -hour clock, o'clock and o'clock show the same time, because .
What this node 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 node is. They do not measure its truth.
What this needs
To read this node, read these 2 nodes in this order. The foundations come first, and the list ends with this node.
- no evidence level
- Divisibility definition
- Congruence modulo n definition
What depends on this
54 nodes use this node, directly or through other nodes.
- −1 is a square modulo p if and only if p is not 3 modulo 4 00DW862T78
- Congruence is compatible with addition 00FWBN7F0Y
- Modular multiplicative inverse 00GXTQMY8Z
- Hensel's lemma 010QVB71T2
- Legendre symbol 01J8AMV9RS
- Integers modulo n 01N3AYAA6N
- Diffie–Hellman key exchange 01TKKESHSB
- Fermat pseudoprime 02M2K4QH9P
- Gauss's lemma on quadratic residues 037ACYXB5Z
- Wilson's theorem 03KGGKTB2E
- Fermat's theorem on sums of two squares 043B3ENSTY
- Sum of two squares theorem 04NPWJMA6H
- Chinese remainder theorem for non-coprime moduli 04SJTX9P4N
- Existence of primitive roots modulo a prime 04XGKK8WQW
- Lucas–Lehmer test 061BTYA0RN
- Number of invertible residues modulo n 06RJWZCG95
- Converse of Wilson's theorem 06WRV8HFDY
- Congruence is compatible with multiplication 072D5G4SK6
- Pépin's test 07HXA8KV6F
- Law of quadratic reciprocity 085MJS6907
- Discrete logarithm 09B4X51J09
- Cancellation in congruences 09RDZZGJZ9
- Divisibility by 11 09YBMJTNBM
- Fermat's little theorem in the form a^p = a 0BMXWXDVJZ
- Primitive root theorem 0E0DNQK22P
- Complete residue system 0E22JKS4W4
- Divisibility by 9 0ESHD7ZQDX
- Chinese remainder theorem 0FNN9B4W64
- Multiplicativity of the totient function 0FSJA9M43W
- RSA cryptosystem 0HM584C465
- Reduced residue system 0J0QEN1DZR
- Congruence is compatible with powers 0J5VGJYYC3
- Primitive root modulo n 0KM2CJ80G7
- Fermat's little theorem 0M25PRN3WQ
- Existence of inverses modulo n 0M67FWZWPQ
- Euler's criterion 0M7DEDKSYB
- Multiplicativity of the Legendre symbol 0NW1JP7TBR
- First supplement to quadratic reciprocity 0PHBS78HKT
- Residue class 0QRV8FPK5M
- Integers modulo a prime form a field 0R8YXRC9AJ
- Divisibility by 3 0R9D4CEJEB
- Lucas's theorem 0RY4GGMEQG
- Multiplicative order 0SBRX5CZ5R
- Quadratic residue 0SQDB87Z3T
- Miller–Rabin primality test 0SZCSYHW60
- Infinitely many primes congruent to 1 modulo n 0T1BSD7H3M
- Carmichael number 0TA7WT68RK
- Euler's theorem 0VC4DVE7DQ
- A prime is a Gaussian prime if and only if it is 3 modulo 4 0WMJSEFYFE
- Jacobi symbol 0XDB5AW7M1
- Eisenstein's lemma 0XSDBCP4RZ
- The order modulo p divides p − 1 0Y4B7P0GS8
- Quadratic reciprocity for the Jacobi symbol 0YY06KP3ZQ
- Second supplement to quadratic reciprocity 0ZXW95S44M
Sources
What links here
Used by
- Congruence is compatible with addition 00FWBN7F0Y
- Modular multiplicative inverse 00GXTQMY8Z
- Hensel's lemma 010QVB71T2
- Fermat pseudoprime 02M2K4QH9P
- Wilson's theorem 03KGGKTB2E
- Lucas–Lehmer test 061BTYA0RN
- Congruence is compatible with multiplication 072D5G4SK6
- Pépin's test 07HXA8KV6F
- Cancellation in congruences 09RDZZGJZ9
- Divisibility by 11 09YBMJTNBM
- Divisibility by 9 0ESHD7ZQDX
- Chinese remainder theorem 0FNN9B4W64
- Congruence is compatible with powers 0J5VGJYYC3
- Fermat's little theorem 0M25PRN3WQ
- Residue class 0QRV8FPK5M
- Divisibility by 3 0R9D4CEJEB
- Lucas's theorem 0RY4GGMEQG
- Multiplicative order 0SBRX5CZ5R
- Quadratic residue 0SQDB87Z3T
- Infinitely many primes congruent to 1 modulo n 0T1BSD7H3M
- Euler's theorem 0VC4DVE7DQ