Hull determination and type decomposition for a generalized effect algebra (Q1936491)

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.