This paper studies the complexity of determining if a finite algebra generates a variety that
satisfies various Maltsev conditions, such as congruence distributivity or modularity. For …

The notion of residuation can already be found in Dedekind's work on modules, and it has
played an important role in ideal theory ever since. If R is a commutative ring with 1, and I …

Varieties with a Difference Term Page 1 Varieties with a Difference Term Keith A. Kearnes ∗
Fachbereich Mathematik, AG1 Technische Hochschule Darmstadt D 64289 Darmstadt …

Suppose throughout that\mathcal VV is a congruence distributive variety. If m ≥ 1 m≥ 1, let
J _\mathcal V (m) JV (m) be the smallest natural number k such that the congruence identity …

This is the continuation of the Survey [58] on congruence lattices of semigroups published in
1983. But not only this: above all it is an apology to all those, whose results were omitted in …

In this paper, we show that for any finite idempotent non-congruence 3-permutable algebra
AA, it is always the case that\, HSP\,(A) HSP (A) contains an algebra carrying a binary …

Many experts have been doing research on characterizations of congruence n-permutable
varieties in many different ways. In 1973 Hagemann and Mitschke, generalizing Maltsev …

The aim of this paper is to present some new results concerning the property of congruence
n-permutability for varieties of algebras. The first of such results is a new termwise …

The interest in the notion of equivalence in philosophical logic led to the study of
equivalential fragments of various logical systems. Axiomatizations have been obtained for …

Egy algebrai struktúráról azt mondjuk, hogy kongruencia-felcserélhető, ha tetszőleges α és
β kongruenciái esetén α◦ β= β◦ α teljesül, ahol◦ a binér relációk szokásos kompozícióját …