Definition (Abelian extension).We say
is abelian if it is Galois, and has abelian Galois group.
Similarly for other group terminology (e.g. we can say that
has exponent dividing
to mean that it is Galois, with Galois group having exponent dividing ).