
doi: 10.1007/bf02676662
The author studies classes \(\mathcal L\) of universal algebras with a constant term \(c(x)= c(y)\) for all elements \(x,y\) and \( f(c(x),\dots,c(x))= c(x) = c \) for every basic operation \(f\). Given quasivarieties \(\mathcal {U, V}\), \({\mathcal U}*_{\mathcal L} {\mathcal V}\) is the class of all algebras \( A \in \mathcal L\) such that the subalgebra \(c\theta \in \mathcal U\) where \(\theta \) is the smallest congruence on \(A\) such that \(A/\theta \in \mathcal V\). Given a basis of quasi-identities for the quasivarieties \(\mathcal {U, V}\), the author exhibits a basis for the quasi-identities of the quasivariety \(\mathcal U * \mathcal V\). The author applies this result to the case when \(\mathcal L\) is the class of lattice ordered groups.
universal algebras with a constant term, basis, congruence, quasivarieties, Ordered groups, quasi-identities, lattice ordered groups, Quasivarieties
universal algebras with a constant term, basis, congruence, quasivarieties, Ordered groups, quasi-identities, lattice ordered groups, Quasivarieties
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
