Euler totient function: Difference between revisions

From Number
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/\logn)}</math>.
<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

.

.

.

  • .

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.