Finite-dimensional Hopf algebras are free over grouplike subalgebras (Q1112147)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Finite-dimensional Hopf algebras are free over grouplike subalgebras |
scientific article |
Statements
Finite-dimensional Hopf algebras are free over grouplike subalgebras (English)
0 references
1989
0 references
Let H be a finite-dimensional Hopf algebra over a field k. Let G be a subgroup of the group of group-like elements of H. The authors prove the important result that H is a free (left or right) kG-module. The second author had shown the result to be true when kG is semisimple [J. Algebra 118, 102-108 (1988; Zbl 0649.16007)]. However, even in this case, the proof in the paper under review is more general, involving simple subcoalgebras of H stabilized by (say left) multiplication by G, and working with relative left (H,kG)-Hopf modules. This result is an important special case of the conjecture that H is a free module over any Hopf subalgebra B. This conjecture has recently been proved by the authors.
0 references
finite-dimensional Hopf algebra
0 references
group of group-like elements
0 references
simple subcoalgebras
0 references
free module
0 references
Hopf subalgebra
0 references