Euler totient function: Difference between revisions
No edit summary |
|||
Line 30: | Line 30: | ||
Thus: | Thus: | ||
<math>\lim \ | <math>\lim \sup_{n \to \infty} \frac{\phi(n)}{n} = 1</math>. | ||
===Lower bound=== | ===Lower bound=== | ||
Line 42: | Line 42: | ||
<math>\varphi(n) \ge n^{1 - (C\log\log n/\log n)}</math>. | <math>\varphi(n) \ge n^{1 - (C\log\log n/\log n)}</math>. | ||
==Summatory function and average value== | |||
===Summatory function=== | |||
The summatory function of the Euler phi-function is termed the [[totient summatory function]]. | |||
==Relation with other arithmetic functions== | ==Relation with other arithmetic functions== | ||
Line 68: | Line 73: | ||
==Relation with properties of numbers== | ==Relation with properties of numbers== | ||
* [[Prime number]]: A number <math>n</math> such that <math>\varphi(n) = n-1</math>. | * [[Prime number]]: A natural number <math>n</math> such that <math>\varphi(n) = n-1</math>. | ||
* [[Polygonal number]]: A natural number <math>n</math> such that <math>\varphi(n)</math> is a power of <math>2</math>, or equivalently, such that the regular <math>n</math>-gon is constructible using straightedge and compass. | |||
==Properties== | ==Properties== | ||
The Euler phi-function is | {{multiplicative}} | ||
{{not completely multiplicative}} | |||
{{divisibility-preserving}} | |||
If <math>m</math> divides <math>n</math>, then <math>\varphi(m)</math> divides <math>\varphi(n)</math>. | |||
==Algebraic significance== | |||
The Euler phi-function of <math>n</math> is important in the following ways: | |||
* It is the number of generators of the cyclic group of order <math>n</math>. | |||
* It is the order of the multiplicative group of the ring of integers modulo <math>n</math> (in fact, this multiplicative group is precisely the set of generators of the additive group). |
Revision as of 14:57, 5 May 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:
.
Summatory function and average value
Summatory function
The summatory function of the Euler phi-function is termed the totient summatory function.
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 natural number such that .
- Polygonal number: A natural number such that is a power of , or equivalently, such that the regular -gon is constructible using straightedge and compass.
Properties
Multiplicativity
This arithmetic function is a multiplicative function: the product of this function for two natural numbers that are relatively prime is the value of the function at the product.
View a complete list of multiplicative functions
Complete multiplicativity
NO: This arithmetic function is not a completely multiplicative function: in other words, the product of the values of the function at two natural numbers need not equal the value at the product.
Preservation of divisibility
This arithmetic function is a divisibility-preserving function: if one natural number divides another, the value of the function at the first number also divides the value at the second number.
View other divisibility-preserving functions
If divides , then divides .
Algebraic significance
The Euler phi-function of is important in the following ways:
- It is the number of generators of the cyclic group of order .
- It is the order of the multiplicative group of the ring of integers modulo (in fact, this multiplicative group is precisely the set of generators of the additive group).