## A is also an H-comodule algebra, where the product ) is defined by a) b s Ž . Ýa a m b . In this note, we observe that there is a map of pointed sets from the 0 1 twistings of A to the H-measurings from A co H to A and study the set of twistings that map to the trivial measuring. If ArA co H is
Equivalence Theorems and Hopf–Galois Extensions
✍ Scribed by Claudia Menini; Monica Zuccoli
- Publisher
- Elsevier Science
- Year
- 1997
- Tongue
- English
- Weight
- 299 KB
- Volume
- 194
- Category
- Article
- ISSN
- 0021-8693
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
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
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 G
Let L be a field which is a Galois extension of the field K with Galois w x group G. Greither and Pareigis GP87 showed that for many G there exist K-Hopf algebras H other than the group ring KG which make L into an Ž H-Hopf Galois extension of K or a Galois H \*-object in the sense of w x. Chase and
Let p be an odd prime and n a positive integer and let k be a field of Ž . r p and let r denote the largest integer between 0 and n such that K l k s p Ž . r r r k , where denotes a primitive p th root of unity. The extension Krk is p p separable, but not necessarily normal and, by Greither and Pa