Number Theory: Euler's and Carmichael's Totient, Euler's Theorem
17 Dec 2021
§ Motivation
The Totient function is used in cryptosystems like RSA and is useful in computing number theoretic problems.
§ Euler's Totient Function
Euler's Totient Function
Euler's totient function is typically denoted using , defined as
Or, is the number of non-negative numbers strictly less than that are co-prime with .
Properties:
- If , then
- If , then
- In the case that , it simply becomes . This fact is useful in implementing the Totient function as it allows us to use bit operations.
- If and , then (multiplicative)
Multiplicative Property
To reiterate: If and , then
Any number can be written as a factorization of primes,
Then, can be computed as:
§ Euler's Theorem
The following lemma is used in the proof of Euler's theorem.
If and , then .
Write all three numbers in terms of their prime factorization and observe that shares no common prime factors with .
Euler's Theorem
Let , then
Consider the numbers where and . If , then another way to say this is . Since , we get that , which means , so must equal . Hence, the elements in the sequence given by:
are all distinct, meaning
for , since each element is congruent to a remainder with .
Notice that the left hand side is just . Since each term in the product is coprime with , we can cancel from both sides and obtain
Fermat's Little Theorem
In the specific case of Euler's theorem where is prime, we get that
One example of Euler's theorem being applied is in exponentation:
in cases where , we can reduce this problem to be
Furthermore, observe
where
§ Carmichael's Totient Function
We didn't talk about the Carmichael function in our MATH-470, however, this becomes useful in discussing the RSA algorithm.
Carmichael's Totient Function
Carmichael's totient uses the notation , and is defined to be the smallest positive integer satisfying
for all such that .
§ Computing the Carmichael Function
Using results from Carmichael's theorem, we can find that can be computed in terms of Euler's totient function.