On invariants of certain modular Lie algebras (Q1901943)

For a finite-dimensional Lie algebra \(L\) over the prime field \(\mathbb{F}_p\) a \( \mathbb{Z}\)-form \(L_\mathbb{Z}\) is considered (it is not supposed to be a Lie ring at all). If \(L\) is a split Lie algebra with respect to torus \(T\), then the root system may be lifted to \(L_\mathbb{Z}\). In some cases the Weyl group \(W\) may be defined. The usual arguments are applied to show that the restriction of invariants gives the imbedding \(i\) of \(S (L^*_\mathbb{Q})^{L_\mathbb{Q}}\) into \(S (T^*_\mathbb{Q} )^W\), where \(L_\mathbb{Q} = \mathbb{Q} \otimes L_\mathbb{Z}\). Under some extra conditions \(i(S (L^*_\mathbb{Z} )^{L_\mathbb{Z}}) \subset S(T^*_\mathbb{Z})^W\) and \(i(\mathbb{F}_p \otimes S(L^*_\mathbb{Z})^{L_\mathbb{Z}}) \subset \mathbb{F}_p \otimes S(T^*_\mathbb{Z})^W\). For Lie algebras of Cartan type \(W_n\) and \(H_n\) the invariants \(S(T^*_\mathbb{Z})^W\) are computed.