Euler's totient function
Euler's totient function,
, is defined as the number of positive integers less than or equal to a given positive integer that are relatively prime to that integer.
Formulas
The formal definition is
.
Given the prime factorization of
, one can compute
using the formula
.
Identities
For prime p,
, because all numbers less than
are relatively prime to it.
For relatively prime
,
.
In fact, we also have for any
that
.
For any
, we have
where the sum is taken over all divisors d of
.