Everything2
Near Matches
Ignore Exact
Full Text
Everything2

proof of the properties of the Euler Phi function

created by Noether

(idea) by Noether (2.9 y) (print)   ?   (I like it!) 2 C!s Mon Oct 02 2000 at 13:22:53

First read Euler Phi function to see its definition, the statement of its properties, and the notation.

Proof: That phi(p)=p-1 for a prime p is clear, since all of the numbers 1,...,p except the last one are coprime to p. Let us compute phi(pn). Think about the pn numbers 1,2,....,pn. Which of these numbers is divisible by p? Clearly the answer is p,2p,3p,...,pn. Thus in our original list every p numbers we get a number divisible by p. There are pn/p=pn-1 such numbers and so counting the numbers from 1,...,pn coprime to p we get:

phi(pn)=pn-pn-1
The multiplicative property of the phi function will be proved using a little ring theory. Since m and n are coprime an appeal to the Chinese remainder theorem shows us that Zmn is isomorphic to the direct product
ZmxZn.
Now for any ring R let's write U(R) for the multiplicative group of units of R. It is very easy to see that for a direct product of rings RxS we have that U(RxS)=U(R)xU(S). In detail, (a,b) in RxS is a unit iff there exists (c,d) with (a,b)(c,d)=(1,1)=(c,d)(a,b). That is true iff ac=1=ca and bd=1=db. That is, a and b are units. Hence the claim.

So in our case we see that

U(Zmn) = U(Zm)xU(Zn).
Therefore both of these sets have the same number of elements. As is explained in the integers modulo n writeup the number of units of the ring of integers mod n is phi(n). So we deduce that phi(mn)=phi(m)phi(n), as required.

printable version
chaos

Euler Phi function ring theory Chinese remainder theorem coprime
The Golden Sayings of Epictetus, 146 multiplicative group direct product prime
Wikipedia Mathematics The Truth Behind the da Vinci Code Leonardo da Vinci and the Internet leash law
unit Ring IFF The Da Vinci Code
Leonardo da Vinci Syndrome I Euler's theorem RSA
totient transcendental DTD Euler
Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.
  Epicenter
Login
Password

password reminder
register

Everything2 Help

Cool Staff Picks
Just another sprinkling of indeterminacy
Why do Christians bring their kids up as Christians?
How to DJ
a snapshot of time
Requirements for good wine fermentation
Giving Your Cat a Pill (and your little dog, too!)
1977 Fonseca Vintage Port
Jesus Christ Trigonal Planar
penis captivus
Trieste
Admission essay
An Intelligent Woman
Baking bread
Mardi Gras celebrations in the US other than New Orleans: an observation
New Writeups
SubSane
Making Love to a 9-Foot Woman(person)
Ouzo
Thoughts(idea)
antigravpussy
I fall silent, listening. The breadcrumbs are talking about us(person)
calgon
Buffalo Bill by the pool(poetry)
gate
Anarchy is Order(idea)
ushdfgakjasgh
Scribeling(thing)
XWiz
Trism(review)
artman2003
Briefcase Full of Souls - Part I(fiction)
Dreamvirus
Alan Ladd(person)
waverider37
Harold Holt(person)
The Debutante
Until death do us part(fiction)
Ysardo
a brother to a sister(personal)
antigravpussy
your warm whispers(personal)
Clarke
Multiculturalism(idea)
aneurin
Earl of Landaff(person)
This page courtesy of The Everything Development Company