60.2-3 IsAbelianNumberField
‣ IsAbelianNumberField( F )( property )

returns true if the field F is a number field (see IsNumberField (60.2-2)) that is a Galois extension of the prime field, with abelian Galois group (see GaloisGroup (58.3-1)).