States on weak pseudo EMV-algebras. I. States and states morphisms}

Recently in [17, 18], new algebras, called weak pseudo EMV-algebras, wPEMV-algebras for short, were introduced generalizing pseudo MV-algebras, generalized Boolean algebras and pseudo EMV-algebras. For these algebras a top element is not assumed a priori. For this class of algebras, we define a state as a finitely additive mapping from a wPEMV-algebra into the real interval [0, 1] which preserves a partial addition of two non-interactive elements and attaining the value 1 in some element. It can happen that some commutative wPEMV-algebras are stateless, e.g. cancellative ones. The paper is divided into two parts. Part I deals with basic properties of states and state-morphisms which are wPEMV-homomorphisms from a wPEMV-algebra into the real interval [0, 1] endowed as a commutative wPEMV-algebra. We show that there is a one-to-one correspondence between the set of state-morphisms and the set of maximal and normal ideals having a special property. In Part II, we present an analogue of the Krein-Mil’man theorem applied to the set of states. We characterize the space of the state-morphisms of a wPEMV-algebra without top element as a Hausdorff locally compact space in the weak topology of states and we present its Alexandroff’s one-point compactification. Moreover, we give an integral representation of any (finitely additive) state by a unique regular Borel σ-additive probability measure.