The structure of corings with a grouplike element

On the set of grouplikes of a coring

We focus our attention to the set $\gl{\coring{C}}$ of grouplike elements of a coring $\coring{C}$ over a ring $A$. We do some observations on the actions of the groups $U(A)$ and $\aut{\coring{C}}$ of units of $A$ and of automorphisms of corings of $\coring{C}$, respectively, on $\gl{\coring{C}}$, and on the subset $\galois{\coring{C}}$ of all Galois grouplike elements. Among them, we give conditions on $\coring{C}$ under which $\galois{\coring{C}}$ is a group, in such a way that there is an exact sequence of groups $\{1\} \to U(A^{g}) \to U(A) \to \galois{\coring{C}} \to \{1\},$ where $A^g$ …

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.

Local units versus local projectivity. Dualisations: Corings with local structure maps

We unify and generalize different notions of local units and local projectivity. We investigate the connection between these properties by constructing elementary algebras from locally projective modules. Dual versions of these constructions are discussed, leading to corings with local comultiplications, corings with local counits and rings with local multiplications.

有限生成$(H, {\rm C})$-余模的自同态环上的投射性与平坦性

Projectivity and flatness over the endomorphism ring of a finitely generated $(H, {\mathcal C})$-comodule

设k为交换环，H为k上双代数，C为(H,A)-余环，若C作为左A-模平坦，有限生成的右(H,C)-余模Λ对应的自同态环上的模具有投射性与平坦性的充要条件被给出；当C含固定H-群样元时，可将Λ替换为A。