Equationally complete classes of commutative monoids with monus (Q800488): Difference between revisions
From MaRDI portal
Changed an Item |
Set OpenAlex properties. |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Komplementäre Halbgruppen. Ein Beitrag zur instruktiven Idealtheorie kommutativer Halbgruppen / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A representation of relatively complemented distributive lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Free lattice-ordered Abelian groups. II / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf01182254 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2069545812 / rank | |||
Normal rank |
Latest revision as of 09:56, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Equationally complete classes of commutative monoids with monus |
scientific article |
Statements
Equationally complete classes of commutative monoids with monus (English)
0 references
1984
0 references
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.
0 references
commutative monoid with monus
0 references
positive cones
0 references
lattice ordered groups
0 references
Boolean algebras
0 references
prime ideals
0 references
equational complete varieties
0 references