Abstract
This paper is devoted to congruences and ideals in pseudoeffect algebras. Let I be a normal ideal in a pseudoeffect algebra E. We show that: (1) the relation ~ I induced by I is a congruence if and only if for every a∈E, I∩ [0,a] is upper directed; (2) the relation ~ I induced by I is a strong congruence if and only if I is a normal weak Riesz ideal in a pseudoeffect algebra E. Moreover, we introduce a stronger concept of congruence—namely Riesz strong congruence—and we prove that, if I is a normal weak Riesz ideal in a pseudoeffect algebra E, then ~ I is a Riesz strong congruence and, conversely, if ~ is a Riesz strong congruence, then I = [0]~ is a normal weak Riesz ideal, and ~ I = ~.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Avallone A, Vitolo P (2003) Congruences and ideals of effect algebras. Order 20:67–77
Chevalier G, Pulmannová S (2000) Some ideal lattices in partial Abelian monoids and effect algebras. Order 17(1):72–92
Dvurečenskij A, Pulmannová S (2000) New trends in quantum structures. Kluwer Academic, Dordrecht, and Ister Science, Bratislava
Dvurečenskij A, Vetterlein T (2001a) Congruences and states on pseudoeffect algebras. Found Phys Lett 14:5
Dvurečenskij A, Vetterlein T (2001b) Pseudoeffect algebras I Basic properties. Inter J Theor Phys 40:685–701
Dvurečenskij A, Vetterlein T (2001c) Pseudoeffect algebras. II.Group representations. Inter J Theor Phys 40:685–701
Foulis D, Bennett MK (1994) Effect algebras and unsharp quantum logics. Found Phys 24:1331–1352
Georgescu G, Iorgulescu A (2001) Pseudo-MV algebras. Mult Val Logic 6:95–135
Giuntini R, Greuling H (1989) Towards a formal language for unsharp properties. Found Phys 19:931–945
Gudder S, Pulmannová S (1997) Quotient of partial Abelian monoids. Algebra Universalis 38:395–421
Jenča G (2001) A note on ideals in generalized effect algebras. Soft Computing 5:376–380
Jenča G, Pulmannovă S (1999) Ideals and quotients in lattice ordered effect algebras. Tatra Mt Math Publ 16:81–85
Kalmbach G (1983) Orthomodular lattices. Academic, London
Kôpka F (1992) D-posets of fuzzy sets. Tatra Mt Math Publ 1:83–87
Author information
Authors and Affiliations
Corresponding author
Additional information
This work was supported by the National Natural Science Foundation of China (Grant No. 10271069).
Rights and permissions
About this article
Cite this article
Li, HY., Li, SG. Congruences and ideals in pseudoeffect algebras. Soft Comput 12, 487–492 (2008). https://doi.org/10.1007/s00500-007-0209-4
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-007-0209-4