Cyclotomic Field
A cyclotomic field Q(zeta) is obtained by adjoining a primitive root of unity zeta, say zeta^n=1, to the rational numbers Q. Since zeta is primitive, zeta^k is also an nth root of unity and Q(zeta) contains all of the nth roots of unity,
For example, when n=3 and zeta=(-1+isqrt(3))/2, the cyclotomic field is a quadratic field
where the coefficients b_i are contained in Q.
The Galois group of a cyclotomic field over the rationals is the multiplicative group of Z_n, the ring of integers (mod n). Hence, a cyclotomic field is a Abelian extension. Not all cyclotomic fields have unique factorization, for instance, Q(zeta), where zeta^(23)=1.
See also
Extension Field, Number FieldThis entry contributed by Todd Rowland
Explore with Wolfram|Alpha
More things to try:
References
Fröhlich, A. and Taylor, M. Ch. 6 in Algebraic Number Theory. New York: Cambridge University Press, 1991.Koch, H. "Cyclotomic Fields." §6.4 in Number Theory: Algebraic Numbers and Functions. Providence, RI: Amer. Math. Soc., pp. 180-184, 2000.Weiss, E. Algebraic Number Theory. New York: Dover, 1998.Referenced on Wolfram|Alpha
Cyclotomic FieldCite this as:
Rowland, Todd. "Cyclotomic Field." From MathWorld--A Wolfram Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/CyclotomicField.html