n-Permutable varieties satisfy non trivial congruence identities

Day, A. andFreese, R.,A characterization of identities implying congruence modularity. I, Can. J. Math.32, 5 (1980), 1149?1167.

Freese, R., Lampe, W. A. andTaylor, W.,Congruence lattices of algebras of fixed similarity type, I. Pacific J. Math.82 (1979), 59?68.

Freese, R. andMcKenzie, R.,Commutator theory for congruence modular varieties, London Math. Soc. Lecture Note N.125 (1987).

Freese, R. andNation, J. B.,Congruence lattices of semilattices, Pacific J. Math.49 (1973), 51?58.

Gumm, H. P.,Geometrical methods in congruence modular algebras, Amer. Math. Soc. Memoirs N.286 (1983).

Hobby, D. andMcKenzie, R.,The structure of finite algebras, Contemp. Math. N.76 (1988).

Kiss, E. W. andPröhle, P.,Problems and results in tame congruence theory. A survey of the '88 Budapest Workshop, Algebra Universalis29 (1992), 151?171.

Jonsson, B.,Congruence varieties, Algebra Universalis10 (1980), 355?394.

Lipparini, P.,Varieties satisfying some form of Herrmann Theorem, in preparation.

Lipparini, P.,Commutator Theory without join-distributivity, in print on Trans. Amer. Math. Soc.

Lipparini, P.,Congruence identities satisfied in n-permutable varieties, in print on Bollettino Unione Matematica Italiana.

Petrich, M.,Inverse semigroups, Wiley and Sons, 1984.

Quackenbush, R.,Quasi-affine algebras, Algebra Universalis20 (1985), 318?327.

Smith, J. D. H.,Mal'cev varieties, LNM N.554 (1976).

Taylor, W.,Some applications of the Term Condition, Algebra Universalis14 (1982), 11?24.

Taylor, W.,Characterizing Mal'cev conditions, Algebra Universalis3 (1973), 351?397.

Willard, R.,M n as a 0,1-sublattice of Con(A)does not force, the term condition, Proc. Amer. Math. Soc.,104 (1988), 349?356.