## 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 Correspondences for Hopf Bigalois Extensions
β Scribed by Peter Schauenburg
- Publisher
- Elsevier Science
- Year
- 1998
- Tongue
- English
- Weight
- 228 KB
- Volume
- 201
- Category
- Article
- ISSN
- 0021-8693
No coin nor oath required. For personal study only.
β¦ Synopsis
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 formulated with the help of an additional Hopf algebra L over which A is also a left L-Galois extension of k, and an L-H-bicomoduleαsuch an additional Hopf algebra always exists and is unique up to isomorphism. The Galois connection between quotient coalgebras and left modules of L and H-subcomodule algebras of A induces a bijection between those quotients over which L is faithfully coflat, and those subalgebras over which A is faithfully flat. As a consequence, the lattices of Hopf subalgebras of L and H over which these are faithfully flat are isomorphic.
π SIMILAR VOLUMES
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
Ocneanu has obtained a certain type of quantized Galois correspondence for the Jones subfactors of type A n and his arguments are quite general. By making use of them in a more general context, we define a notion of a subequivalent paragroup and establish a bijective correspondence between generaliz