Hopf modules, Frobenius functors and (one-sided) Hopf algebras
The main motivation of this paper is to investigate the property of being Frobenius for some functors related with Hopf modules over a bialgebra in a category of modules over a commutative ring. Let \(\mathbb{K}\) be a commutative ring and let \(B\) a bialgebra over \(\mathbb{K}\). It is well-known that the free Hopf module functor \(-\otimes B\) is an equivalence of categories if and only if \(B\) admits an antipode. This functor always fits into an adjoint triple \(-\otimes_{B}\mathbb{K}\:\dashv \; -\otimes B\; \dashv \; (\;\;)^{coB}\) and then may be an interesting question to ask under which conditions \(-\otimes B\) is a Frobenius functor. The answer to this question can be found in Theorem 3.7 in the following way: The functor \(-\otimes B: {\mathfrak M}_{B}\rightarrow {\mathfrak M}_{B}^{B}\) is a Frobenius functor if and only if \(B\) is a right Hopf algebra with anti-(co)multiplicative right antipode \(S\). Then, as a consequence, the author of the paper under review characterizes one-sided Hopf algebras with anti-(co)multiplicative one-sided antipode as those for which the free Hopf module functor is Frobenius. Finally, In Section 4 the author clarifies some categorical implications of the main result proved in [\textit{B. Pareigis}, J. Algebra 18, 588--596 (1971; Zbl 0225.16008)] and investigates the connection between the Frobenius property for the functor \(-\otimes B: {\mathfrak M}_{B}\rightarrow {\mathfrak M}_{B}^{B}\) and the property of being a \(FH\)-algebra for \(B\) (i.e., B is a bialgebra which is also a Frobenius algebra such that the Frobenius morphism \(\psi\) is a right integral in \(B^{\ast}\)). The main characterisation of the \(FH\)-condition can be found in Theorem 4.14.
- scientific article; zbMATH DE number 1782597
- Hopf frobenius extensions of algebras
- Cleft cqmodule algebras and hopf modules
- Hopfian modules and co-hopfian modules
- Module categories of finite Hopf algebroids, and self-duality
- On Frobenius extensions defined by Hopf algebras
- Hopf Algebras and Galois Module Theory
- Frobenius extensions and weak Hopf algebras
- Galois functors and generalised Hopf modules
- Modular categories and Hopf algebras
- A class of left quantum groups modeled after \(\text{SL}_q(n)\).
- A left quantum group.
- An approach to Hopf algebras via Frobenius coordinates
- An Associative Orthogonal Bilinear Form for Hopf Algebras
- Duals and doubles of quantum groupoids (\(\times_R\)-Hopf algebras)
- Frobenius and separable functors for generalized module categories and nonlinear equations
- Frobenius monads and pseudomonoids
- Hopf algebras.
- Hopfish algebras.
- scientific article; zbMATH DE number 3261720 (Why is no real title available?)
- scientific article; zbMATH DE number 2221728 (Why is no real title available?)
- Integrals for (dual) quasi-Hopf algebras. Applications
- Left Hopf algebras
- Monadic decompositions and classical Lie theory
- On the cohomology of modules over Hopf algebras
- On the structure theorem for quasi-Hopf bimodules
- Relative Frobenius algebras are groupoids
- Separable functors applied to graded rings
- Separable functors revisited
- The dual of a certain left quantum group.
- The left antipodes of a left Hopf algebra
- Unifying Hopf modules
- When Hopf algebras are Frobenius algebras
- When weak Hopf algebras are Frobenius
This page was built for publication: Hopf modules, Frobenius functors and (one-sided) Hopf algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2200957)
