Let
be a sequence of integers.
We call the sequence eventually periodic if
there is an
and a
such that
, for all
.
The smallest
for which this holds if called the
period of the sequence.
It is well-known that a real number is rational if and only if it is eventually periodic.
proof: Let
First, to illustrate the ideas in a simpler setting,
let us consider the special case of the expansion of the number
,
prime not equal to
or to
. By the above
proof, we know that if
is any integer satisfying
then
is periodic
with period
. However, this period may not be the smallest
possible period (remember, a sequence of integers which repeats every
times will also repeat every
times, for instance).
We are naturally lead to the following concept
(one which also occurs later in the study of group theory as well).
The above proof implies that the following result holds.
(2) Fermat's little theorem gives
.
The order of
modulo
is
, so
is period
.
(3) Fermat's little theorem gives
.
The order of
modulo
is
, so
is period
.
(4) Fermat's little theorem gives
.
The order of
modulo
is
, so
is period
.
This raises the question: When is the period of
as long as possible (i.e.,
)?
We shall call such a prime a full period prime.
A curiosity about full-period primes: if the prime is
,
the period is p-1, so look at the first
and last
digits in
the expansion of
. Those two
-digit numbers add up
to
.
(b)
is 0.04347826086 95652173913 043... and
![]()
We are naturally lead to the following concept (one which also occurs later under a different name in the study of cyclic groups).
Thus the question
``When is the period of
as long as possible?''
becomes ``For which primes
is
a primitive root mod
?"
To our knowledge, there does not seem to be a simple
answer to this question.
Artin conjectured in the 1920s the following statement.
So that means that
should be the primitive
root for infinitely many primes
, so there should be infinitely
many full-period primes. Quantitatively, the conjecture boils down
to
of all primes asymptotically have
as primitive root
(the
is really an approximation to Artin's constant;
it's
). Although many people
have tried, Artin's conjecture is not yet proven.