Cyclotomic Fields
By adjoining a primitive nth root of unity to Q, one obtains the nth cyclotomic field Fn. This field contains all nth roots of unity and is the splitting field of the nth cyclotomic polynomial over Q. The field extension Fn/Q has degree φ(n) and its Galois group is naturally isomorphic to the multiplicative group of units of the ring Z/nZ.
As the Galois group of Fn/Q is abelian, this is an abelian extension. Every subfield of a cyclotomic field is an abelian extension of the rationals. In these cases Galois theory can be written out explicitly in terms of Gaussian periods: this theory from the Disquisitiones Arithmeticae of Gauss was published many years before Galois.
Conversely, every abelian extension of the rationals is such a subfield of a cyclotomic field — this is the content of a theorem of Kronecker, usually called the Kronecker–Weber theorem on the grounds that Weber completed the proof.
Read more about this topic: Root Of Unity
Famous quotes containing the word fields:
“Most books belong to the house and street only, and in the fields their leaves feel very thin. They are bare and obvious, and have no halo nor haze about them. Nature lies far and fair behind them all. But this, as it proceeds from, so it addresses, what is deepest and most abiding in man. It belongs to the noontide of the day, the midsummer of the year, and after the snows have melted, and the waters evaporated in the spring, still its truth speaks freshly to our experience.”
—Henry David Thoreau (1817–1862)