arXiv math/04032492004-03-15math.RA

Infinite Comatrix Corings

L. El Kaoutit, J. Gomez-Torrecillas

英文摘要：

We characterize the corings whose category of comodules has a generating set of small projective comodules in terms of the (non commutative) descent theory. In order to extricate the structure of these corings, we give a generalization of the notions of comatrix coring and Galois comodule which avoid finiteness conditions. A sufficient condition for a coring to be isomorphic to an infinite comatrix coring is found. We deduce in particular that any coalgebra over a field and the coring associated to a group-graded ring are isomorphic to adequate infinite comatrix corings. We also characterize when the free module canonically associated to a (not necessarily finite) set of group like elements is Galois.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

On comatrix corings and bimodules

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.

2003-01-29math.RA

Constructing infinite Comatrix Corings from colimits

We propose a class of infinite comatrix corings, and describe them as colimits of systems of usual comatrix corings. The infinite comatrix corings of El Kaoutit and Gómez Torrecillas are special cases of our construction, which in turn can be considered as a special case of the comatrix corings introduced recently by Gómez Torrecillas an the third author.

2006-04-19math.RA

Comatrix corings: Galois corings, Descent Theory, and a Structure Theorem for Cosemisimple corings

In order to extrincate the structure of corings with a finitely generated and projective generator we give the notion of a comatrix coring. As consequences we give generalizations of the main characterizations of faithfully flat Galois corings and extensions which work for corings without grouplike elements, as well as a generalization of the Descent Theorem. We provide also a complete description of all cosemisimple corings. No restrictions are made over the ground noncommutative ring.

2002-07-23math.RA

Comatrix Corings and Galois Comodules over Firm Rings

We give a notion of a comatrix coring which embodies all former constructions and, what is more interesting, leads to the formulation of a notion of Galois coring and the statement of a Faithfully Flat Descent Theorem that generalize the previous versions.

2005-09-05math.RA

Comatrix Corings an Invertible Bimodules

We extend Masuoka's Theorem [11] concerning the isomorphism between the group of invertible bimodules in a non-commutative ring extension and the group of automorphisms of the associated Sweedler's canonical coring, to the class of finite comatrix corings introduced in [6].

2005-01-03math.RA

Galois theory for comatrix corings: descent theory, Morita theory, Frobenius and separability properties

El Kaoutit and Gómez Torrecillas introduced comatrix corings, generalizing Sweedler's canonical coring, and proved a new version of the Faithfully Flat Descent Theorem. They also introduced Galois corings, as corings isomorphic to a comatrix coring. In this paper, we further investigate this theory. We prove a new version of the Joyal-Tierney Descent Theorem, and generalize the Galois Coring Structure Theorem. We associate a Morita context to a coring with a fixed comodule, and relate it to Galois-type properties of the coring. An affineness criterion is proved in the situation where the corin…

2004-10-19math.QAmath.RA

更多相关论文收起更多论文

Comatrix Coring generalized and Equivalences of Categories of Comodules

We extend the comatrix coring to the case of a quasi-finite bicomodule. We also generalize some of its interesting properties. We study equivalences between categories of comodules over rather general corings. We particularize to the case of the adjoint pair of functors associated to a morphism of corings over different base rings. We apply our results to corings coming from entwining structures and graded structures, and we obtain new results in the setting of entwining structures and in the graded ring theory.

2006-05-11math.CTmath.RA

On quasi-Frobenius bimodules and corings

It is proved here that any quasi-Frobenius bimodule produces a quasi-Frobenius comatrix coring

2006-12-21math.RA

Galois Corings and a Jacobson-Bourbaki type Correspondence

The Jacobson-Bourbaki Theorem for division rings was formulated in terms of corings by Sweedler in 1975. Finiteness conditions hypotheses are not required in this new approach. In this paper we extend Sweedler's result to simple artinian rings using a particular class of corings, comatrix corings. A Jacobson-Bourbaki like correspondence for simple artinian rings is then obtained by duality.

2005-06-15math.RA

Corings with decomposition and semiperfect corings

We give a characterization, in terms of Galois infinite comatrix corings, of the corings that decompose as a direct sum of left comodules which are finitely generated as left modules. Then we show that the associated rational functor is exact. This is the case of a right semiperfect coring which is locally projective and whose Galois comodule is a projective left unital module with superfluous radical.

2009-02-13math.CTmath.RA

Galois theory in bicategories

We develop a Galois (descent) theory for comonads within the framework of bicategories. We give generalizations of Beck's theorem and the Joyal-Tierney theorem. Many examples are provided, including classical descent theory, Hopf-Galois theory over Hopf algebras and Hopf algebroids, Galois theory for corings and group-corings, and Morita-Takeuchi theory for corings. As an application we construct a new type of comatrix corings based on (dual) quasi bialgebras.

2007-11-22math.CTmath.RA

Equivalences between categories of modules and categories of comodules

We show the close connection between appearingly different Galois theories for comodules introduced recently in [J. Gómez-Torrecillas and J. Vercruysse, Comatrix corings and Galois Comodules over firm rings, arXiv:math.RA/0509106.] and [R. Wisbauer, On Galois comodules (2004), to appear in Comm. Algebra.]. Furthermore we study equivalences between categories of comodules over a coring and modules over a firm ring. We show that these equivalences are related to Galois theory for comodules.

2006-08-02math.QAmath.RA

Homological algebra of semimodules and semicontramodules: Semi-infinite homological algebra of associative algebraic structures

We develop the basic constructions of homological algebra in the (appropriately defined) unbounded derived categories of modules over algebras over coalgebras over noncommutative rings (which we call semialgebras over corings). We define double-sided derived functors SemiTor and SemiExt of the functors of semitensor product and semihomomorphisms, and construct an equivalence between the exotic derived categories of semimodules and semicontramodules. Certain (co)flatness and/or (co)projectivity conditions have to be imposed on the coring and semialgebra to make the module categories abelian (an…

2014-05-09math.CTmath.RAmath.RT