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

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