Identities in group rings, enveloping algebras and Poisson algebras (Q824454): Difference between revisions

Let \(\mathcal{V}\) be a variety of \(\Sigma\)-algebras in the sense of universal algebra. Let \(F_{\mathcal{V}}n\) be the free algebra in the variety \(\mathcal{V}\) on n generators \(x_1,\cdots,x_n\). Let \((s,t)\) be pair of members of \(F_{\mathcal{V}}n\). A \(\Sigma\)-algebra \(A\) which belongs to \(\mathcal{V}\) satisfies the identity \(s=t\) if for each \(a_1,\cdots,a_n\in A\), \(\hat{s}(a_1,\cdots,a_n)=\hat{t}(a_1,\cdots,a_n)\), where for \(u\in F_{\mathcal{V}}n\), \(\hat{u}(a_1,\cdots,a_n)\) is the image of \(u\) by the unique homomorphism \(\pi\colon F_{\mathcal{V}}n\to A\) such that \(\pi(x_i)=a_i\), \(i=1,\cdots,n\). When \(\mathcal{V}\) is the variety of all algebras over some ring \(R\), then such an identity is referred to as a polynomial identity. The paper is a survey of known results about identities in group rings, enveloping algebras, Poisson symmetric algebras. In its second section the author recalls, for instance, the results of \textit{D. S. Passman} [J. Algebra 20, 103--117 (1972; Zbl 0226.16015)] on polynomial identities on group rings over a field. The third section concerns identities satisfied by enveloping algebras of (restricted) Lie algebras. The fourth section is about Poisson algebras which are sets carrying a commutative unital algebra structure and a Lie algebra structure which interact nicely (they satisfy the Leibniz rule). Section five is about the notion of multilinear identities of symmetric Poisson algebras (the symmetric algebra on the underlying module of Lie algebra has a structure of a Lie algebra that makes it a Poisson algebra, referred to as the symmetric Poisson algebra of the Lie algebra). The final section deals with Lie identities of symmetric Poisson algebras. For the entire collection see [Zbl 1461.16003].