Symmetric polynomials in the free metabelian Lie algebras

Abstract: Let

K [X_{n}]

be the commutative polynomial algebra in the variables

X_{n} = x_{1}, l d o t s, x_{n}

over a field

K

of characteristic zero. A theorem from undergraduate course of algebra states that the algebra

K [X_{n}]^{S_{n}}

of symmetric polynomials is generated by the elementary symmetric polynomials which are algebraically independent over

K

. In the present paper we study a noncommutative and nonassociative analogue of the algebra

K [X_{n}]^{S_{n}}

replacing

K [X_{n}]

with the free metabelian Lie algebra

F_{n}

of rank

n g e q 2

over

K

. It is known that the algebra

F_{n}^{S_{n}}

is not finitely generated but its ideal

({F_{n}}^{'})^{S_{n}}

consisting of the elements of

F_{n}^{S_{n}}

in the commutator ideal

{F_{n}}^{'}

of

F_{n}

is a finitely generated

K [X_{n}]^{S_{n}}

-module. In our main result we describe the generators of the

K [X_{n}]^{S_{n}}

-module

({F_{n}}^{'})^{S_{n}}

which gives the complete description of the algebra

F_{n}^{S_{n}}

.

Recommendations

Cites Work

Cited In (11)

This page was built for publication: Symmetric polynomials in the free metabelian Lie algebras