Derivations on the symmetric algebras (Q4033464)

Let \(U\) be an \(n\)-dimensional vector space over a field \(F\) with dual space \(U^*\). Let \(\vee U=\sum_{m=0}^ \infty\vee^ m U\) be the symmetric algebra over \(U\). For each \(e^*\in U^*\) let \(i(e^*)\) denote the derivation on \(\vee U\) such that \(i(e^*)x_ 1\dots x_ p=\sum_{k=1}^ p e^*(x_ k)x_ 1 \dots \widehat x_ k \dots x_ p\), \(i(e^*)\lambda=0\) holds for every \(x_ j\in U\) and \(\lambda\in F\). A subspace \(A\) of \(\vee U\) is: (a) stable if \(i(e^*)A\subset A\) holds for any \(e^*\in U^*\); (b) semi-stable if for any \(e_ 1^*,e_ 2^*\in U^*\), \(i(e_ i^*)i(e_ 2^*)A\subset A\). The author characterizes semi-stable subspaces of \(\vee U\). In particular, every stable subalgebra of \(\vee U\) has the form \(\vee W\), where \(W\) is a subspace of \(U\).