
doi: 10.1007/bf01230618
Let V be an irregular variety defined by a set of regular identities and an identity of the form \(t(x,y)=t(x,z)\). (Any irregular variety can be defined in such a way.) A variety \(\bar V\) containing the regularization of V is introduced and studied. It has the following properties. \(\bar V\) is finitely based if V is. Every algebra from \(\bar V\) is a coherent Lallement sum (this is a generalization of a Płonka sum) of algebras from V. There is a theorem characterizing the structure of algebras in \(\bar V\) by means of some special coherent Lallement sums. Some sufficient conditions are given implying that the regularization of an irregular variety consists of Płonka sums only. The last section deals with equational bases for regularized varieties.
irregular variety, regular identities, Płonka sums, equational bases, regularization, Equational logic, Mal'tsev conditions, Structure theory of algebraic structures, Products, amalgamated products, and other kinds of limits and colimits, regularized varieties, coherent Lallement sums
irregular variety, regular identities, Płonka sums, equational bases, regularization, Equational logic, Mal'tsev conditions, Structure theory of algebraic structures, Products, amalgamated products, and other kinds of limits and colimits, regularized varieties, coherent Lallement sums
| 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). | 8 | |
| 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 |
