Definitions for "Abelian extension"
In abstract algebra, an abelian extension is a field extension for which the associated Galois group is abelian. When the Galois group is a cyclic group, we have a cyclic extension.