Twistings and Hopf Galois Extensions
β Scribed by Margaret Beattie; Blas Torrecillas
- Publisher
- Elsevier Science
- Year
- 2000
- Tongue
- English
- Weight
- 183 KB
- Volume
- 232
- Category
- Article
- ISSN
- 0021-8693
No coin nor oath required. For personal study only.
β¦ Synopsis
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 Galois and H is finitely generated projective, then the twistings that map to the trivial measuring can be described as a set of invertible twisted cocycles: : H m H Βͺ A. An equivalence relation on the set of twisted cocycles corresponds to isomorphism classes of Galois extensions.
π 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