Hull determination and type decomposition for a generalized effect algebra

Abstract

In this article, we show that certain generalized boolean subalgebras of the exocenter of a generalized effect algebra (GEA) determine hull systems on the GEA in a manner analogous to the determination of a hull mapping on an effect algebra (EA) by its set of invariant elements. We show that a hull system on a GEA E induces a hull mapping on each interval E[0, p] in E, and, using hull systems, we identify certain special elements of E (e.g., η-subcentral elements, η-monads, and η-dyads). We also extend the type-decomposition theory for EAs to GEAs.