Maximal cyclotomic extension (source code)

= Maximal cyclotomic extension

For a field $K$ inside a fixed algebraic closure, the maximal cyclotomic extension is the union of the fields $K(\zeta_n)$ generated by roots of unity.