Registry · Definition
I.D88
tau-effective
formalized
I.D88 — Cyclotomic Fields
Cyclotomic fields: roots of unity z^n = 1 mod m, primitive roots, and their connection to CRT decomposition. The Galois group Gal(Q(zeta_n)/Q) is isomorphic to (Z/nZ)^times.
Book I
Part 17
Ch. 79