Geodesic
Finite irredundant systems of identities in commutative Moufang loops and distributive Steiner quasigroups
Izvestiya. Mathematics, Tome 30 (1988) no. 1, pp. 163-183 
N. I. Sandu. Finite irredundant systems of identities in commutative Moufang loops and distributive Steiner quasigroups. Izvestiya. Mathematics, Tome 30 (1988) no. 1, pp. 163-183. http://geodesic.mathdoc.fr/item/IM2_1988_30_1_a8/
@article{IM2_1988_30_1_a8,
     author = {N. I. Sandu},
     title = {Finite irredundant systems of identities in commutative {Moufang} loops and distributive {Steiner} quasigroups},
     journal = {Izvestiya. Mathematics},
     pages = {163--183},
     year = {1988},
     volume = {30},
     number = {1},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/IM2_1988_30_1_a8/}
}
TY  - JOUR
AU  - N. I. Sandu
TI  - Finite irredundant systems of identities in commutative Moufang loops and distributive Steiner quasigroups
JO  - Izvestiya. Mathematics
PY  - 1988
SP  - 163
EP  - 183
VL  - 30
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/IM2_1988_30_1_a8/
LA  - en
ID  - IM2_1988_30_1_a8
ER  - 
%0 Journal Article
%A N. I. Sandu
%T Finite irredundant systems of identities in commutative Moufang loops and distributive Steiner quasigroups
%J Izvestiya. Mathematics
%D 1988
%P 163-183
%V 30
%N 1
%U http://geodesic.mathdoc.fr/item/IM2_1988_30_1_a8/
%G en
%F IM2_1988_30_1_a8

Voir la notice de l'article provenant de la source Math-Net.Ru

An infinite irredundant system of identities in the variety of commutative Moufang loops (and in the variety of distributive Steiner quasigroups) is constructed with the property that no infinite subset is equivalent to a finite subsystem. It follows that the set of subvarieties of the variety of commutative Moufang loops (and of the variety of distributive Steiner quasigroups) has the cardinal of the continuum; it also follows that there is a commutative Moufang loop (a distributive Steiner quasigroup) given by an enumerable set of identical relations, in which the word problem is unsolvable. Finally, the three arguments conjecture is refuted for commutative Moufang loops. In fact, an associator is constructed that is not the identity but has three of its arguments the same. Bibliography: 10 titles.

[1] Evans T., “Identities and Relation in Commutative Moulang Loops”, J. Algebra, 31 (1974), 508–513 | DOI | MR | Zbl

[2] Bruck R. H., A survey of binary systems, Springer-Verlag, Berlin, 1958 | MR | Zbl

[3] Kepka T. Němec P., “Distribution Groupoids and the Finite Basise Property”, J. Algebra, 70 (1981), 229–237 | DOI | MR | Zbl

[4] Smith J. D. H., “A second grammar of associators”, Math. Proc. Cambridge Soc., 84 (1978), 405–415 | DOI | MR | Zbl

[5] Bénéteau L., “Free commutative Moufang loops and anticommutative graded rings”, J. Algebra, 67 (1980), 1–35 | DOI | MR | Zbl

[6] Smith J. D. H., “On the nilpotence class of commutative Moufang loops”, Math. Proc. Cambridge Soc., 84 (1978), 387–404 | DOI | MR | Zbl

[7] Belousov V. D., Osnovy teorii kvazigrupp i lup, Nauka, M., 1967 | MR

[8] Manin Yu. I., Kubicheskie formy, Nauka, M., 1972 | MR

[9] Maltsev A. I., Ob umnozhenii klassov algebraicheskikh sistem. Izbrannye trudy, t. II, Nauka, M., 1976

[10] Higman G., “Some remarks on varieties of groups”, Quart. J. Math., 10 (1959), 165–178 | DOI | MR | Zbl