Some remarks on the Akivis algebras and the Pre-Lie algebras

Chen, Yuqun ; Li, Yu

Czechoslovak Mathematical Journal, Tome 61 (2011) no. 3, pp. 707-720

Abstract (VO)

In this paper, by using the Composition-Diamond lemma for non-associative algebras invented by A. I. Shirshov in 1962, we give Gröbner-Shirshov bases for free Pre-Lie algebras and the universal enveloping non-associative algebra of an Akivis algebra, respectively. As applications, we show I. P. Shestakov's result that any Akivis algebra is linear and D. Segal's result that the set of all good words in $X^{**}$ forms a linear basis of the free Pre-Lie algebra ${\rm PLie}(X)$ generated by the set $X$. For completeness, we give the details of the proof of Shirshov's Composition-Diamond lemma for non-associative algebras.

Détail

DOI : 10.1007/s10587-011-0041-y

Classification : 13P10, 16S15, 17A01, 17B60
Keywords: non-associative algebra; Akivis algebra; universal enveloping algebra; Pre-Lie algebra; Gröbner-Shirshov basis

Bibliographie

[1] Akivis, M. A.: The local algebras of a multidimensional three-web. Sibirsk. Mat. Z. 17 (1976), 5-11 Russian English translation: Siberian Math. J. 17 (1976), 3-8. | MR

[2] Bergman, G. M.: The diamond lemma for ring theory. Adv. Math. 29 (1978), 178-218. | DOI | MR

[3] Bokut, L. A.: Embeddings into simple associative algebras. Algebra Log. 15 (1976), 73-90. | DOI | MR

[4] Bokut, L. A., Fong, Y., Ke, W.-F., Kolesnikov, P. S.: Gröbner and Gröbner-Shirshov bases in algebra and conformal algebras. Fundam. Appl. Prikl. Mat. 6 (2000), 669-706. | MR

[5] Bokut, L. A., Kolesnikov, P. S.: Gröbner-Shirshov bases: from their inception to the present time. J. Math. Sci. 116 (2003), 2894-2916. | DOI | MR

[6] Bokut, L. A., Kolesnikov, P. S.: Gröbner-Shirshov bases, conformal algebras and pseudo-algebras. J. Math. Sci. 131 (2005), 5962-6003. | DOI | MR

[7] Buchberger, B.: An algorithmical criteria for the solvability of algebraic systems of equations. Aequationes Math. 4 (1970), 374-383 German.

[8] Eisenbud, D.: Commutative Algebra. With a View Toward Algebraic Geometry. Graduate Texts in Mathematics, Vol. 150. Springer Berlin (1995). | DOI | MR

[9] Hironaka, H.: Resolution of singularities of an algebraic variety over a feild of characteristic zero. I, II. Ann. Math. 79 (1964), 109-203, 205-326. | DOI | MR

[10] Knuth, D. E., Bendix, P. B.: Simple word problems in universal algebras. Comput. Probl. Abstract Algebra. Proc. Conf. Oxford 1967 (1970), 263-297. | MR | Zbl

[11] Kurosh, A. G.: Nonassociative free algebras and free products of algebras. Mat. Sb. N. Ser. 20 (1947), 239-262 Russian. | MR | Zbl

[12] Reutenauer, C.: Free Lie Algebras. Clarendon Press Oxford (1993). | MR | Zbl

[13] Segal, D.: Free left-symmetric algebras and an analogue of the Poincaré-Birkhoff-Witt Theorem. J. Algebra 164 (1994), 750-772. | DOI | MR | Zbl

[14] Shestakov, I. P.: Every Akivis algebra is linear. Geom. Dedicata 77 (1999), 215-223. | DOI | MR | Zbl

[15] Shestakov, I. P., Umirbaev, U.: Free Akivis algebras, primitive elements and hyperalgebras. J. Algebra 250 (2002), 533-548. | DOI | MR | Zbl

[16] Shirshov, A. I.: Subalgebras of free Lie algebras. Mat. Sb., N. Ser. 33 (1953), 441-452 Russian. | MR

[17] Shirshov, A. I.: Subalgebras of free commutative and free anti-commutative algebras. Mat. Sbornik 34 (1954), 81-88 Russian. | MR

[18] Shirshov, A. I.: Certain algorithmic problems for $\epsilon$-algebras. Sib. Mat. Zh. 3 (1962), 132-137.

[19] Shirshov, A. I.: Certain algorithmic problems for Lie algebras. Sib. Mat. Zh. 3 (1962), 292-296 Russian.

[20] Bokut, L. A., Latyshev, V., Shestakov, I., Zelmanov, E.: Selected Works of A. I. Shirshov Series. Contemporary Mathematicians. Basel, Boston, Berlin (2009). | MR

[21] Witt, E.: Subrings of free Lie rings. Math. Z. 64 (1956), 195-216 German.

[22] Zhukov, A. I.: Reduced systems of defining relations in nonassociative algebras. Mat. Sb., N. Ser. 27 (1950), 267-280 Russian. | MR | Zbl