Modular \(\mathrm{d}_0 \)-algebras (Q2227254)

\(\mathrm{d}_0\)-algebras, a common generalization of D-lattices and cancellative BCK-algebras, were introduced by the third author in [Math. Slovaca 61, No. 6, 835--850 (2011; Zbl 1289.06020)]. A \(\mathrm{d}_0\)-algebra is presented as an algebra \((A,\setminus,0) \) of type (2.1), but it is also a meet semilattice under a naturally defined ordering. In the paper under review, modularity for \(\mathrm{d}_0\)-algebras is defined by means of a condition which provides the usual modularity in the case when the \(\mathrm{d}_0\) algebra under consideration happens to be a (generalized D-)lattice. Modular \(\mathrm{d}_0\)-algebras are given several characterizations, one of which is equational; in particular, every Riesz \(\mathrm{d}_0\)-algebra is modular. Measures on \(\mathrm{d}_0\)-algebras were studied in [\textit{M. Rosa} and \textit{P. Vitolo}, Ric. Mat. 67, No. 2, 373--386 (2018; Zbl 1402.28009)]. A G-valued map \(\mu\) on \(A\), where G is a commutative group, is said to be a \(\mathrm{d}_0\)-measure if \(\mu(b) = \mu (b \setminus a) + \mu(a \land b)\). If \(G\) is given a discrete topology, then there is the weakest \(\mathrm{d}_0\)-uniformity \(U(\mu)\) on \(A\) making \(\mu\) uniformly continuous, and the intersection \(N(\mu) := \bigcap U(\mu)\) is a congruence on \(A\). It is proved in the paper under review that the quotient \(A/N(\mu)\) is always a modular \(\mathrm{d}_0\)-algebra. Another result is an analogue of the one known for lattices which states that a lattice of finite height is modular if and only if its height function is modular.