Characterizations of several Maltsev conditions

By Marcin Kozik, Andrei A. Krokhin, M. Valeriote, Ross Willard. 2015

81 citations recorded by the source corpus.

Tame congruence theory identifies six Maltsev conditions associated with locally finite varieties omitting certain types of local behaviour. Extending a result of Siggers, we show that of these six Maltsev conditions only two of them are equivalent to strong Maltsev conditions for locally finite varieties. Besides omitting the unary type, the only other of these conditions that is strong is that of omitting the unary and affine types.We also provide novel presentations of some of the above Maltsev conditions.

Subfields: Computational Theory and Mathematics, Geometry and Topology

View Paper: https://www.semanticscholar.org/paper/918bc2c2ff8739c0db3a440966a6b02047afa6cc