Integrality over fixed rings of automorphisms in a Lie nilpotent setting (Q1630093)

Let \(K\) be a fixed field of characteristic 0, and let \(R\) be an associative \(K\)-algebra which is Lie nilpotent of step \(k\ge 1\). Let \(G\) be a subgroup of the automorphism group of \(A\), and suppose \(|G|=n\). Denote by \(\mathrm{Fix}(G) = R^G\) the elements of \(R\) fixed by all automorphisms of \(G\). The main result of the paper, Theorem A, states that then \(R\) is right integral over \(\mathrm{Fix}(G)\) of degree \(n^k\). This theorem is a natural (though not trivial at all) generalization of well-known facts from Galois theory. Furthermore, the author proves that if \(e\in K\) is a primitive \(n\)-th root of 1, and if \(\delta\) is an automorphism of \(R\) of order \(n\) then the algebra of the skew polynomials \(R[w,\delta]\) is right integral, of degree \(n^k\), over \(\mathrm{Fix}(\delta)[w^n]\).