statement theorem
Euler's theorem
Statement
Let be a positive integer and let be an integer coprime to . Then , where is Euler's totient function.
Remarks
When is prime, , and the result is Fermat's little theorem. A proof uses Lagrange's theorem: the group has order , by the number of invertible residues modulo n. The result lets us reduce exponents. If and , then . For example, , so , and the last digit of is the last digit of , that is, .
History
Euler proved the theorem in 1763.
Explanations
L1 human
Powers of modulo repeat in a cycle, and the cycle comes back to . Euler's theorem gives one exponent that always brings back to , namely . For and : and .
What this node needs for W2
- edge about out: the concepts that the statement is about (0 of 1)
- edge proves in: at least one proof node (0 of 1)
- edge instance_of or illustrates in: one example that shows the statement at work (0 of 1)
- explanation L2 (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 6 nodes in this order. The foundations come first, and the list ends with this node.
- no evidence level
- Divisibility definition
- Congruence modulo n definition
- Greatest common divisor definition
- Coprime integers definition
- Euler's totient function definition
- Euler's theorem statement
What depends on this
8 nodes use this node, directly or through other nodes.
- Diffie–Hellman key exchange 01TKKESHSB
- Existence of primitive roots modulo a prime 04XGKK8WQW
- Discrete logarithm 09B4X51J09
- Primitive root theorem 0E0DNQK22P
- RSA cryptosystem 0HM584C465
- Primitive root modulo n 0KM2CJ80G7
- Multiplicative order 0SBRX5CZ5R
- The order modulo p divides p − 1 0Y4B7P0GS8
Sources
- Web https://en.wikipedia.org/wiki/Euler%27s_theorem, lead section
What links here
Used by
- RSA cryptosystem 0HM584C465
- Multiplicative order 0SBRX5CZ5R