Proof.
is a bijection between the set of roots of
and the set of roots of
, so
.
As
is a character of order 3, the characters whose order divides 3 are
. Using Prop. 8.1.5, we obtain, if
,
We know (Theorem 1) that
, so
As
, and as
, then
, and
If
, then from Exercise 8.6 we have
With
(if
), we obtain
From Prop. 8.3.4 we know that
.
, and
, so
.
Writing
, we obtain
(the unicity of
if proved in Exercise 8.13).
Conclusion :
, where
.
If
, 3 is a primitive element, and
in
, therefore
.
,
, and
, so
if
,
. □