Cosemisimple Hopf algebras are faithfully flat over Hopf subalgebras. (Q457329): Difference between revisions
From MaRDI portal
Changed an Item |
Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2008565461 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1110.6701 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 15:07, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Cosemisimple Hopf algebras are faithfully flat over Hopf subalgebras. |
scientific article |
Statements
Cosemisimple Hopf algebras are faithfully flat over Hopf subalgebras. (English)
0 references
26 September 2014
0 references
The authors study the following question, asked by \textit{S. Montgomery} [Hopf algebras and their actions on rings. Providence: AMS (1993; Zbl 0793.16029)]: let \(A\) be a Hopf subalgebra of a Hopf algebra \(H\) over a field; is \(H\) faithfully flat over \(A\)? The question goes back to one of Kaplansky's conjectures, and has a rich history, documented well in the introduction of the paper. The main result is the following: if \(H\) is cosemisimple, then \(H\) is faithfully flat over every Hopf subalgebra \(A\). Moreover, the left \(H\)-module coalgebra \(C=H/HA^+\) is cosemisimple. A second result is the following: if the coradical of \(H\) is a Hopf algebra, then \(H\) is faithfully flat over its cosemisimple Hopf subalgebras. In the final Section 3, the left inverse of the inclusion \(A\to H\) is studied, in the case where \(A\) and \(H\) are CQG algebras.
0 references
cosemisimple Hopf algebras
0 references
faithfully flat Hopf algebras
0 references
cosemisimple Hopf subalgebras
0 references
module coalgebras
0 references