‣ IsAbelianNumberField
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)).
true
IsNumberField
GaloisGroup