Actions of algebraic groups on the spectrum of rational ideals (Q1922467)

C. Moeglin and R. Rentschler made essential contributions to the classification of primitive ideals in the enveloping algebra of a finite dimensional Lie algebra over an algebraically closed field of characteristic zero and the rational actions of linear algebraic groups on noncommutative associative algebras. In this paper the author shows that some of their ring-theoretic results can be extended -- with appropriate modifications -- to prime characteristic. Let \(k\) be an algebraically closed field and \(G\) a linear algebraic group over \(k\) acting rationally on a \(k\)-algebra \(V\). Generalizing work of Moeglin and Rentschler in characteristic zero, the action of \(G\) on the spectrum of rational ideals of \(V\) is studied. The main result is: Let \(V\) be semiprime left Goldie and \(L\) a \(G\)-stable commutative semisimple subalgebra of the total ring of fractions \(Q(V)\) of \(V\) such that \(L^G=k\cdot 1_L\), then for some closed subgroup \(H\) of \(G\) there is a \(G\)-equivariant embedding \(\nu\) of \(L\) into \(Q(G/H)\) such that \(Q(G/H)\) is purely inseparable over \(\nu(L)\). As an application, the author proves that if \(V\) is a \(k\)-algebra such that every semiprime ideal of \(V\) is left Goldie, then an ideal \(I\) of \(V\) is \(G\)-rational if and only if there is a rational ideal \(J\) of \(V\) such that \(\bigcap_{\gamma\in G}\gamma(J)=I\).