Weakly associative lattice rings
A lattice-ordered ring is called an OIRI-ring if each of its order ideals is a ring ideal. Generalizing earlier work of Basly and Triki, OIRI-rings are characterized as those -rings such that is contained in an -ring with an identity element that is a strong order unit for some nil -ideal of . In particular, if denotes the set of nilpotent elements of the -ring , then is an OIRI-ring if and only if is contained in an -ring with an identity element that is a strong order unit....