- Euler's theorem
In
number theory , Euler's theorem (also known as the Fermat-Euler theorem or Euler's totient theorem) states that if "n" is a positiveinteger and "a" iscoprime to "n", then:a^{varphi (n)} equiv 1 pmod{n}where φ("n") isEuler's totient function and "... ≡ ... (mod "n")" denotes congruence modulo n.The theorem is a generalization of
Fermat's little theorem , and is further generalized by Carmichael's theorem.The theorem may be used to easily reduce large powers modulo "n". For example, consider finding the last decimal digit of 7222, i.e. 7222 (mod 10). Note that 7 and 10 are coprime, and φ(10) = 4. So Euler's theorem yields 74 ≡ 1 (mod 10), and we get 7222 ≡ 74x55 + 2 ≡ (74)55x72 ≡ 155x72 ≡ 49 ≡ 9 (mod 10).
In general, when reducing a power of "a" modulo "n" (where "a" and "n" are
coprime ), one needs to work modulo φ("n") in the exponent of "a": :if "x" ≡ "y" (mod φ("n")), then "a""x" ≡ "a""y" (mod "n").Proofs
Leonhard Euler published a proof in1736 . Using modern terminology, one may prove the theorem as follows: the numbers "a" which are relatively prime to "n" form a group under multiplication mod "n", the group of units of the ring Z/"n"Z. This group has φ("n") elements, and the statement of Euler's theorem follows then from Lagrange's theorem.Another direct proof: if "a" is coprime to "n", then multiplication by "a"permutes the residue classes mod "n" that are
coprime to "n"; in other words (writing "R" forthe set consisting of the φ("n") different such classes) the sets{ "x" : "x" in "R" } and{ "ax" : "x" in "R" } are equal; therefore,their products are equal. Hence, "P" ≡ "a"φ("n")"P" (mod "n") where "P" is the first of those products. Since "P" is coprime to "n", it follows that "a"φ("n") ≡ 1 (mod "n").The Mizar project has completely formalized and automatically checked a proof of Euler's theorem in the [http://www.mizar.org/JFM/Vol10/euler_2.html EULER_2 file] .
External links
*
* [http://planetmath.org/encyclopedia/EulersTheorem.html Euler's Theorem] at [http://planetmath.org PlanetMath]
Wikimedia Foundation. 2010.