Understanding Number Theory Proofs: Order of Elements in Finite Groups

Join the discussion
Registration is free. Start your own thread to ask a follow-up.
3 replies · 1K views
cragar
Messages
2,546
Reaction score
3
I just want to make sure I understand these number theory proofs.
[itex]b^{\phi (n)}=1mod(n)[/itex]
[itex]\phi (n)[/itex] is the order of the group, so b to some power will equal the identity. so that's why it is equal to one. [itex]b^p=bmod(p)[/itex]
[itex]b^p=b^{p-1}b[/itex]
[itex]b^{p-1}[/itex] produces the identity since p-1 is the order of the group. so that's why it equals b.
 
Physics news on Phys.org
Can you clarify what statement you are trying to prove and which statements are the proof? Is b any arbitrary element of the group? Are you trying to show that p = Φ(n)? What is n?
 
And what group are you talking about?

I think you're trying to prove Euler and Fermat's little theorem somehow, but then you'll need to put in some more details...
 
Its the multiplicative group mod n , n is a natural number. now b is an element of the group. so b to power of the order of the group will contain the order of b.
that is [itex]b^m=e[/itex] since m is contained in the order of the group,we get the identity. This proves [itex]b^{\phi (n)}=1mod (n)[/itex].
the second one [itex]b^p=b mod (p) = b^{p-1}b=b^{\phi (p)}b= b mod (p)[/itex]
I will prove that the order of an element exists. sine b is an element of the group then we can take powers of b like [itex]b^2 , b^3, ... b^n ...[/itex] now for some m and n and m not equal to n,since our group is finite.
we get [itex]b^m=b^n[/itex] now we multiply both sides by [itex]b^{-n}[/itex]
so now [itex]b^{m-n}=e[/itex].
m-n is the order of b.
 
Last edited: