Flatness of Noetherian Hopf algebras over coideal subalgebras (Q2042291)

An algebra over a fixed field \(k\) is said to be residually finite dimensional if its ideals of finite codimension have zero intersection. Let \(H\) be a Hopf algebra. In the paper under review, the author proves that, if \(A\) is a right Noetherian \(H\)-semiprime \(H\)-module algebra such that the action of \(H\) on \(A\) is locally finite, the algebra \(A\) has a right Artinian classical right quotient ring. Then, if \(A\) is a right Noetherian right coideal subalgebra of a residually finite dimensional Noetherian Hopf algebra \(H\), the algebra \(A\) has a right Artinian classical right quotient ring, and \(H\) is left \(A\)-flat. As a consequence of the previous results it is also proved that the antipode of either right or left Noetherian residually finite-dimensional Hopf algebra is bijective. Hence, \(H\) is right and left Noetherian simultaneously.