DM-GAA

ISSN 1509-9415 (print version)

ISSN 2084-0373 (electronic version)

https://doi.org/10.7151/dmgaa

Discussiones Mathematicae - General Algebra and Applications

Cite Score: 0.4

SJR: 0.203

SNIP: 0.562

MCQ: 0.12

Index Copernicus: 121.02

Discussiones Mathematicae - General Algebra and Applications

PDF

Discussiones Mathematicae General Algebra and Applications 24(1) (2004) 63-74
DOI: https://doi.org/10.7151/dmgaa.1076

DIRECT DECOMPOSITIONS OF DUALLY RESIDUATED LATTICE ORDERED MONOIDS

Jirí Rachnek

Department of Algebra and Geometry,
Faculty of Sciences, Palacký University,
Tomkova 40, 779 00 Olomouc, Czech Republic

e-mail: rachunek@inf.upol.cz

Dana Salounová

Department of Mathematical Methods in Economy,
Faculty of Economics, VSB-Technical University of Ostrava,
Sokolská 33, 701 21 Ostrava, Czech Republic

e-mail:dana.salounova@vsb.cz

Abstract

The class of dually residuated lattice ordered monoids (DRl-monoids) contains, in an appropriate signature, all l-groups, Brouwerian algebras, MV- and GMV-algebras, BL- and pseudo BL-algebras, etc. In the paper we study direct products and decompositions of DRl-monoids in general and we characterize ideals of DRl-monoids which are direct factors. The results are then applicable to all above mentioned special classes of DRl-monoids.

Keywords: DRl-monoid, lattice-ordered monoid, ideal, normal ideal, polar, direct factor.

2000 Mathematics Subject Classification: 06F05; 06D35, 06F15, 03G10, 03G25, 20F60.

References

[1] R.L.O. Cignoli, I.M.L. D'Ottaviano and D. Mundici, Foundations of Many-valued Reasoning, Kluwer Acad. Publ., Dordrecht 2000.
[2] A. Di Nola, G. Georgescu and A. Iorgulescu, Pseudo BL-algebras: Part I, Multiple-Valued Logic 8 (2002), 673-714.
[3] P. Hájek, Metamathematics of Fuzzy Logic, Kluwer Acad. Publ., Dordrecht 1998.
[4] M.E. Hansen, Minimal prime ideals in autometrized algebras, Czechoslovak Math. J. 44 (119) (1994), 81-90.
[5] T. Kovár, A general theory of dually residuated lattice-ordered monoids, Ph.D. Thesis, Palacký Univ., Olomouc 1996.
[6] J. Kühr, Pseudo BL-algebras and DRl-monoids, Math. Bohemica 128 (2003), 199-208.
[7] J. Kühr, Prime ideals and polars in DRl-monoids and pseudo BL-algebras, Math. Slovaca 53 (2003), 233-246.
[8] J. Kühr, Ideals of noncommutative DRl-monoids, Czechoslovak Math. J. (to appear).
[9] J. Rachnek, Prime ideals in autometrized algebras, Czechoslovak Math. J. 37 (112) (1987), 65-69.
[10] J. Rachnek, Polars in autometrized algebras, Czechoslovak Math. J. 39 (114) (1989), 681-685.
[11] J. Rachnek, Regular ideals in autometrized algebras, Math. Slovaca 40 (1990), 117-122.
[12] J. Rachnek, DRl-semigroups and MV-algebras, Czechoslovak Math. J. 48 (123) (1998), 365-372.
[13] J. Rachnek, MV-algebras are categorically equivalent to a class of DRl-semigroups, Math. Bohemica 123 (1998), 437-441.
[14] J. Rachnek, A duality between algebras of basic logic and bounded representable DRl-monoids, Math. Bohemica 126 (2001), 561-569.
[15] J. Rachnek, Polars and annihilators in representable DRl- monoids and MV-algebras, Math. Slovaca 51 (2001), 1-12.
[16] J. Rachnek, A non-commutative generalization of MV-algebras, Czechoslovak Math. J. 52 (127) (2002), 255-273.
[17] J. Rachnek, Prime ideals and polars in generalized MV- algebras, Multiple-Valued Logic 8 (2002), 127-137.
[18] J. Rachnek, Prime spectra of non-commutative generalizations of MV-algebras, Algebra Univers. 48 (2002), 151-169.
[19] D. Salounová, Lex-ideals of DRl-monoids and GMV-algebras, Math. Slovaca 53 (2003), 321-330.
[21] K.L.N. Swamy, Dually residuated lattice-ordered semigroups I, Math. Ann. 159 (1965), 105-114.
[22] K.L.N. Swamy, Dually residuated lattice-ordered semigroups II, Math. Ann. 160 (1965), 64-71.
[23] K.L.N. Swamy, Dually residuated lattice-ordered semigroups III, Math. Ann. 167 (1966), 71-74.
[24]K.L.N. Swamy and N.P. Rao, Ideals in autometrized algebras, J. Austral. Math. Soc. Ser. A 24 (1977), 362-374.
[25] K.L.N. Swamy, and B.V. Subba Rao, Isometries in dually residuated lattice-ordered semigroups, Math. Sem. Notes Kobe Univ. 8 (1980), 369-379.

Received 16 September 2003
Revised 18 February 2004


Close