View Single Post
Old 2018-01-29, 14:42   #6
axn
 
axn's Avatar
 
Jun 2003

121118 Posts
Default

3^k+2 == 3^x+2 (mod 3^x+2)

3^k == 3^x (mod 3^x+2)

3^(k-x) == 1 (mod 3^x+2)

QED

EDIT:

In PARI, you would do znorder( Mod(3, 3^x+2))

Last fiddled with by axn on 2018-01-29 at 14:46
axn is offline   Reply With Quote