In number theory, Euler's theorem (also known as the Fermat–Euler theorem or Euler's totient theorem) states that if n and a are coprime positive integers, then
where is Euler's totient function. (The notation is explained in the article .) In 1736, Leonhard Euler published his proof of Fermat's little theorem,[1] which Fermat had presented without proof. Subsequently, Euler presented other proofs of the theorem, culminating with "Euler's theorem" in his paper of 1763, in which he attempted to find the smallest exponent for which Fermat's little theorem was always true.[2]
The converse of Euler's theorem is also true: if the above congruence is true, then and must be coprime.
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 . For example, consider finding the ones place decimal digit of , i.e. . Note that 7 and 10 are coprime, and . So Euler's theorem yields , and we get .
In general, when reducing a power of modulo (where and are coprime), one needs to work modulo in the exponent of :
- if , then .
Euler's theorem is sometimes cited as forming the basis of the RSA encryption system, however it is insufficient (and unnecessary) to use Euler's theorem to certify the validity of RSA encryption. In RSA, the net result of first encrypting a plaintext message, then later decrypting it, amounts to exponentiating a large input number by , for some positive integer . In the case that the original number is relatively prime to , Euler's theorem then guarantees that the decrypted output number is equal to the original input number, giving back the plaintext. However, because is a product of two distinct primes, and , when the number encrypted is a multiple of or , Euler's theorem does not apply and it is necessary to use the uniqueness provision of the Chinese Remainder Theorem. The Chinese Remainder Theorem also suffices in the case where the number is relatively prime to , and so Euler's theorem is neither sufficient nor necessary.
No comments:
Post a Comment