We study a symmetric Markov extension of k-algebras N → M, a certain kind of Frobenius extension with conditional expectation that is tracial on the centralizer and dual bases with a separability property. We place a depth two condition on this extension, which is essentially the requirement that th
Galois Extensions for Co-Frobenius Hopf Algebras
✍ Scribed by M. Beattie; S. Dăscălescu; Ş. Raianu
- Publisher
- Elsevier Science
- Year
- 1997
- Tongue
- English
- Weight
- 253 KB
- Volume
- 198
- Category
- Article
- ISSN
- 0021-8693
No coin nor oath required. For personal study only.
✦ Synopsis
For H an infinite dimensional co-Frobenius Hopf algebra over a field k, and A an H-comodule algebra, the smash product A࠻H * r at is linked to the ring of coinvariants A c o H by a Morita context. We use the Morita setting to show that for co-Frobenius H, equivalent conditions for ArA c o H to be Galois parallel the case of H finite dimensional.
📜 SIMILAR VOLUMES
2 × 2 . If H is abelian of order 8, we may use K = k H \* , and if H is abelian of order 4 we use K = kD 8 \* . If H ∼ = D 8 , then in the two possible examples, one has K = kD 8 \* and the other has K = kQ 8 \* . If H ∼ = 2 × 2 × 2 then H has two simple degree 2 characters, χ 1 and χ 2 , and they
Let H be a Hopf algebra with bijective antipode over a commutative ring k. A right H-Galois extension of k is a right H-comodule algebra A such that k s A co H and a certain canonical map A m A ª A m H is a bijection. We investigate Galois connections for Hopf᎐Galois extensions that can be formulate
Some finiteness conditions for infinite dimensional coalgebras, particularly right or left semiperfect coalgebras, or co-Frobenius Hopf algebras are studied. As well, examples of co-Frobenius Hopf algebras are constructed via a Hopf algebra structure on an Ore extension of a group algebra, and it is
We investigate Hopf algebras with non-zero integral from a coalgebraic point of view. Categories of Doi-Koppinen modules are studied in the special case where the defining coalgebra is left and right semiperfect, and several pairs of adjoint functors are constructed. As applications we give a very s