On comatrix corings and bimodules.

DOI10.1023/B:KTHE.0000006751.77914.50MaRDI QIDQ1421774zbMATH OpenOpenAlexFDO

Authors Tomasz Brzeziński, José Gómez-Torrecillas

Publication date 3 February 2004

Published in \(K\)-Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0301345

zbMATH Keywords

comatrix coringscoseparable coringsFrobenius bimodulesseparable bimodules

Mathematics Subject Classification ID

Bimodules in associative algebras (16D20) Coalgebras and comodules; corings (16T15)

Abstract: To any bimodule which is finitely generated and projective on one side one can associate a coring, known as a comatrix coring. A new description of comatrix corings in terms of data reminiscent of a Morita context is given. It is also studied how properties of bimodules are reflected in the associated comatrix corings. In particular it is shown that separable bimodules give rise to coseparable comatrix corings, while Frobenius bimodules induce Frobenius comatrix corings.

Review text

A comatrix coring can be associated to any \((B,A)\)-bimodule \(M\), where \(M\) is a finitely generated projective right \(A\)-module. A particular example of this is the Sweedler coring of a ring extension \(B\to A\), which provides equivalent description for the descent theory for the extension \(B\to A\). The aim of the paper is to study properties of comatrix corings in relation to properties of bimodules and how properties of the bimodules are reflected in the comatrix coring. It is shown that the dual \((A,B)\)-bimodule \(M^*\) is a separable bimodule if and only if the corresponding comatrix coring is a cosplit coring. Also if \(M\) is a separable (resp. Frobenius) bimodule, then the comatrix coring is a coseparable (resp. Frobenius) coring. Under certain faithful flatness conditions the converse holds. For any ring extension \(B\to A\) one can consider the ring extension \(B\to S\), where \(S\) is the right endomorphism ring of \(M\) so there is also the associated canonical Sweedler coring associated to this ring extension. The authors also study how the properties of a comatrix coring are reflected by the properties of the corresponding Sweedler coring (of the associated ring extension \(B\to S\)). Also a new description of comatrix corings in terms of data reminiscent of a Morita context is given.

Recommendations

• Comatrix corings and invertible bimodules.
• On corings and comodules.
• Comatrix corings and Galois comodules over firm rings.
• Comodules over semiperfect corings
• On homological Frobenius complexes and bimodules.
• Corings and invertible bimodules
• Morita Theory for Comodules Over Corings
• Comatrix Coring Generalized and Equivalences of Categories of Comodules
• scientific article; zbMATH DE number 1859664
• On Coprime Modules and Comodules

Cited in

(18)

• Bimodule herds.
• Comatrix corings: Galois corings, descent theory, and a structure theorem for cosemisimple corings.
• The bicategories of corings.
• Comonadicity and invertible bimodules
• Naturally full functors in nature.
• Comatrix corings and Galois comodules over firm rings.
• Comodules and Corings
• Galois theory for comatrix corings: Descent theory, Morita theory, Frobenius and separability properties
• Adjoint and Frobenius Pairs of Functors for Corings
• scientific article; zbMATH DE number 5158533 (Why is no real title available?)
• Comatrix Coring Generalized and Equivalences of Categories of Comodules
• Morita Theory for Comodules Over Corings
• Comatrix corings and invertible bimodules.
• Local Units Versus Local Projectivity Dualisations: Corings with Local Structure Maps
• The Galois theory of matrix C-rings.
• Constructing infinite comatrix corings from colimits.
• Co-Frobenius corings and adjoint functors.
• Equivalences between categories of modules and categories of comodules.

This page was built for publication: On comatrix corings and bimodules.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1421774)