Congruences and ideals in pseudo effect algebras as total algebras (Q989692): Difference between revisions

Congruences and ideals in pseudo-effect algebras and their total algebra versions are studied. It is shown that every congruence of the total algebra induces a Riesz congruence in the corresponding pseudo-effect algebra. Conversely, to every normal Riesz ideal in a pseudo-effect algebra there is a total algebra in which the given ideal induces a congruence of the total algebra. Ideals of total algebras corresponding to lattice-ordered pseudo-effect algebras are characterized and it is shown that they coincide with normal Riesz ideals in the pseudo-effect algebras.