Baer semirings and Baer \(*\)-semirings of cone-preserving maps (Q1355236): Difference between revisions

Let \(K\) be a proper (that is, closed, pointed, fully convex) cone in \(\mathbb{R}^n\) and \(\pi(K)\) the set (semiring) of all matrices in \(\mathbb{R}^{n\times n}\) that leave \(K\) invariant. The authors introduce the concepts of Baer semiring and Baer *-semiring and characterize those proper cones \(K\) for which \(\pi(K)\) is a right or left Baer semiring. In particular, they prove the following results: (1) \(\pi(K)\) is a right Baer semiring if and only if \(K\) is a projectionally exposed cone; (2) \(\pi(K)\) is a Baer *-semiring if and only if \(K\) is a perfect cone; (3) the set of all projections in \(\pi(K)\) forms a complete lattice under the partial order \(p\leq q\) iff \(\text{Im } p\subseteq \text{Im }q\), and the lattice contains, as a subsemilattice, the lattice of all o.p.-exposed faces of \(K\). In addition, a new characterization of perfect cones is also obtained, the concepts of equivalence of idempotents and *-equivalence of projections in \(\pi(K)\) are described, and geometric characterizations of these concepts are given.