Galois extensions as functors of comodules (Q1096706): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q915781 |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: H. F. Kreimer / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3932925 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4156891 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4165487 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Galoiserweiterungen von night-kommutativen ringen / rank | |||
Normal rank |
Latest revision as of 13:58, 18 June 2024
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