Number field with positive algebraic norm
This article defines a number field property: a property that can be evaluated for a number field
Statement
A number field with positive algebraic norm is a number field such that the algebraic norm of any nonzero element of the field is a positive rational number.
In particular, the norm of any nonzero element in the ring of integers is a positive integer.