Ideals and quotients in lattice ordered effect algebras (Q5953514)

The authors study the correspondence between ideals and congruences in effect algebras. Kernels of congruences are exactly Riesz ideals. The quotient of a lattice-ordered effect algebra with respect to a Riesz ideal \(I\) is linearly ordered iff \(I\) is a prime ideal, and the quotient is an MV-algebra iff \(I\) is an intersection of prime ideals. Commutators play a key role in orthomodular lattices. As a generalization, the authors define commutators in lattice-ordered effect algebras and study their properties. The quotient with respect to a Riesz ideal \(I\) is an MV-algebra iff \(I\) contains all generalized commutators. Several open questions are formulated at the end of the paper.