Abstract
Let k be a field of characteristic 0 and let k<X> be a free associative algebra with finite basis X. Let R=R(k,X) be the universal enveloping algebra of the square of Lie(X), regarded as a subalgebra of k<X> and called the Specht subalgebra of the free algebra. We prove that k<X> is a free (left) R-module, find sufficient conditions for some system of elements in k<X> to be a basis for this module, and obtain an explicit formula that allows us to calculate the R-coefficients of the elements of the free algebra over a special basis of “symmetric monomials.”
Similar content being viewed by others
References
Specht W., “Gesetze in Ringen. I,” Math. Z., 52, No. 5, 557–589 (1950).
Hall M., “A basis for free Lie rings and higher commutators in free groups,” Proc. Amer. Math. Soc., 1, No. 5, 575–581 (1950).
Shirshov A. I., “On free Lie rings,” Mat. Sb., 45, No. 2, 113–122 (1958).
Shirshov A. I., “On bases of a free Lie algebra,” Algebra i Logika, 1, No. 1, 14–19 (1962).
Bokut' L. A., “A basis of free polynilpotent Lie algebras,” Algebra i Logika, 2, No. 4, 13–20 (1963).
Reutenauer Ch., Free Lie Algebras, Clarendon Press, Oxford (1993).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Gavrilov, A.V. A Free Associative Algebra as a Free Module over a Specht Subalgebra. Siberian Mathematical Journal 44, 428–434 (2003). https://doi.org/10.1023/A:1023909829715
Issue Date:
DOI: https://doi.org/10.1023/A:1023909829715