Difference between revisions of "Euler's totient function"
Pianoman24 (talk | contribs) m (→Identities) |
(→Formulas) |
||
Line 25: | Line 25: | ||
Given the general [[prime factorization]] of <math>{n} = {p}_1^{e_1}{p}_2^{e_2} \cdots {p}_m^{e_m}</math>, one can compute <math>\phi(n)</math> using the formula <cmath>\phi(n)= n\left(1-\frac{1}{p_1} \right) \left(1-\frac{1}{p_2} \right)\cdots \left(1-\frac{1}{p_m}\right).</cmath> | Given the general [[prime factorization]] of <math>{n} = {p}_1^{e_1}{p}_2^{e_2} \cdots {p}_m^{e_m}</math>, one can compute <math>\phi(n)</math> using the formula <cmath>\phi(n)= n\left(1-\frac{1}{p_1} \right) \left(1-\frac{1}{p_2} \right)\cdots \left(1-\frac{1}{p_m}\right).</cmath> | ||
+ | |||
+ | *Note: Another way to find the closed form for <math>\phi(n)</math> is to show that the function is multiplicative, and then breaking up <math>\phi(n)</math> into it's prime factorization. | ||
== Identities == | == Identities == |
Revision as of 20:27, 3 January 2018
Euler's totient function applied to a positive integer is defined to be the number of positive integers less than or equal to that are relatively prime to . is read "phi of n."
Contents
[hide]Formulas
To derive the formula, let us first define the prime factorization of as where the are distinct prime numbers. Now, we can use a PIE argument to count the number of numbers less than or equal to that are relatively prime to it.
First, let's count the complement of what we want (i.e. all the numbers less than or equal to that share a common factor with it). There are positive integers less than or equal to that are divisible by . If we do the same for each and add these up, we get
But we are obviously overcounting. We then subtract out those divisible by two of the . There are such numbers. We continue with this PIE argument to figure out that the number of elements in the complement of what we want is
This sum represents the number of numbers less than sharing a common factor with , so
Given the general prime factorization of , one can compute using the formula
- Note: Another way to find the closed form for is to show that the function is multiplicative, and then breaking up into it's prime factorization.
Identities
(a) For prime , , because all numbers less than are relatively prime to it.
(b) For relatively prime , .
(c) In fact, we also have for any that .
(d) If is prime and ,then
(e) For any , we have where the sum is taken over all divisors d of .
Proof. Split the set into disjoint sets where for all we have Now if and only if . Furthermore, if and only if . Now one can see that the number of elements of equals the number of elements of Thus by the definition of Euler's phi we have that . As every integer which satisfies belongs in exactly one of the sets , we have that
Notation
Sometimes, instead of , is used. This variation of the Greek letter phi is common in textbooks, and is standard usage on the English Wikipedia