Feigelstock, S.
(Algebra and Discrete Mathematics, 2003)
A field F is n-real if −1 is not the sum of n
squares in F. It is shown that a field F is m-real if and only
if rank (AAt
) = rank (A) for every n × m matrix A with entries
from F. An n-real field F is n-real closed ...