Homepage › Solution manuals › Kenneth Ireland › A Classical Introduction to Modern Number Theory › Exercise 4.2
Exercise 4.2
Compute all primitive roots for , and .
Answers
Proof. . Then .
Since , and , is a primitive element modulo .
The other primitive elements modulo are congruent to the powers , namely .
, so
is the set of the generators of .
Similarly :
: is the set of the generators of .
: is the set of the generators of .
: is the set of the generators of .
I obtain these results with the direct orders in S.A.G.E. :
p = 19; Fp = GF(p); a = Fp.multiplicative_generator() print([a^k for k in range(1,p) if gcd(k,p-1) == 1])
□