Cosemisimple Hopf algebras are faithfully flat over Hopf subalgebras.

DOI10.2140/ANT.2014.8.1179zbMATH Open1346.16026arXiv1110.6701OpenAlexW2008565461MaRDI QIDQ457329FDOQ457329

Authors: Alexandru Chirvasitu 

Publication date: 26 September 2014

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

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.

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

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

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)

Cited In (20)

• Title not available (Why is that?)
• 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
• Normal subgroups and relative centers of linearly reductive quantum groups
• On the Hopf (co)center of a Hopf algebra
• 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
• Free resolutions for free unitary quantum groups and universal cosovereign Hopf algebras
• Relative Fourier transforms and expectations on coideal subalgebras
• On the monoidal invariance of the cohomological dimension of 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
• 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)