Hopf Galois extensions. (English) Zbl 0756.16008
Azumaya algebras, actions, and modules, Proc. Conf. Honor Azumaya’s 70th Birthd., Bloomington/IN (USA) 1990, Contemp. Math. 124, 129-140 (1992).
[For the entire collection see Zbl 0741.00062.]
Let \(H\) be a Hopf algebra over a field \(k\), \(A\) a right \(H\)-comodule algebra with structure map \(\rho\), and \(A^{\text{co}H}\) the algebra of coinvariants, then \(A/A^{\text{co}H}\) is called an \(H\)-Galois extension if the map \(\beta: A\otimes_{A^{\text{co}H}}A\to A\otimes_ k H\) given by: \(a\otimes b\to(a\otimes 1)\rho(b)\) is bijective. The purpose of this very well written note is twofold. First give examples of such extensions among them classical Galois field extensions, smash products and strongly graded algebras. The second purpose is to survey recent results concerning Galois extensions, with emphasis on simple smash products and work on affine quotients. An example of a Hopf algebra \(H\) acting on a field \(A\), so that \(A\# H\), is not simple is given here. This example has been used since for various other purposes.
Let \(H\) be a Hopf algebra over a field \(k\), \(A\) a right \(H\)-comodule algebra with structure map \(\rho\), and \(A^{\text{co}H}\) the algebra of coinvariants, then \(A/A^{\text{co}H}\) is called an \(H\)-Galois extension if the map \(\beta: A\otimes_{A^{\text{co}H}}A\to A\otimes_ k H\) given by: \(a\otimes b\to(a\otimes 1)\rho(b)\) is bijective. The purpose of this very well written note is twofold. First give examples of such extensions among them classical Galois field extensions, smash products and strongly graded algebras. The second purpose is to survey recent results concerning Galois extensions, with emphasis on simple smash products and work on affine quotients. An example of a Hopf algebra \(H\) acting on a field \(A\), so that \(A\# H\), is not simple is given here. This example has been used since for various other purposes.
Reviewer: M.Cohen (Beersheva)
MSC:
16W30 | Hopf algebras (associative rings and algebras) (MSC2000) |
16W20 | Automorphisms and endomorphisms |
16W25 | Derivations, actions of Lie algebras |
16W50 | Graded rings and modules (associative rings and algebras) |
16S40 | Smash products of general Hopf actions |