Galois extensions as functors of comodules (Q1096706)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Galois extensions as functors of comodules |
scientific article |
Statements
Galois extensions as functors of comodules (English)
0 references
1987
0 references
Let A be a finite Hopf algebra over a commutative ring k. For a right A- comodule C and a left A-comodule V, there is a cotensor product \(C\wedge V\) which is a k-module. If V and W are left A-comodules, then the multiplication map of A may be used to make the tensor product of V and W over k into an A-comodule. If C is an A-Galois extension of k; then the multiplication map of C yields a natural isomorphism of (C\(\wedge V)\otimes (C\wedge W)\) onto \(C\wedge (V\otimes W)\), and \(k\approx C\wedge k\) when k is considered to be a trivial left A-comodule. The author develops a correspondence between A-Galois extensions of k and the monoidal functors from the category of left A-comodules to the category of k-modules, satisfying certain coherence diagrams. If C and A are replaced by their linear duals over k, then C * is a right A *-module and tensoring with C * over A * yields a functor from the category of left A *-modules into the category of k-modules. Consideration of this dual theory gives some insight to the author's results.
0 references
finite Hopf algebra
0 references
cotensor product
0 references
left A-comodules
0 references
Galois extensions
0 references
monoidal functors
0 references
category of left A-comodules
0 references
coherence diagrams
0 references