On elements with negative squares

Abstract

We prove that in a partially ordered linear algebra no element can have a square which is the negative of an order unit.In particular, the square of a real matrix cannot consist entirely of negative entries.We generalize the well-known theorem that the complex numbers admit no lattice order.