Geodesic
On the characterisation of Mal'tsev and Jónsson-Tarski algebras
Discussiones Mathematicae. General Algebra and Applications, Tome 23 (2003) no. 2, pp. 149-161.

Voir la notice de l'article provenant de la source Library of Science

There are very strong parallels between the properties of Mal'tsev and Jónsson-Tarski algebras, for example in the good behaviour of centrality and in the factorization of direct products. Moreover, the two classes between them include the majority of algebras that actually arise 'in nature'. As a contribution to the research programme building a unified theory capable of covering the two classes, along with other instances of good centrality and factorization, the paper presents a common framework for the characterisation of Mal'tsev and Jónsson-Tarski algebras. Mal'tsev algebras are characterized by simplicial identities in the product complex of an algebra. In the dual of a pointed variety, a simplicial object known as the pointed complex is then constructed. The basic simplicial Mal'tsev identity in the pointed complex characterises Jónsson-Tarski algebras. Higher-dimensional simplicial Mal'tsev identities in the pointed complex are characteristic of a class of algebras lying properly between Goldie and Jónsson-Tarski algebras.
Keywords: Mal'tsev variety, Mal'tsev algebra, Jónsson-Tarski variety, Jónsson-Tarski algebra, Goldie variety, Goldie algebra, congruence permutability, simplicial object 
@article{DMGAA_2003_23_2_a5,
     author = {Smith, Jonathan},
     title = {On the characterisation of {Mal'tsev} and {J\'onsson-Tarski} algebras},
     journal = {Discussiones Mathematicae. General Algebra and Applications},
     pages = {149--161},
     publisher = {mathdoc},
     volume = {23},
     number = {2},
     year = {2003},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/DMGAA_2003_23_2_a5/}
}
TY  - JOUR
AU  - Smith, Jonathan
TI  - On the characterisation of Mal'tsev and Jónsson-Tarski algebras
JO  - Discussiones Mathematicae. General Algebra and Applications
PY  - 2003
SP  - 149
EP  - 161
VL  - 23
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/DMGAA_2003_23_2_a5/
LA  - en
ID  - DMGAA_2003_23_2_a5
ER  - 
%0 Journal Article
%A Smith, Jonathan
%T On the characterisation of Mal'tsev and Jónsson-Tarski algebras
%J Discussiones Mathematicae. General Algebra and Applications
%D 2003
%P 149-161
%V 23
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DMGAA_2003_23_2_a5/
%G en
%F DMGAA_2003_23_2_a5
Smith, Jonathan. On the characterisation of Mal'tsev and Jónsson-Tarski algebras. Discussiones Mathematicae. General Algebra and Applications, Tome 23 (2003) no. 2, pp. 149-161. http://geodesic.mathdoc.fr/item/DMGAA_2003_23_2_a5/

[1] J. Duskin, Simplicial Methods and the Interpretation of 'Triple' Cohomology, Mem. Amer. Math. Soc., No. 163, 1975.

[2] A.W. Goldie, On direct decompositions. I, and II, Proc. Cambridge Philos. Soc. 48 (1952), 1-34.

[3] M. Gran and M.C. Pedicchio, n-Permutable locally finite presentable categories, Theory Appl. Categ. 8 (2001), 1-15.

[4] H.-P. Gumm, Geometrical Methods in Congruence Modular Varieties, Mem. Amer. Math. Soc, No. 286. doi: 1983

[5] J. Hagemann and C. Herrmann, A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity, Arch. Math. (Basel) 32 (1979), 234-245.

[6] J. Hagemann and A. Mitscke, On n-permutable congruences, Algebra Universalis 3 (1973), 8-12.

[7] B. Jónsson and A. Tarski, Direct Decompositions of Finite Algebraic Systems, Notre Dame Mathematical Lectures, Notre Dame, IN, 1947.

[8] S. Mac Lane, Categories for the Working Mathematician, Springer-Verlag, New York, NY, 1971.

[9] A.I. Mal'tsev, K obshche teorii algebraicheskikh sistem, Mat. Sb. (N.S.) 35 (77) (1954), 3-20.

[10] A.I. Mal'cev, On the general theory of algebraic systems, (translation of [] by H. Alderson), Transl. Amer. Math. Soc. 27 (1963), 125-140.

[11] J.D.H. Smith, Mal'cev Varieties, Springer-Verlag, Berlin 1976.

[12] J.D.H. Smith, Centrality, Abstr. Amer. Math. Soc. 1 (1980), 774-A21.

[13] J.D.H. Smith and A.B. Romanowska, Post-Modern Algebra, Wiley, New York, NY, 1999.

[14] S.T. Tschantz, More conditions equivalent to congruence modularity, 'Universal Algebra and Lattice Theory,' Springer-Verlag, Berlin 1985, 270-282.