Banaschewski’s theorem for generalized M V -algebras

Ján Jakubík

Czechoslovak Mathematical Journal (2007)

  • Volume: 57, Issue: 4, page 1099-1105
  • ISSN: 0011-4642

Abstract

top
A generalized M V -algebra 𝒜 is called representable if it is a subdirect product of linearly ordered generalized M V -algebras. Let S be the system of all congruence relations ρ on 𝒜 such that the quotient algebra 𝒜 / ρ is representable. In the present paper we prove that the system S has a least element.

How to cite

top

Jakubík, Ján. "Banaschewski’s theorem for generalized $MV$-algebras." Czechoslovak Mathematical Journal 57.4 (2007): 1099-1105. <http://eudml.org/doc/31184>.

@article{Jakubík2007,
abstract = {A generalized $MV$-algebra $\mathcal \{A\}$ is called representable if it is a subdirect product of linearly ordered generalized $MV$-algebras. Let $S$ be the system of all congruence relations $\rho $ on $\mathcal \{A\}$ such that the quotient algebra $\mathcal \{A\}/\rho $ is representable. In the present paper we prove that the system $S$ has a least element.},
author = {Jakubík, Ján},
journal = {Czechoslovak Mathematical Journal},
keywords = {generalized $MV$-algebra; representability; congruence relation; unital lattice ordered group; generalized MV-algebra; representability; congruence relation; unital lattice-ordered group},
language = {eng},
number = {4},
pages = {1099-1105},
publisher = {Institute of Mathematics, Academy of Sciences of the Czech Republic},
title = {Banaschewski’s theorem for generalized $MV$-algebras},
url = {http://eudml.org/doc/31184},
volume = {57},
year = {2007},
}

TY - JOUR
AU - Jakubík, Ján
TI - Banaschewski’s theorem for generalized $MV$-algebras
JO - Czechoslovak Mathematical Journal
PY - 2007
PB - Institute of Mathematics, Academy of Sciences of the Czech Republic
VL - 57
IS - 4
SP - 1099
EP - 1105
AB - A generalized $MV$-algebra $\mathcal {A}$ is called representable if it is a subdirect product of linearly ordered generalized $MV$-algebras. Let $S$ be the system of all congruence relations $\rho $ on $\mathcal {A}$ such that the quotient algebra $\mathcal {A}/\rho $ is representable. In the present paper we prove that the system $S$ has a least element.
LA - eng
KW - generalized $MV$-algebra; representability; congruence relation; unital lattice ordered group; generalized MV-algebra; representability; congruence relation; unital lattice-ordered group
UR - http://eudml.org/doc/31184
ER -

References

top
  1. 10.4064/fm-55-2-113-122, Fund. Math. 55 (1964), 113–122. (1964) Zbl0129.01803MR0168672DOI10.4064/fm-55-2-113-122
  2. Lattice Theory, Third Edition, Providence, 1967. (1967) Zbl0153.02501MR0227053
  3. Lattice Ordered Groups, Tulane University, 1970. (1970) Zbl0258.06011
  4. 10.1017/S1446788700036806, J. Austral. Math. Soc. 72 (2002), 427–445. (2002) MR1902211DOI10.1017/S1446788700036806
  5. New Trends in Quantum Structures, Kluwer Academic Publishers, Dordrecht, 2000. (2000) MR1861369
  6. Pseudo M V -algebras: a noncommutative extension of M V -algebras, In: The Proceedings of the Fourth International Symposium on Economic Informatics, INFOREC, Bucharest, 6–9 May, Romania, 1999, pp. 961–968. (1999) MR1730100
  7. Pseudo M V -algebras, Multiple-Valued Logic 6 (2001), 95–135. (2001) MR1817439
  8. Normal prime filters of a lattice ordered group, Czech. Math. J. 24 (1974), 91–96. (1974) MR0347702
  9. 10.1023/A:1022472528113, Czech. Math. J. 49 (1999), 163–173. (1999) MR1676813DOI10.1023/A:1022472528113
  10. 10.1023/A:1021766309509, Czech. Math. J. 52 (2002), 255–273. (2002) MR1905434DOI10.1023/A:1021766309509

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.