Definition (Abelian extension). We say L∕K is abelian if it is Galois, and has abelian Galois group.

Similarly for other group terminology (e.g. we can say that L∕K has exponent dividing n to mean that it is Galois, with Galois group having exponent dividing n).