Hull determination and type decomposition for a generalized effect algebra (Q1936491): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 16:32, 1 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Hull determination and type decomposition for a generalized effect algebra |
scientific article |
Statements
Hull determination and type decomposition for a generalized effect algebra (English)
0 references
5 February 2013
0 references
A \textit{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 \textit{unitization}. The \textit{exocenter} is a Boolean algebra of mappings which, in effect algebras, correspond to projections on central ideals (equivalently, on direct summands); see [the authors, Rep. Math. Phys. 68, No. 3, 347--371 (2011; Zbl 1257.81003)]. The notion of a hull mapping for an effect algebra (see [the authors, Math. Slovaca 61, No. 3, 485--522 (2011; Zbl 1265.81003)]) is generalized to a hull system for a generalized effect algebra. The authors show that certain generalized Boolean subalgebras of the exocenter determine hull systems. Using hull systems, certain special elements are identified (e.g., \(\eta\)-subcentral elements, \(\eta\)-monads, and \(\eta\)-dyads). The type-decomposition theory for effect algebras is extended to generalized effect algebras. The paper represents an extensive and detailed study of this new area of research.
0 references
generalized effect algebra
0 references
orthosummable family
0 references
unitization
0 references
exocenter
0 references
Dedekind orthocompleteness
0 references
central orthocompleteness
0 references
hull system
0 references
central ideals
0 references
type-decomposition theory
0 references