Euler totient function: Difference between revisions
No edit summary |
|||
Line 40: | Line 40: | ||
With the [[prime number theorem]], we can find a constant <math>C</math> such that: | With the [[prime number theorem]], we can find a constant <math>C</math> such that: | ||
<math>\varphi(n) \ge n^{1 - (C\log\log n/\ | <math>\varphi(n) \ge n^{1 - (C\log\log n/\log n)}</math>. | ||
==Relation with other arithmetic functions== | ==Relation with other arithmetic functions== |
Revision as of 01:41, 29 April 2009
This article defines an arithmetic function or number-theoretic function: a function from the natural numbers to a ring (usually, the ring of integers, rational numbers, real numbers, or complex numbers).
View a complete list of arithmetic functions
Definition
Let be a natural number. The Euler phi-function or Euler totient function of , denoted , is defined as following:
- It is the order of the multiplicative group modulo , i.e., the multiplicative group of the ring of integers modulo .
- It is the number of elements in that are relatively prime to .
In terms of prime factorization
Suppose we have the following prime factorization of :
.
Then, we have:
.
In other words:
.
Behavior
Upper bound
The largest values of are taken when is prime. for a prime .
Thus:
.
Lower bound
For any , there exists such that:
.
With the prime number theorem, we can find a constant such that:
.
Relation with other arithmetic functions
- Universal exponent (also called Carmichael function) is the exponent of the multiplicative group modulo . The universal exponent of , usually denoted , divides .
Relations expressed in terms of Dirichlet products
- : In other words, the Dirichlet product of the Euler phi-function and the all ones function is the identity function:
.
- : This is obtained by applying the Mobius inversion formula to the previous identity. The Euler phi-function is thus the Dirichlet product of the identity function and the Mobius function:
.
- : In other words, the Dirichlet product of the Euler phi-function and the divisor count function equals the divisor sum function:
.
- .
Relation with properties of numbers
- Prime number: A number such that .
Properties
The Euler phi-function is a multiplicative function but not a completely multiplicative function.