Actions of Hopf algebras on fully bounded Noetherian rings (Q5948415)

Let \(H\) be a finitely generated projective Hopf algebra over the commutative ring \(k\), and let \(R\) be a left \(H\)-module algebra such that for any \(H\)-invariant left ideal \(I\) of \(R\) and any \(x+I\in(R/I)^H\), there exists \(s\in R^H\) such that \(s-x\in I\). The author proves that \(R\) is left FBN if and only if \(R\) is left Noetherian and the subalgebra of invariants \(R^H\) is left FBN.