Equationally complete classes of commutative monoids with monus

DOI10.1007/BF01182254MaRDI QIDQ800488zbMATH OpenOpenAlexFDO

Authors K. Amer

Publication date 1984

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01182254

zbMATH Keywords

Boolean algebrascommutative monoid with monusequational complete varietieslattice ordered groupspositive conesprime ideals

Mathematics Subject Classification ID

Ordered semigroups and monoids (06F05) Equational logic, Mal'tsev conditions (08B05) Varieties and pseudovarieties of semigroups (20M07)

Review text

Let \((M,+,0)\) be a commutative monoid such that the relation \(a\leq b\) iff \(b=a+c\) for some \(c\in M\) is a partial order on M. Suppose that for any a,\(b\in M\) there exists a smallest \(x\in M\), \(x=a\dot-b\) with \(a\leq b+x\); then M is called a commutative monoid with monus (CMM). \textit{B. Bosbach} [Math. Ann. 161, 279-295 (1965; Zbl 0154.017)] has proved that the class of all CMM's forms a variety. The results of this paper are concerned with this variety and are the following: 1) The variety \(V({\mathbb{N}})\) of CMM's generated by the natural numbers \(({\mathbb{N}},+,0)\) with \(a\dot-b=a-b\) if \(a\geq b\) and \(=0\) otherwise consists of the positive cones of arbitrary lattice ordered groups. 2) The variety \(V(2)\) of CMM's generated by the two element Boolean algebra \((B,\wedge,\vee)\) with \(a+b=a\vee b\) and \(a\dot-b=a\wedge b'\) consists of all Boolean algebras and all prime ideals of arbitrary Boolean algebras. 3) \(V({\mathbb{N}})\) and V(2) are the only equational complete varieties of CMM's.

Recommendations

• scientific article; zbMATH DE number 3875353
• Structural Monoids Associated to Equational Varieties
• Special elements of the lattice of monoid varieties
• On the partially ordered monoid generated by the operators \(H, S, P, P_s\) on classes of algebras
• The variety of lattice-ordered monoids generated by the natural numbers

Cites work

• A representation of relatively complemented distributive lattices
• Free lattice-ordered Abelian groups. II
• Komplementäre Halbgruppen. Ein Beitrag zur instruktiven Idealtheorie kommutativer Halbgruppen

Cited in

(19)

• Subdirect products of totally ordered BCK-algebras
• Varieties of commutative residuated integral pomonoids and their residuation subreducts
• Geometrical methods in Wajsberg hoops
• Splittings in GBL-algebras. I: The general case
• Basic hoops: an algebraic study of continuous t-norms
• Extending relational algebra with similarities
• scientific article; zbMATH DE number 5150151 (Why is no real title available?)
• Residuated Structures, Concentric Sums and Finiteness Conditions
• Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms
• Conical logic and -groups logic
• SOLVABLE MONOIDS WITH COMMUTING IDEMPOTENTS
• Free algebras in varieties of BL-algebras generated by a BL_n-chain
• Provenance in databases: principles and applications
• Structurally complete finitary extensions of positive Łukasiewicz logic
• Combining fixpoint and differentiation theory
• Quasivarieties of Wajsberg hoops
• Provenance analysis and semiring semantics for first-order logic
• Different differences in semirings
• On database query languages for K-relations

This page was built for publication: Equationally complete classes of commutative monoids with monus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q800488)