Euler totient function: Difference between revisions

From Number
No edit summary
No edit summary
Line 71: Line 71:
* <math>\sigma * \varphi = E * E</math>.
* <math>\sigma * \varphi = E * E</math>.


===Inequalities===
* <math>\varphi(n) \ge \pi(n) - \omega(n)</math>: Here, <math>\pi(n)</math> is the [[prime-counting function]], and counts the number of primes less than or equal to <math>n</math>, while <math>\omega(n)</math> is the [[prime divisor count function]] of <math>n</math>.
* <math>\varphi(n) \le n - \sigma_0(n) + 1</math>: Here, <math>\sigma_0(n)</math> is the [[divisor count function]], counting the total number of divisors of <math>n</math>.
==Relation with properties of numbers==
==Relation with properties of numbers==



Revision as of 15:01, 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

.

.

.

  • .

Inequalities

  • : Here, is the prime-counting function, and counts the number of primes less than or equal to , while is the prime divisor count function of .
  • : Here, is the divisor count function, counting the total number of divisors of .

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).