Symmetric polynomials in the free metabelian Lie algebras

DOI10.1007/S00009-020-01582-8MaRDI QIDQ2199759zbMATH OpenOpenAlexFDO

Authors Vesselin Drensky, Nazar Şahn Öüşlü, Şehmus Fındık

Publication date 14 September 2020

Published in Mediterranean Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1912.01066

free metabelian Lie algebras symmetric polynomials

Symmetric functions and generalizations (05E05) Identities, free Lie (super)algebras (17B01) Solvable, nilpotent (super)algebras (17B30)

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}}

.

Review text

The symmetric group \(S_n\) of degree \(n\) is a subgroup of the automorphism group of the free metabelian Lie algebra \(F_n\) of rank \(n\), acting via permutation of the free generators. The Lie subalgebra \(F_n^{S_n}\) of invariants is not finitely generated as a Lie algebra. However, its intersection with the commutator ideal of \(F_n\) is naturally a module over \(K[X_n]^{S_n}\), the commutative algebra of symmetric polynomials in \(n\) indeterminates. In the paper the authors find explicit generators for this module. The case \(n=2\) was settled earlier in [\textit{Ş. Fındık} and \textit{N. Ş. Öğüşlü}, Int. J. Algebra Comput. 29, No. 5, 885--891 (2019; Zbl 1429.17008)].

Recommendations

Cites work

Cited in

(16)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2199759)