Invariants of the action of a semisimple Hopf algebra on PI-algebra (Q328763)

Throughout the review, by \(\pmb{k}\) we denote an algebraically closed field, \(H\) a finite dimensional Hopf \(\pmb{k}\)-algebra with the coradical denoted by \(H_0\), and \(A\) an \(H\)-module \(\pmb{k}\)-algebra with the subalgebra of invariants denoted by \(A^H\) and the center denoted by \(Z(A)\). In the second section of the paper under review, the author generalizes the result of [\textit{S.\ Montgomery} and \textit{L.\ W.\ Small}, J.\ Pure Appl.\ Algebra 31, 185--190 (1984; Zbl 0529.16028)] on the integrality of a PI-ring \(R\) over the fixed subring \(R^G\) with respect to the finite automorphism group \(G\) with \(|G|^{-1}\in R\). Namely, Theorem 2.1 states that if \(A\) is a PI-algebra acted on by a semisimple and cosemisimple Hopf algebra \(H\), then the algebra \(A\) is an integral extension of the subalgebra of invariants \(A^H\). In the third section of the paper under review, the author concentrates on the action of a Hopf algebra \(H\) when the coradical \(H_0\) is a Hopf subalgebra. Corollary 3.1 states that if \(\mathrm{char}\,\pmb{k}=0\) and an algebra \(A\) is a prime \(H\)-module PI-algebra, then \(Z(A)^{H_0}=Z(A)^H\). Whereas Proposition 3.2 states that if \(\mathrm{char}\,\pmb{k}=p>0\) and an algebra \(A\) is an \(H\)-prime \(H\)-module PI-algebra, then \((Z(A)^{H_0})^{p^t}\subseteq Z(A)^H\) for every sufficiently large \(t\), where \((Z(A)^{H_0})^{p^t}=\{z^{p^t}\mid z\in Z(A)^{H_0}\}\). For any ideal \(P\) of an \(H\)-module algebra \(A\), we let \(P_H=\{a\in A\mid H\cdot a\subseteq P\}\), the largest \(H\)-invariant ideal of \(A\) contained in \(P\). It is known that if \(A\) is an \(H\)-prime \(H\)-module PI-algebra, then there exists a prime ideal \(P\) of \(A\) with \(P_H=0\). Proposition 3.2 allows the author to prove the following Theorem 3.1. Let \(\mathrm{char}\,\pmb{k}>0\), the coradical \(H_0\) of a Hopf algebra \(H\) be a semisimple Hopf subalgebra, an algebra \(A\) be an \(H\)-prime \(H\)-module PI-algebra, \(P\) be a prime ideal of \(A\) with \(P_H=0\), and let \(A_0\) denote the quotient algebra \(A/P_{H_0}\). If the algebra \(Z({A_0}^{H_0})\) is an integral extension of the subalgebra \(Z(A_0)^{H_0}\) and the algebra \(A_0\) is an integral extension of its center \(Z(A_0)\), then the algebra \(A\) is an integral extension of the subalgebra \(Z(A)^H\). In the fourth section of the paper under review, the author constructs a counterexample showing that even if \(\mathrm{char}\,\pmb{k}>0\), a Hopf algebra \(H\) is pointed and the order of the group of group-like elements of \(H\) is coprime with \(\mathrm{char}\,\pmb{k}\), the algebra \(A^{H_0}\) need not be an integral extension of the subalgebra \(A^H\).