A hierarchy of partial abelian structures is considered. In an order of decreasing generality, these structures include partial abelian monoids (PAM), cancellative PAMs (CPAM), effect algebras (or D-posets), orthoalgebras, orthomodular posets (OMP) and orthomodular lattices (OML). If P is a PAM, the concepts of a congruence on P and a quotient P// are defined. Similar definitions are given for quotients of higher level categories in the hierarchy. The notion of a Riesz ideal I on a CPAM P is defined and it is shown that I generates a congruence on P. The corresponding quotients P/I for categories in the hierarchy are studied. It is shown that a subset I of an OML is a Riesz ideal if and only if I is a p-ideal. Moreover, for effect algebras, we show that congruences generated by Riesz ideals are precisely those that are given by a perspectivity. The paper includes a large number of counterexamples and examples that illustrate various concepts.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
customersupport@researchsolutions.com
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.