Dually residuated \(\ell\)-monoids having no non-trivial convex subalgebras. (English) Zbl 1125.06012

The paper gives a characterization of simple dually residuated \(\ell\)-monoids (DR\(\ell\)-monoids), i.e. DR\(\ell\)-monoids containing only the trivial convex subalgebra. Based on the known fact that each DR\(\ell\)-monoid is isomorphic to a direct product of an \(\ell\)-group and an lower bounded DR\(\ell\)-monoid, the author proves that a simple DR\(\ell\)-monoid is either an Archimedean totally ordered group or an Archimedean totally ordered generalized pseudo MV-algebra. Consequently, each such DR\(\ell\)-monoid has to be commutative.


06F05 Ordered semigroups and monoids


Pseudo Hoops
Full Text: EuDML


[1] Anderson M., Feil T.: Lattice-Ordered Groups (An Introduction). : D. Reidel, Dordrecht. 1988. · Zbl 0636.06008
[2] Galatos N., Tsinakis C.: Generalized MV-algebras. J. Algebra 283 (2005), 254-291. · Zbl 1063.06008
[3] Georgescu G., Leuştean L., Preoteasa V.: Pseudo-hoops. J. Mult.-Val. Log. Soft Comput. 11 (2005), 153-184. · Zbl 1078.06007
[4] Glass A. M. W.: Partially Ordered Groups. : World Scientific, Singapore. 1999. · Zbl 0933.06010
[5] Jipsen P., Tsinakis C.: A survey of residuated lattices. Ordered Algebraic Structures (Martinez, J., Kluwer Acad. Publ., Dordrecht, 2002, pp. 19-56. · Zbl 1070.06005
[6] Kovář T.: A General Theory of Dually Residuated Lattice Ordered Monoids. : Ph.D. thesis, Palacký University, Olomouc. 1996.
[7] Kühr J.: Ideals of noncommutative \(DR\ell \)-monoids. Czechoslovak Math. J. 55 (2005), 97-111. · Zbl 1081.06017
[8] Kühr J.: On a generalization of pseudo MV-algebras. J. Mult.-Val. Log. Soft Comput. · Zbl 1131.06005
[9] Kühr J.: Generalizations of pseudo MV-algebras and generalized pseudo effect algebras. Submitted. · Zbl 1174.06330
[10] Swamy K. L. N.: Dually residuated lattice ordered semigroups. Math. Ann. 159 (1965), 105-114. · Zbl 0138.02104
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.