Congruences generated by ideals of the compatibility center of lattice effect algebras (Q1955480)

In this paper it is proved that for every lattice effect algebra the system of all congruences generated by the prime ideals of the compatibility center separates the elements. This is a common generalization of Chag's representation theorem from 1950 and a result of \textit{W. H. Graves} and \textit{S. A. Selesnick} [Colloq. Math. 27, 21--30 (1973; Zbl 0229.06006)].