The Structure of Corings with a Grouplike Element
نویسنده
چکیده
Characteristic properties of corings with a grouplike element are analysed. Associated differential graded rings are studied. A correspondence between categories of comodules and flat connections is established. A generalisation of the Cuntz-Quillen theorem relating existence of connections in a module to projectivity of this module is proven.
منابع مشابه
On Coseparable and Biseparable Corings
A relationship between coseparable corings and separable non-unital rings is established. In particular it is shown that an A-coring C has an associative A-balanced product. A Morita context is constructed for a coseparable coring with a grouplike element. Biseparable corings are defined, and a conjecture relating them to Frobenius corings is proposed.
متن کاملFlat Connections and Comodules
This is the text of a talk given at the Isaac Newton Institute in Cambridge on 4th August, 2006. This talk is motivated by a recent paper [A Kaygun and M Khalkhali, Hopf modules and noncommutative differential geometry, Lett. Math. Phys. 76 (2006), 77–91] in which Hopf modules appearing as coefficients in Hopf-cyclic cohomology are interpreted as modules with flat connections. We start by descr...
متن کاملGalois Functors and Entwining Structures
Galois comodules over a coring can be characterised by properties of the relative injective comodules. They motivated the definition of Galois functors over some comonad (or monad) on any category and in the first section of the present paper we investigate the role of the relative injectives (projectives) in this context. Then we generalise the notion of corings (derived from an entwining of a...
متن کاملFully Bounded Noetherian Rings
Let i : A → R be a ring morphism, and χ : R → A a right R-linear map with χ(χ(r)s) = χ(rs) and χ(1 R) = 1 A. If R is a Frobenius A-ring, then we can define a trace map tr : A → A R. If there exists an element of trace 1 in A, then A is right FBN if and only if A R is right FBN and A is right noetherian. The result can be generalized to the case where R is an I-Frobenius A-ring. We recover resul...
متن کاملGrouplikes
In this paper we introduce and study an algebraic structure, namely Grouplike. A grouplike is something between semigroup and group and its axioms are generalizations of the four group axioms. Every grouplike is a semigroup containing the minimum ideal that is also a maximal subgroup (but the converse is not valid). The first idea of grouplikes comes from b-parts and $b$-addition of real number...
متن کامل