Cyclotomic extension
A field extension obtained by adjoining a primitive n-th root of unity, K(ζ_n)/K.
Cyclotomic extension
Definition. Let be a field and let be a primitive n-th root of unity in some extension field. The extension
is called a cyclotomic extension. It is a simple extension generated by a root of the cyclotomic polynomial .
Over , the cyclotomic field is Galois over , and its Galois group is abelian (in fact isomorphic to ).
See also. Galois group , splitting field .
Examples.
- , a quadratic extension.
- , also quadratic.
- has degree since .