On elements with negative squares
Ralph E. DeMarr, Arthur Steger · Proceedings of the American Mathematical Society · 1972
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.