No abstract

No 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.

This paper extends the results of A. L. Foster (1) on elementary factorization in Boolean-like rings to commutative π-regular rings. After proving some preliminary lemmas we proceed to the partition of the set of non-units of a π-regular ring into irreducible and composite elements. Finally, we prove a number of theorems concerning factorization rings, weakly unique factorization rings, principal ideal rings, etc. The principal result is that a π-regular ring is a weakly unique factorization ring if and only if it is a principal ideal ring.

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.It is a simple matter, using the Perron-Frobenius theorem [3], to show that the square of a real (finite) matrix cannot consist entirely of negative entries. In this paper we give an alternate proof of this result which makes use only of some elementary order properties. It is appropriate, therefore, to construct a proof within the more general framework of partially ordered linear algebras. The main theorem will then be valid not only for finite matrices but also for (row-finite) infinite matrices as well as operators on a Banach space [1]. We also generalize a result due to Birkhoff and Pierce [2] which states that the complex number field regarded as a linear algebra over the reals admits no lattice order.Definition. A partially ordered linear algebra (p.o.l.a.) P is a real associative linear algebra on which there is defined a partial ordering which satisfies the following conditions (x, y, z denote elements of P and a. denotes a real number):(a) if x ^ y then x + z ^ y + z,