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
    0 references
    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
    0 references
    effect algebra
    0 references
    orthosummable family
    0 references
    unitization
    0 references
    boolean algebra
    0 references
    center
    0 references
    exocenter
    0 references

    Identifiers