Abelian extension (source code)

= Abelian extension

An abelian extension is a <Galois extension> whose <Galois group> is an <abelian group>.