On Hopf algebras with cocommutative coradicals (Q1180658): Difference between revisions

Let \(H\) be a Hopf algebra over a field \(k\). \textit{M. Takeuchi} established natural correspondences \(K\to\pi_ k\) and \(\pi\to H^ \pi\) between right coideal subalgebras \(K\) of \(H\), and quotient left \(H\)-module coalgebras \(\pi:H\to\pi(H)\) [J. Algebra 60, 452-471 (1979; Zbl 0492.16013)]. The author sharpens this in the case that the coradical \(H_ 0\) of \(H\) is cocommutative. For example, \(H\) is faithfully coflat as a \(\pi(H)\)-comodule, and if \(S(K_ 0)=K_ 0\), \(S\) the antipode of \(H\), then \(H\) is faithfully flat as a \(K\)-module, and the above correspondences are \(1\)-\(1\) between the \(K\)'s such that \(S(K_ 0)=K_ 0\) and the \(\pi\)'s. This generalizes results of \textit{K. Newman} [J. Algebra 36, 1-15 (1975; Zbl 0326.16009)] and \textit{M. Takeuchi} [loc. cit.]. This result is then applied to left \(H\)-module algebras \(A\) over a Hopf algebra \(H\). Assume \(H\) is generated as an algebra by a subcoalgebra \(C\) such that the action of \(C\) on \(A\) is inner. Then the action of \(H\) on \(A\) is inner if either \(H\) is pointed or if \(H_ 0\) is cocommutative and \(Z/\hbox{Rad} Z\) is Artinian, where \(Z\) is the center of \(A\). There is also a discussion of when \(C\) itself is a Hopf subalgebra of \(H\).