Proving Cauchy Sequences with Totient Theorem

  • #1
1,030
4

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:
  • #2
Anyone help?
 

Suggested for: Proving Cauchy Sequences with Totient Theorem

Replies
6
Views
731
Replies
1
Views
553
Replies
1
Views
520
Replies
5
Views
413
Replies
1
Views
319
Replies
7
Views
748
Back
Top