Euler totient function: Difference between revisions
(→Facts) |
No edit summary |
||
| (One intermediate revision by one other user not shown) | |||
| Line 12: | Line 12: | ||
For any natural number <math>n</math>, we have <math>n=\sum_{d|n}\varphi(n)</math>, where the summation runs over all positive divisors of <math>n</math>. | For any natural number <math>n</math>, we have <math>n=\sum_{d|n}\varphi(n)</math>, where the summation runs over all positive divisors of <math>n</math>. | ||
===Evaluation on prime powers=== | ===Evaluation on prime powers=== | ||
For any prime <math>p</math> and positive integer <math>k</math>, the value of Euler totient function on <math>p^{k}</math> is given by the formula <math>\varphi(p^{k})=p^{k-1}(p-1)</math>. This is an immediate application of the previous fact. | For any prime <math>p</math> and positive integer <math>k</math>, the value of Euler totient function on <math>p^{k}</math> is given by the formula <math>\varphi(p^{k})=p^{k-1}(p-1)</math>. This is an immediate application of the previous fact. | ||
===Multiplicative function=== | |||
===Multiplicative | The Euler totient function is multiplicative, that is, if <math>m</math> and <math>n</math> are coprime, then <math>\varphi(mn)=\varphi(m)\varphi(n)</math>. | ||
The Euler | For full proof, see [[Euler totient function is multiplicative]]. | ||
For full proof, see [[Euler | |||
==Explicit formula== | ==Explicit formula== | ||
Knowing the prime factorization of <math>n</math>, we can evaluate <math>\varphi(n)</math> by repeated applications of the above facts. | Knowing the prime factorization of <math>n</math>, we can evaluate <math>\varphi(n)</math> by repeated applications of the above facts. | ||
<br/>However, knowing only the distinct prime factors of the number is sufficient, because the value of Euler totient function on it is then given by the formula <math>\varphi(n)=n\prod_{p}(1-\frac1{p})</math>, where here the product is evaluated over all distinct prime factors of <math>n</math>. | <br/>However, knowing only the distinct prime factors of the number is sufficient, because the value of Euler totient function on it is then given by the formula <math>\varphi(n)=n\prod_{p}(1-\frac1{p})</math>, where here the product is evaluated over all distinct prime factors of <math>n</math>. | ||
==See also== | |||
[[Group of units modulo n]], a natural group to consider of order <math>\varphi(n)</math>. | |||
Latest revision as of 11:01, 24 October 2023
This article is about a basic definition in group theory. The article text may, however, contain advanced material.
VIEW: Definitions built on this | Facts about this: (facts closely related to Euler totient function, all facts related to Euler totient function) |Survey articles about this | Survey articles about definitions built on this
VIEW RELATED: Analogues of this | Variations of this | Opposites of this |[SHOW MORE]
Definitions
The Euler totient function, also known as the Euler-phi function, on a natural number , denoted , is defined in the following equivalent ways:
- as the number of positive integers not greater than that are coprime to .
- as the number of generators of the cyclic group of order .
Facts
Every natural number is the sum of the Euler totient function on positive divisors
For any natural number , we have , where the summation runs over all positive divisors of .
Evaluation on prime powers
For any prime and positive integer , the value of Euler totient function on is given by the formula . This is an immediate application of the previous fact.
Multiplicative function
The Euler totient function is multiplicative, that is, if and are coprime, then . For full proof, see Euler totient function is multiplicative.
Explicit formula
Knowing the prime factorization of , we can evaluate by repeated applications of the above facts.
However, knowing only the distinct prime factors of the number is sufficient, because the value of Euler totient function on it is then given by the formula , where here the product is evaluated over all distinct prime factors of .
See also
Group of units modulo n, a natural group to consider of order .