Cosemisimple Hopf algebras are faithfully flat over Hopf subalgebras.

DOI10.2140/ANT.2014.8.1179MaRDI QIDQ457329zbMATH OpenOpenAlexFDO

Authors Alexandru Chirvasitu

Publication date 26 September 2014

Published in Algebra \& Number Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1110.6701

zbMATH Keywords

module coalgebrascosemisimple Hopf algebrascosemisimple Hopf subalgebrasfaithfully flat Hopf algebras

Mathematics Subject Classification ID

Ring-theoretic aspects of quantum groups (16T20) Quantum groups (quantized enveloping algebras) and related deformations (17B37) Hopf algebras and their applications (16T05) Coalgebras and comodules; corings (16T15)

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" $AoHoC$ is always a cosemisimple coalgebra, and that the expectation $HoA$ is positive when $H$ is a CQG algebra.

Recommendations

• Faithful flatness of Hopf algebras
• Flatness of Noetherian Hopf algebras over coideal subalgebras
• scientific article; zbMATH DE number 1569160
• On the projectivity of module coalgebras
• On the flatness and the projectivity over Hopf subalgebras of Hopf algebras over Dedekind rings

Cited in

(21)

• scientific article; zbMATH DE number 1569160 (Why is no real title available?)
• Epimorphic quantum subgroups and coalgebra codominions
• Faithful flatness of Hopf algebras
• Categorical aspects of compact quantum groups
• NON-AFFINE HOPF ALGEBRA DOMAINS OF GELFAND–KIRILLOV DIMENSION TWO
• Fundamental isomorphism theorems for quantum groups
• On the Hopf (co)center of a Hopf algebra
• Normal subgroups and relative centers of linearly reductive quantum groups
• Equivalent notions of normal quantum subgroups, compact quantum groups with properties F and FD, and other applications
• Centers, cocenters and simple quantum groups
• Bialgebra cohomology and exact sequences
• Relative Fourier transforms and expectations on coideal subalgebras
• On the monoidal invariance of the cohomological dimension of Hopf algebras
• Free resolutions for free unitary quantum groups and universal cosovereign Hopf algebras
• The link-indecomposable components of Hopf algebras and their products
• Some remarks on exact sequences of quantum groups
• Free wreath products with amalgamation
• On the \({\ell}^2\)-Betti numbers of universal quantum groups
• Flatness over PI coideal subalgebras
• On the flatness and the projectivity over Hopf subalgebras of Hopf algebras over Dedekind rings
• Operator algebras of free wreath products

This page was built for publication: Cosemisimple Hopf algebras are faithfully flat over Hopf subalgebras.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q457329)