JOURNAL ARTICLE

Simplified axiomatic system of DRl-semigroups.

  • Published In: Mathematica Slovaca, 2025, v. 75, n. 4. P. 713 1 of 3

  • Database: Academic Search Ultimate 2 of 3

  • Authored By: Kovář, Tomáš 3 of 3

Abstract

DRl-semigroups are a generalization of lattice ordered groups (l-groups) containing a.o. Boolean algebras, Brouwerian algebras and MV-algebras. Since their introduction in the 1960s their axiomatic system has been several times reduced. In this paper, we show that it can be simplified even further. Specifically, we show that the axiom ensuring compatibility of the semigroup operation + and the lattice operations is equivalent to a significantly weaker condition of monotonicity of + with respect to the implied order ≤. Because the same equivalence holds for l-groups, we observe that the axiomatic systems of l-groups and DRl-semigroups are more aligned than originally thought. [ABSTRACT FROM AUTHOR]

Additional Information

  • Source:Mathematica Slovaca. 2025/08, Vol. 75, Issue 4, p713
  • Document Type:Article
  • Subject Area:History
  • Publication Date:2025
  • ISSN:0139-9918
  • DOI:10.1515/ms-2025-0053
  • Accession Number:187241983
  • Copyright Statement:Copyright of Mathematica Slovaca is the property of De Gruyter and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

Looking to go deeper into this topic? Look for more articles on EBSCOhost.