Cosemisimple Hopf algebras are faithfully flat over Hopf subalgebras

Abstract

The question of whether or not a Hopf algebra $H$ is faithfully flat over a Hopf subalgebra $A$ has received positive answers in several particular cases: when $H$ (or more generally, just $A$) is commutative, or cocommutative, or pointed, or when $K$ contains the coradical of $H$. We prove the statement in the title, adding the class of cosemisimple Hopf algebras to those known to be faithfully flat over all Hopf subalgebras. We also show that the third term of the resulting "exact sequence" $A\to H\to C$ is always a cosemisimple coalgebra, and that the expectation $H\to A$ is positive when $H$ is a CQG algebra.

minor changes after comments; 15 pages + references

References in corpus (1)

• A Characterization of right coideals of quotient type and its application to classification of Poisson boundaries

Cited by in corpus (7)

• Equivalent Notions of Normal Quantum Subgroups, Compact Quantum Groups with Properties F and FD, and Other Applications
• Graded twisting of comodule algebras and module categories
• Free unitary groups are (almost) simple
• Balmer spectra and Drinfeld centers
• Free resolutions for free unitary quantum groups and universal cosovereign Hopf algebras
• The Link-Indecomposable Components of Hopf Algebras and Their Products
• Subgroups of Quantum Groups