Subextensions of an abelian Galois extension (source code)

= Subextensions of an abelian Galois extension

Every subgroup of an abelian group is normal. Hence every intermediate field of a finite abelian Galois extension is itself Galois over the base field.