Euler totient function: Difference between revisions

From Number
(Created page with '{{arithmetic function}} ==Definition== Let <math>n</math> be a natural number. The '''Euler phi-function''' or '''Euler totient function''' of <math>n</math>, denoted <math...')
 
No edit summary
Line 41: Line 41:


<math>\varphi(n) \ge n^{1 - (C\log\log n/\logn)}</math>.
<math>\varphi(n) \ge n^{1 - (C\log\log n/\logn)}</math>.
==Relation with other arithmetic 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>.
===Relations expressed in terms of Dirichlet products===
* <math>\varphi * U = E</math>: In other words, the [[Dirichlet product]] of the Euler phi-function and the [[all ones function]] is the [[identity function]]:
<math>\sum_{d|n} \varphi(d) = n</math>.
* <math>\varphi = E * \mu</math>: 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]]:
<math>\sum_{d|n} d\mu(n/d) = \varphi(n)</math>.
* <math>\varphi * \tau = \sigma</math>: In other words, the [[Dirichlet product]] of the Euler phi-function and the [[divisor count function]] equals the divisor sum function:
<math>\sum_{d|n} \varphi(d) \tau(n/d) = \sigma(n)</math>.
* <math>\sigma * \varphi = E * E</math>.
==Relation with properties of numbers==
* [[Prime number]]: A number <math>n</math> such that <math>\varphi(n) = n-1</math>.

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

Failed to parse (unknown function "\logn"): {\displaystyle \varphi(n) \ge n^{1 - (C\log\log n/\logn)}} .

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 .