PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very low Entry average rating: No information on entry rating
[parent] derivation of Euler phi-function (Derivation)

In this ``proof" we will construct the solution for the Euler phi-function, $ \phi(n) = n \prod_{ p | n } ( 1 - \frac{1}{n} ) $ .

We will do this for the natural number $ n > 0 $ . Keep in mind that $ \gcd(a,n) = 1 \Longleftrightarrow $ $ a $ is not divisible by $ p $ for all primes $ p $ dividing $ n $ .

Let $ n \ge 2 $ and $ p_1,p_2,\cdots,p_r $ be all prime divisors of n. Let $ N=\{a \mid 0 \leq a < n, \gcd(a,n) = 1\} $ and $ A_i := \{ a \mid 0 \leq a < n, p_i | a \} $ . If $ J \subset \{ 1,2,\cdots,r \} $ than $ p_J := \prod_{j \in J} p_i $ .

Thus, $ \# ( A_J ) = \# ( \bigcap_{ j \in J } A_j ) = \# ( \{ a \in A : p_J | a \} ) = \frac{ n }{ p_J } $

Using inclusion-exclusion,

$\displaystyle \phi(n) = \char93 ( N ) = \sum_{ J \subset \{ 1,2,\cdots,r \} } ... ... \sum_{ J \subset \{ 1,2,\cdots,r \}} (-1)^{ \char93 ( J ) } \frac{ 1 }{ p_J }$      
$\displaystyle = n (1 - (\frac{1}{p_1} + \frac{1}{p_2} + \cdots + \frac{1}{p_r})... ...1)^r \frac{1}{p_1 p_2 \cdots p_r}) = n \prod_{ p \vert n } ( 1 - \frac{1}{p} ).$    

$ \Box $




"derivation of Euler phi-function" is owned by jwaixs.
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: prime divisors, primes, divisible, natural number, Euler, solution, proof

This is version 19 of derivation of Euler phi-function, born on 2007-12-26, modified 2008-02-12.
Object id is 10159, canonical name is DerivationOfEulerPhiFunction.
Accessed 1000 times total.

Classification:
AMS MSC11-00 (Number theory :: General reference works )

Pending Errata and Addenda
None.
[ View all 7 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)