Skip to main content
Log in

Congruences and ideals in pseudoeffect algebras

  • Original Paper
  • Published:
Soft Computing Aims and scope Submit manuscript

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 aE, 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 = ~.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

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

    Article  MATH  MathSciNet  Google Scholar 

  • Chevalier G, Pulmannová S (2000) Some ideal lattices in partial Abelian monoids and effect algebras. Order 17(1):72–92

    Article  Google Scholar 

  • 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

    Google Scholar 

  • Dvurečenskij A, Vetterlein T (2001b) Pseudoeffect algebras I Basic properties. Inter J Theor Phys 40:685–701

    Article  Google Scholar 

  • Dvurečenskij A, Vetterlein T (2001c) Pseudoeffect algebras. II.Group representations. Inter J Theor Phys 40:685–701

    Article  Google Scholar 

  • Foulis D, Bennett MK (1994) Effect algebras and unsharp quantum logics. Found Phys 24:1331–1352

    Article  MathSciNet  Google Scholar 

  • Georgescu G, Iorgulescu A (2001) Pseudo-MV algebras. Mult Val Logic 6:95–135

    MATH  MathSciNet  Google Scholar 

  • Giuntini R, Greuling H (1989) Towards a formal language for unsharp properties. Found Phys 19:931–945

    Article  MathSciNet  Google Scholar 

  • Gudder S, Pulmannová S (1997) Quotient of partial Abelian monoids. Algebra Universalis 38:395–421

    Article  MATH  MathSciNet  Google Scholar 

  • Jenča G (2001) A note on ideals in generalized effect algebras. Soft Computing 5:376–380

    Article  Google Scholar 

  • Jenča G, Pulmannovă S (1999) Ideals and quotients in lattice ordered effect algebras. Tatra Mt Math Publ 16:81–85

    MathSciNet  Google Scholar 

  • Kalmbach G (1983) Orthomodular lattices. Academic, London

    MATH  Google Scholar 

  • Kôpka F (1992) D-posets of fuzzy sets. Tatra Mt Math Publ 1:83–87

    MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Hai-Yang Li.

Additional information

This work was supported by the National Natural Science Foundation of China (Grant No. 10271069).

Rights and permissions

Reprints 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

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00500-007-0209-4

Keywords