𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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


Twistings and Hopf Galois Extensions
✍ Margaret Beattie; Blas Torrecillas πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 183 KB

## 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 Extensions for Co-Frobenius Hopf
✍ M. Beattie; S. DΔƒscΔƒlescu; Ş. Raianu πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 253 KB

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

Counting Hopf Galois Structures on Non-A
✍ Scott Carnahan; Lindsay Childs πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 93 KB

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

Classification of the Hopf Galois Struct
✍ Timothy Kohl πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 264 KB

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

Quantum Galois Correspondence for Subfac
✍ Yasuyuki Kawahigashi πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 153 KB

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