Exercise 2.8.29* (Least period of $1^1,2^2,3^3,\ldots$)

Show that the sequence 1 1 , 2 2 , 3 3 , , considered ( mod p ) is periodic with least period p ( p 1 ) .

Answers

Proof. Let f : defined by f ( k ) = k k .

We show first that p ( p 1 ) is a period of f modulo p .

f ( k + p ( p 1 ) ) = ( k + p ( p 1 ) ) k + p ( p 1 ) k k + p ( p 1 ) k k ( k p 1 ) p .
  • If p k , then k p 1 1 ( mod p ) by Fermat’s Theorem, thus f ( k + p ( p 1 ) ) f ( k ) ( mod p ) .
  • I f p k , then f ( k + p ( p 1 ) ) f ( k ) 0 ( mod p ) .

In both cases, f ( k + p ( p 1 ) ) f ( k ) ( mod p ) , so p ( p 1 ) is a period of the sequence ( [ k ] p k ) k 1 .

We recall some elementary properties of periodic sequences.

If l > 0 is a period modulo p of f : , by definition f ( a + l ) f ( a ) ( mod p ) for all positive integers a . By induction, f ( a + ul ) f ( u ) ( mod p ) for all u 0 . If u < 0 satisfies b = a + ul > 0 , then f ( b ) f ( b + ( u ) l ) ( mod p ) , thus f ( a + ul ) = f ( a ) . Therefore, for all positive integers a , b ,

a b ( mod l ) f ( a ) f ( b ) ( mod p ) . (1)

Let h > 0 be the least period of f , so that h p ( p 1 ) . Since f is not constant, h > 1 . We show first that p h .

Assume for contradiction that p h , so that p h = 1 . Then there exist some integers λ 0 , μ 0 such that λ 0 p + μ 0 h = 1 . Since ( λ 0 + jh ) p + ( μ 0 jp ) h = 1 for all integers j , we can choose j such that λ = λ 0 + jh , μ = μ 0 jp satisfy λ > 0 and λp + μh = 1 .

By (1), since λp > 0 , and λp + μh = 1 > 0 , then

1 = f ( 1 ) = f ( λp + μh ) f ( λp ) ( λp ) λp 0 ( mod p ) .

The contradiction 1 0 ( mod p ) shows that p h .

So we can write h = pd for some positive integer d . Now we show that p 1 d .

Let a > 0 be a primitive root modulo p . Then, using Fermat’s Theorem,

f ( a ) = a a f ( a + pd ) = ( a + pd ) a + pd a a + pd = a a ( a p ) d a a a d ( mod p ) .

Since a is a primitive root modulo p , a is prime to p , and p ( a a ( a d 1 ) ) , thus

a d 1 ( mod p ) .

The order of a is p 1 , so p 1 d . We have proved that p ( p 1 ) h , where h p ( p 1 ) , so h = p ( p 1 ) is the least period. □

User profile picture
2024-09-20 08:09
Comments