An algebraic version of the Cantor-Bernstein-Schröder theorem

Hector Freytes

Czechoslovak Mathematical Journal (2004)

  • Volume: 54, Issue: 3, page 609-621
  • ISSN: 0011-4642

Abstract

top
The Cantor-Bernstein-Schröder theorem of the set theory was generalized by Sikorski and Tarski to σ -complete boolean algebras, and recently by several authors to other algebraic structures. In this paper we expose an abstract version which is applicable to algebras with an underlying lattice structure and such that the central elements of this lattice determine a direct decomposition of the algebra. Necessary and sufficient conditions for the validity of the Cantor-Bernstein-Schröder theorem for these algebras are given. These results are applied to obtain versions of the Cantor-Bernstein-Schröder theorem for σ -complete orthomodular lattices, Stone algebras, B L -algebras, M V -algebras, pseudo M V -algebras, Łukasiewicz and Post algebras of order n .

How to cite

top

Freytes, Hector. "An algebraic version of the Cantor-Bernstein-Schröder theorem." Czechoslovak Mathematical Journal 54.3 (2004): 609-621. <http://eudml.org/doc/30886>.

@article{Freytes2004,
abstract = {The Cantor-Bernstein-Schröder theorem of the set theory was generalized by Sikorski and Tarski to $\sigma $-complete boolean algebras, and recently by several authors to other algebraic structures. In this paper we expose an abstract version which is applicable to algebras with an underlying lattice structure and such that the central elements of this lattice determine a direct decomposition of the algebra. Necessary and sufficient conditions for the validity of the Cantor-Bernstein-Schröder theorem for these algebras are given. These results are applied to obtain versions of the Cantor-Bernstein-Schröder theorem for $\sigma $-complete orthomodular lattices, Stone algebras, $BL$-algebras, $MV$-algebras, pseudo $MV$-algebras, Łukasiewicz and Post algebras of order $n$.},
author = {Freytes, Hector},
journal = {Czechoslovak Mathematical Journal},
keywords = {lattices; central elements; factor congruences; varieties; lattices; central elements; factor congruences; varieties},
language = {eng},
number = {3},
pages = {609-621},
publisher = {Institute of Mathematics, Academy of Sciences of the Czech Republic},
title = {An algebraic version of the Cantor-Bernstein-Schröder theorem},
url = {http://eudml.org/doc/30886},
volume = {54},
year = {2004},
}

TY - JOUR
AU - Freytes, Hector
TI - An algebraic version of the Cantor-Bernstein-Schröder theorem
JO - Czechoslovak Mathematical Journal
PY - 2004
PB - Institute of Mathematics, Academy of Sciences of the Czech Republic
VL - 54
IS - 3
SP - 609
EP - 621
AB - The Cantor-Bernstein-Schröder theorem of the set theory was generalized by Sikorski and Tarski to $\sigma $-complete boolean algebras, and recently by several authors to other algebraic structures. In this paper we expose an abstract version which is applicable to algebras with an underlying lattice structure and such that the central elements of this lattice determine a direct decomposition of the algebra. Necessary and sufficient conditions for the validity of the Cantor-Bernstein-Schröder theorem for these algebras are given. These results are applied to obtain versions of the Cantor-Bernstein-Schröder theorem for $\sigma $-complete orthomodular lattices, Stone algebras, $BL$-algebras, $MV$-algebras, pseudo $MV$-algebras, Łukasiewicz and Post algebras of order $n$.
LA - eng
KW - lattices; central elements; factor congruences; varieties; lattices; central elements; factor congruences; varieties
UR - http://eudml.org/doc/30886
ER -

References

top
  1. Distributive Lattices, University of Missouri Press, Columbia, 1974. (1974) MR0373985
  2. Lattice Theory, Third Edition, AMS, Providence, 1967. (1967) MR0227053
  3. Łukasiewicz-Moisil Algebras, North-Holland, Amsterdam, 1991. (1991) MR1112790
  4. Representation of Łukasiewicz and Post algebras by continuous functions, Colloq. Math. 24 (1972), 127–138. (1972) Zbl0246.02043MR0307996
  5. Lectures at Buenos Aires University, 2000. (2000) 
  6. Algebraic Foundations of Many-Valued Reasoning, Kluwer, Dordrecht, 2000. (2000) MR1786097
  7. An algebraic analysis of product logic, Multiple Valued Logic 5 (2000), 45–65. (2000) MR1743553
  8. 10.1023/A:1026299723322, Czechoslovak Math.  J 53 (2003), 437–447. (2003) MR1983464DOI10.1023/A:1026299723322
  9. On interval homogeneous orthomodular lattices, Comment. Math. Univ. Carolin. 42 (2001), 23–30. (2001) MR1825370
  10. 10.1017/S1446788700036806, J.  Austral. Math. Soc. (Ser.  A) 72 (2002), 427–445. (2002) DOI10.1017/S1446788700036806
  11. 10.1007/s005000100136, Soft Computing 5 (2001), 347–354. (2001) DOI10.1007/s005000100136
  12. Pseudo M V -algebras, 6 (2001), 95–135. (2001) MR1817439
  13. Metamathematics of Fuzzy Logic, Kluwer, Dordrecht, 1998. (1998) MR1900263
  14. Commutative, residuated l -monoids, In: Non-Classical Logics and their Applications to Fuzzy Subset. A Handbook on the Mathematical Foundations of Fuzzy Set Theory, U.  Höhle, E. P. Klement (eds.), Kluwer, Dordrecht, 1995. (1995) MR1345641
  15. A theorem of Cantor-Bernstein type for orthogonally σ -complete pseudo M V -algebras, Czechoslovak Math.  J (to appear). (to appear) MR1889037
  16. 10.1090/S0002-9947-1958-0095135-X, Trans. Amer. Math. Soc. 87 (1958), 485–491. (1958) Zbl0228.06003MR0095135DOI10.1090/S0002-9947-1958-0095135-X
  17. Handbook of Boolean Algebras, Vol. 1 (J. Donald Monk, ed.), North Holland, Amsterdam, 1989. (1989) MR0991565
  18. Residuated Lattices: An algebraic glimpse at logics without contraction, Preliminary report, 2000. (2000) 
  19. Theory of Symmetric Lattices, Springer-Verlag, Berlin, 1970. (1970) MR0282889
  20. A generalization of theorem of Banach and Cantor-Bernstein, Colloq. Math. 1 (1948), 140–144. (1948) MR0027264
  21. Cardinal Algebras, Oxford University Press, New York, 1949. (1949) Zbl0041.34502MR0029954

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.