Baer semirings and Baer \(*\)-semirings of cone-preserving maps (Q1355236)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Baer semirings and Baer \(*\)-semirings of cone-preserving maps
scientific article

    Statements

    Baer semirings and Baer \(*\)-semirings of cone-preserving maps (English)
    0 references
    0 references
    0 references
    13 January 1998
    0 references
    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.
    0 references
    0 references
    0 references
    cone-preserving map
    0 references
    semiring of matrices
    0 references
    Baer semiring
    0 references
    Baer *-semiring
    0 references
    perfect cones
    0 references