Discriminant of elements of a number field

ID: discriminant-of-elements-of-a-number-field

For elements of a degree- number field with embeddings , their discriminant is
It is nonzero exactly when the elements form a -basis.

New to topics? Read the docs here!