Weak commutativity and nilpotency (Q2201071)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Weak commutativity and nilpotency |
scientific article |
Statements
Weak commutativity and nilpotency (English)
0 references
25 September 2020
0 references
In a preceding paper, the author generalized the weak commutativity construction from groups to Lie algebras: if \(g\) is a Lie algebra, then \(\chi(g)\) is generated by two copies \(g\) and \(g^\psi\) of \(g\), with the relations \([x,x^\psi]=0\) for any \(x\in g\). He also proved several transfer theorem for this construction (finite dimension, finite presentation, solvable and of homological type \(FP_\infty\)). The study of these objects is continued here. The ideal \(L(g)\) generated by elements \(x-x^\psi\) for \(x\in g\) is studied. A system of generators of \(L(g)\) as a Lie algebra is given from any system of generators of \(g\) and a presentation of \(L(g)\) is given from any presentation of \(g\); a noticeable fact is that this presentation is not generally finite, even if the presentation of \(g\) is. As \(\chi(g)\) is the semi-direct product of \(L(g)\) and of \(g\), it is proved that if \(g\) is nilpotent of class \(c\), then \(\chi(g)\) is nilpotent of class at most \(c+2\) if \(c\) is even and at most \(c+1\) is \(c\) is odd. Several examples are given for free nilpotent Lie algebras of a given rank and class. The ideal \(R(g)=[g,[L(g),g^\psi]]\) is then studied for homological reasons. Results are given on its dimensions and, as a corollary, it is proved that if \(g\) is a free non abelian Lie algebra of rank at least 3, then \(\chi(g)\) is of infinite cohomological dimension.
0 references
Lie algebras
0 references
cohomology
0 references
nilpotency
0 references
finite presentability
0 references
Gröbner-Shirshov bases
0 references
0 references