Integrality of module algebras over its invariants (Q1911642)

Let \(H\) be a finite-dimensional Hopf algebra over a field \(K\). It is known that if \(H\) is cocommutative, then any commutative \(H\)-module algebra \(A\) is integral over the invariants \(A^H\). The author generalizes this to an arbitrary finite-dimensional \(H\) in two cases: (1) The antipode of \(H\) is an involution and the characteristic of \(k\) does not divide the dimension of \(H\), and (2) the coradical \(H_0\) of \(H\) is cocommutative and \(k\) has positive characteristic. For infinite-dimensional \(H\), he proves the results when \(k\) has positive characteristic, \(H_0\) is a finite-dimensional group algebra and the coradical filtration stabilizes. He also gives examples for finite-dimensional \(H\) where \(A\) is not integral over \(A^H\), thus answering question 4.2.6 of \textit{S. Montgomery} in her book ``Hopf algebras and their actions on rings'' [Regional Conf. Ser. Math. 82 (1993; Zbl 0793.16029)].