The Galois theory of matrix \(C\)-rings. (Q863170): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q427777 |
||
Property / reviewed by | |||
Property / reviewed by: Stefaan Caenepeel / rank | |||
Revision as of 18:33, 14 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The Galois theory of matrix \(C\)-rings. |
scientific article |
Statements
The Galois theory of matrix \(C\)-rings. (English)
0 references
25 January 2007
0 references
The first author has revived the theory of corings [in Algebr. Represent. Theory 5, No. 4, 389-410 (2002; Zbl 1025.16017)]. One of the main aims was the development of a Galois theory for corings, providing a new and elegant approach to Hopf-Galois theory. In the final section of his paper, the first author mentioned that a dual theory can be developed: the category of bicomodules over a coalgebra \(C\) over a field is a monoidal category. A \(C\)-ring \(\mathcal A\) is a monoid in this category. \(C\)-rings can be constructed from so-called matrix ring contexts. Matrix ring contexts are closely related to Morita-Takeuchi contexts: if one of the maps in the contexts is bijective, then one can construct a context of the other type by replacing this map by its inverse. If two coalgebras \(C\) and \(D\) are connected by a matrix ring context, then there is a \(C\)-ring structure on the cotensor product of \(C\) and \(D\). Modules over \(C\)-rings are introduced in the natural way. Then it is possible to introduce the notion of \(\mathcal A\)-coendomorphism coalgebra of a right module, quasi-finite and injective as a \(C\)-comodule. Now take a right \(\mathcal A\)-module \(M\), and assume that \(M\) is a quasi-finite injector; then there is a matrix ring context connecting \(C\) and the \(\mathcal A\)-coendomorphism coalgebra of \(M\), and there is a natural \(C\)-ring morphism \(\beta\) from \(\mathcal A\) to the associated \(C\)-ring. If \(\beta\) is an isomorphism, then \(M\) is called a Galois module for \(\mathcal A\); if, moreover, \(M\) is an injective module of the \(\mathcal A\)-coendomorphism coalgebra of \(M\), then \(M\) is called a principal Galois module. Characterizations of (principal) Galois modules are given. \(C\)-rings can be constructed starting from (weak) entwining structures, and it is investigated when \(C\) is a Galois module for this \(C\)-ring. Finally, a generalized dual version of the Kreimer-Takeuchi Theorem is given.
0 references
\(C\)-rings
0 references
matrix ring contexts
0 references
Galois modules
0 references
bicomodules
0 references
Galois theory for corings
0 references
Hopf-Galois theory
0 references
monoidal categories
0 references
Morita-Takeuchi contexts
0 references
cotensor products
0 references