Congruences generated by ideals of the compatibility center of lattice effect algebras (Q1955480)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Congruences generated by ideals of the compatibility center of lattice effect algebras |
scientific article |
Statements
Congruences generated by ideals of the compatibility center of lattice effect algebras (English)
0 references
11 June 2013
0 references
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)].
0 references
effect algebra
0 references
lattice effect algebra
0 references
compatibility center
0 references
