The exocenter of a generalized effect algebra (Q442069)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The exocenter of a generalized effect algebra |
scientific article |
Statements
The exocenter of a generalized effect algebra (English)
0 references
9 August 2012
0 references
A generalized effect algebra is obtained from an effect algebra if we do not require the existence of the greatest element. Conversely, it can be canonically embedded into an effect algebra by the procedure of unitization. The exocenter is a collection of mappings which, in effect algebras, correspond to projections on central ideals (equivalently, on direct summands). It is a boolean algebra. The authors generalize different types of orthocompleteness from effect algebras to generalized effect algebras, in particular Dedekind orthocompleteness and orthocompleteness with respect to the exocenter. Properties of the exocentral cover (as a generalization of the central cover) are established. The notion of a hull mapping for an effect algebra is generalized to a hull system for a generalized effect algebra. The paper represents a deep and detailed study of this known area of research.
0 references
effect algebra
0 references
orthosummable family
0 references
unitization
0 references
boolean algebra
0 references
center
0 references
exocenter
0 references