Homepage › Solution manuals › Ivan Niven › An Introduction to the Theory of Numbers › Exercise 2.8.29* (Least period of $1^1,2^2,3^3,\ldots$)
Exercise 2.8.29* (Least period of $1^1,2^2,3^3,\ldots$)
Show that the sequence , considered is periodic with least period .
Answers
Proof. Let defined by .
We show first that is a period of modulo .
- If , then by Fermat’s Theorem, thus .
- I f , then .
In both cases, , so is a period of the sequence .
We recall some elementary properties of periodic sequences.
If is a period modulo of , by definition for all positive integers . By induction, for all . If satisfies , then , thus . Therefore, for all positive integers ,
Let be the least period of , so that . Since is not constant, . We show first that .
Assume for contradiction that , so that . Then there exist some integers such that . Since for all integers , we can choose such that satisfy and .
By (1), since , and , then
The contradiction shows that .
So we can write for some positive integer . Now we show that .
Let be a primitive root modulo . Then, using Fermat’s Theorem,
Since is a primitive root modulo , is prime to , and , thus
The order of is , so . We have proved that , where , so is the least period. □