Euler totient function: Difference between revisions
Line 43: | Line 43: | ||
==Relation with other arithmetic functions== | ==Relation with other arithmetic functions== | ||
===Similar functions=== | |||
* [[Universal exponent]] (also called Carmichael function) is the [[groupprops:exponent of a group|exponent]] of the multiplicative group modulo <math>n</math>. The universal exponent of <math>n</math>, usually denoted <math>\lambda(n)</math>, divides <math>\varphi(n)</math>. | * [[Universal exponent]] (also called Carmichael function) is the [[groupprops:exponent of a group|exponent]] of the multiplicative group modulo <math>n</math>. The universal exponent of <math>n</math>, usually denoted <math>\lambda(n)</math>, divides <math>\varphi(n)</math>. | ||
* [[Dedekind psi-function]] is similar tothe Euler phi-function, and is defined as: | |||
<math>\psi(n) = n \prod_{p|n} \left( 1 + \frac{1}{p}\right)</math>. | |||
===Relations expressed in terms of Dirichlet products=== | ===Relations expressed in terms of Dirichlet products=== | ||
Revision as of 03:47, 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
Similar functions
- Universal exponent (also called Carmichael function) is the exponent of the multiplicative group modulo . The universal exponent of , usually denoted , divides .
- Dedekind psi-function is similar tothe Euler phi-function, and is defined as:
.
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.