Generalized pseudo-effect algebras
Generalized pseudoeffect algebras (GPE-algebras, for short) are a common generalization of pseudoeffect algebras [the authors, Int. J. Theor. Phys. 40, 685--701 (2001; Zbl 0994.81008)] and generalized effect algebras [\textit{A. Dvurečenskij} and \textit{S. Pulmannová}, New trends in quantum structures. Dordrecht: Kluwer. Bratislava: Ister Science (2000; Zbl 0987.81005)]. Formally, a GPE-algebra is a partial algebra \((E,+,0)\), where \(+\) is a partial binary operation, \(0\) is a fixed element of \(E\), and the following axioms are fulfilled for all \(a,b,c \in E\): (GPE1) if either of the sums \((a+b)+c\) and \(a +(b+c)\) exists, then so does the other one, and both are equal, (GPE2) if \(a + b\) exists, then \(d + a = a + b = b + e\) for some \(d\) and \(e\), (GPE3) if \(a + b = a + c\) or \(b + a = c + a\), then \(b = c\), (GPE4) if \(a + b = 0\), then \(a = 0 = b\), (GPE5) \(a + 0 = a = 0 + a\) (in (GPE3)--(GPE5), an equation \(t_1 = t_2\) is to be read as ``both \(t_1\) and \(t_2\) exist and are equal). Such an algebra arises from the positive cone \(G^+\) of a po-group \((G,+,0,\leq)\) as follows. Let \(G_0\) be a nonempty subset of \(G^+\) such that, for all \(a,b \in G_0\) with \(a \leq b\), \(a - b \in G_0\) and \(-b + a \in G_0\). If \(+_0\) is the restriction of \(+\) to \(G_0\), then \((G_0,+_0,0)\) is a GPE-algebra. Two conditions that are sufficient for a GPE-algebra \(E\) to be obtainable this way are presented: (A) \(E\) is a meet-semilattice and fulfills the weak Riesz decomposition property, and (B) \(E\) is directed and fulfills the commutational Riesz decomposition property. (These versions of the Riesz decomposition property are defined for GPE-algebras just in the same way as in pseudoeffect algebras.) Furthermore, some properties of the representing groups of GPE-algebras are studied. In particular, it is shown that the category of GPE-algebras satisfying (A) is equivalent to a certain category whose objects are the pairs of the kind \((G,G_0)\), where \(G\) is an \(\ell\)-group and \(G_0\) is a subset of \(G\) as described above.NEWLINENEWLINEFor the entire collection see [Zbl 0970.00009].
- Prelattice-generalized pseudo-effect algebras
- Abelian extensions of partially ordered partial monoids
- Congruences and ideals in generalized pseudoeffect algebras revisited
- Direct limits of generalized pseudo-effect algebras with the Riesz decomposition properties
- Generalized pseudo-EMV-effect algebras
- Unitizing a generalized pseudo effect algebra.
- Riesz ideals in generalized pseudo effect algebras and in their unitizations
- Archimedeanness and the MacNeille completion of pseudoeffect algebras and po-groups
- Decomposition of pseudo-effect algebras and the Hammer-Sobczyk theorem
- Kite \(n\)-perfect pseudo effect algebras
- Lexicographic effect algebras
- Unitizations of generalized pseudo effect algebras and their ideals
- scientific article; zbMATH DE number 2086168 (Why is no real title available?)
- scientific article; zbMATH DE number 5952664 (Why is no real title available?)
- On a new construction of pseudo effect algebras
- Generalized effect algebras with Riesz decomposition property
- Generalizations of pseudo MV-algebras and generalized pseudo effect algebras
- Uniqueness of algebraic unitizations of generalized pseudo effect algebras
- Pseudo weak effect algebras and pseudo weak D-posets
- Weak commutative pseudoeffect algebras
- scientific article; zbMATH DE number 2236752 (Why is no real title available?)
- Pseudoeffect algebras. I: Basic properties
- Pseudoeffect algebras. II: Group representations
- Pseudo-effect algebras as total algebras
- Pseudo-BCK algebras as partial algebras
- Algebras in the positive cone of po-groups
- Quantum structures versus partially ordered groups
- On two versions of the Loomis-Sikorski theorem for algebraic structures
This page was built for publication: Generalized pseudo-effect algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2784593)
