Integral extensions of noncommutative rings (Q1178344)

An extension \(S\subseteq R\) of noncommutative rings is called fully integral of degree \(m\) if, given \(r_ 1,r_ 2,\ldots,r_ m\in R\), the product \(r_ 1 r_ 2\cdots r_ m\) can be expressed as a sum of monomials whose factors are either one of the \(r_ i\) or an element of \(S\), with at least one factor from \(S\) and at most \(m-1\) factors from the \(r_ i\) appearing. The following types of ring extensions are known to be fully integral: matrix rings over their coefficient rings (Paré- Schelter), finite normalizing extensions (Lorenz-Passman), and fixed rings \(S=R^ G\subseteq R\), where \(G\) is a finite group of automorphisms of \(R\) with \(| G|^{-1}\in R\) (Quinn). Using a variation of the original Paré-Schelter proof, the present paper establishes full integrality for further interesting classes of ring extensions including (i) finite subnormalizing extensions \(S\subseteq R=Sx_ 1+\cdots+Sx_ n\), \(Sx_ 1+\cdots+Sx_ i=x_ 1S+\cdots+x_ iS\) for all \(i\), (ii) crossed products of restricted enveloping algebras of finite dimensional restricted Lie algebras \(L\), \(S\subseteq R=S*u(L)\), and (iii) rings of invariants of Hopf algebra actions, \(S=R^ H\subseteq R\), where \(H\) is a finite dimensional cocommutative semisimple Hopf algebra over an algebraically closed field of characteristic \(p\) and \(R\) is an \(H\)-module algebra.