On a certain representation of a free Lie algebra
type: Item
instance of: scholarly article
title: On a certain representation of a free Lie algebra
zbMATH Open document ID: 0935.17004
DOI: 10.1007/BF02732357
author: Yu. B. Ermolaev
published in: Siberian Mathematical Journal
publication date: 2000-04-13T00:00:00Z
review text: Let \(X\) be a free module of rank \(r\) over a unital commutative associative ring \(k\), let \(T=T(X)\) be the tensor \(k\)-algebra of \(X\), and let \(*\) be the shuffle operation on \(T\) defined by \[ x_1\cdots x_n * y_1\cdots y_m=\sum_{\sigma\in S_{nm}} \sigma(x_1\cdots x_n\cdot y_1\cdots y_m), \] where \(x_i,y_j\in X\) and \(S_{nm}\) is the set of all substitutions on the set \(\{x_1,\ldots,x_n,y_1,\ldots,y_m\}\) that conserve both the order of \(x\)'s and of \(y\)'s. The operation \(*\) is associative and commutative. The author defines the divided powers operations on \(T\) with respect to \(*\) and proves that the \(k\)-algebra \(T(*)\) is a free algebra of divided powers, with the set \(P\) of so called primary words on \(T\) as a free system of generators. Finally, the author gives a construction of a free Lie \(k\)-algebra and a complete Cartan extension of it in terms of differential operators of the shuffle algebra \(T(*)\).
Mathematics Subject Classification ID: 17B01
Mathematics Subject Classification ID: 16S32
zbMATH DE Number: 1431733
zbMATH Keywords: free Lie algebra
zbMATH Keywords: shuffle algebra
zbMATH Keywords: divided powers
Wikidata QID: Q115391838
reviewed by: Ivan Shestakov
MaRDI profile type: MaRDI publication profile
cites work: Lie elements and an algebra associated with shuffles
cites work: A basis for free shuffle superalgebras
cites work: Q3889234
cites work: Q5625397
cites work: Universal Cartan extension
full work available at URL: https://doi.org/10.1007/bf02732357
OpenAlex ID: W2080137169
description: scientific article; zbMATH DE number 1431733