Proving Cauchy Sequences with Totient Theorem

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 3K views
Dragonfall
Messages
1,023
Reaction score
5

Homework Statement



If p does not divide a, show that [tex]a_n=a^{p^{n}}[/tex] is Cauchy in [tex]\mathbb{Q}_p[/tex].

The Attempt at a Solution



We can factor [tex]a^{p^{n+k}}-a^{p^n}=a^{p^n}(a^{p^{n+k}-1}-1)[/tex]. p doesn't divide [tex]a^{p^n}[/tex] so somehow I must show that [tex]a^{p^{n+k}-1}-1[/tex] is divisible by larger and larger powers of p. I feel it has something to do with the totient theorem, but I can't get it to work.
 
Last edited:
Physics news on Phys.org