首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 15 毫秒
1.
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.  相似文献   

2.
3.
Group Corings     
We introduce group corings, and study functors between categories of comodules over group corings, and the relationship to graded modules over graded rings. Galois group corings are defined, and a Structure Theorem for the G-comodules over a Galois group coring is given. We study (graded) Morita contexts associated to a group coring. Our theory is applied to group corings associated to a comodule algebra over a Hopf group coalgebra. This research was supported by the research project G.0622.06 “Deformation quantization methods for algebras and categories with applications to quantum mechanics” from Fonds Wetenschappelijk Onderzoek-Vlaanderen. The third author was partially supported by the SRF (20060286006) and the FNS (10571026).  相似文献   

4.
On Comatrix Corings and Bimodules   总被引:5,自引:0,他引:5  
  相似文献   

5.
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 coring is coseparable. Further properties of the Morita context are studied in the situation where the coring is (co)Frobenius.

  相似文献   


6.
We show that the bicategory whose 0‐cells are corings over rings with local units is bi‐equivalent to the bicategory of comonads in (right) unital modules whose underlying functors are right exact and preserve direct sums. A base ring extension of a coring by an adjunction is introduced as well (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)  相似文献   

7.
We investigate adjoint and Frobenius pairs 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, which leads to a reasonable notion of Frobenius coring extension. When applied to corings stemming from entwining structures, we obtain new results in this setting and in graded ring theory.  相似文献   

8.
To a B-coring and a (B,A)-bimodule that is finitely generated and projective as a right A-module an A-coring is associated. This new coring is termed a base ring extension of a coring by a module. We study how the properties of a bimodule such as separability and the Frobenius properties are reflected in the induced base ring extension coring. Any bimodule that is finitely generated and projective on one side, together with a map of corings over the same base ring, lead to the notion of a module-morphism, which extends the notion of a morphism of corings (over different base rings). A module-morphism of corings induces functors between the categories of comodules. These functors are termed pull-back and push-out functors, respectively, and thus relate categories of comodules of different corings. We study when the pull-back functor is fully faithful and when it is an equivalence. A generalised descent associated to a morphism of corings is introduced. We define a category of module-morphisms, and show that push-out functors are naturally isomorphic to each other if and only if the corresponding module-morphisms are mutually isomorphic. All these topics are studied within a unifying language of bicategories and the extensive use is made of interpretation of corings as comonads in the bicategory Bim of bimodules and module-morphisms as 1-cells in the associated bicategories of comonads in Bim.  相似文献   

9.
S. Caenepeel  B. Femi&#; 《K-Theory》2005,34(4):361-393
Let R be a commutative ring. An Azumaya coring consists of a couple , with S a faithfully flat commutative R-algebra, and an S-coring satisfying certain properties. If S is faithfully projective, then the dual of is an Azumaya algebra. Equivalence classes of Azumaya corings form an abelian group, called the Brauer group of Azumaya corings. This group is canonically isomorphic to the second flat cohomology group. We also give algebraic interpretations of the second Amitsur cohomology group and the first Villamayor–Zelinsky cohomology group in terms of corings.  相似文献   

10.
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.  相似文献   

11.
We investigate the Morita context and graded cases for weak group corings and derive some equivalent conditions for μ to be surjective. Furthermore, we develop Galois theory for weak group corings. As an application, we give Galois theory for comodulelike algebras over a weak Hopf group coalgebra.  相似文献   

12.
《代数通讯》2013,41(4):2015-2026
Abstract

The notion of a Frobenius coring is introduced, and it is shown that any such coring produces a Jones-like tower of Frobenius corings and Frobenius extensions. This establishes a one-to-one correspondence between Frobenius corings and extensions.  相似文献   

13.
S. Caenepeel 《代数通讯》2013,41(9):2991-3015
Let H be a cocommutative faithfully flat Hopf algebra over a commutative ring R. We give a four term exact sequence describing the group of H-Galois objects. This generalizes an exact sequence due to Early and Kreimer and Yokogawa. We have to introduce the Picard group of a coalgebra, and a new type of Sweedler cohomology. Using methods of Villamayor and Zelinsky and Hattori, we can extend the four term exact sequence to a sequence of infinite length.  相似文献   

14.
We construct comatrix corings on bimodules without finiteness conditions by using firm rings. This leads to the formulion of a notion of Galois coring which plays a key role in the statement of a Noncommutative Faithfully Flat Descent for comodules which generalizes previous versions. In particular, infinite comatrix corings fit in our general theory. Presented by A. Verschoren.  相似文献   

15.
The fundamental theorem on coalgebras asserts that coalgebras are locally finite in the case where the ground ring is a field. We prove the local finiteness theorem of corings under the semihereditarity condition on the base algebra and the projectivity condition on a coring. This result generalizes not only the fundamental theorem on coalgebras but also Hazewinkel’s result on the local finiteness of coalgebras over a principal ideal domain and Bergman’s unpublished result on the local finiteness of corings over a semisimple Artinian ring.  相似文献   

16.
《Journal of Algebra》2007,307(1):397-408
The classical Chase–Harrison–Rosenberg exact sequence relates the Picard and Brauer groups of a Galois extension S of a commutative ring R to the group cohomology of the Galois group. We associate to each action of a locally compact group G on a locally compact space X two groups which we call the equivariant Picard group and the equivariant Brauer group. We then prove an analogue of the Chase–Harrison–Rosenberg exact sequence in the which the roles of the Picard and Brauer groups are played by their equivariant analogues.  相似文献   

17.
We prove some finiteness theorems for the Picard functor of an algebraic stack, in the spirit of SGA 6, exp. XII and XIII. In particular, we give a stacky version of Raynaud?s relative representability theorem, we give sufficient conditions for the existence of the torsion component of the Picard functor, and for the finite generation of the Néron–Severi groups or of the Picard group itself. We give some examples and applications. In Appendix A, we prove the semicontinuity theorem for a (non-necessarily tame) algebraic stack.  相似文献   

18.
Let k be a field, H a Hopf k-algebra with bijective antipode, A a right H-comodule algebra and C a Hopf algebra with bijective antipode which is also a right H-module coalgebra. Under some appropriate assumptions, and assuming that the set of grouplike elements G(AC) of the coring AC is a group, we show how to calculate, via an exact sequence, the Picard group of the subring of coinvariants in terms of the Picard group of A and various subgroups of G(AC). Presented by: Claus Ringel.  相似文献   

19.
For commutative rings R, in which 2 is not a zero divisor, we give seven-term exact sequences, whose middle terms are the discriminant map or the Picard invariant of free quadratic extensions of R. As an application of our results we determine for all orders in quadratic number fields the group of free quadratic extensions and the group of quadratic extensions with normal basis.  相似文献   

20.
We investigate functors between abelian categories having a left adjoint and a right adjoint that are similar (these functors are called quasi-Frobenius functors). We introduce the notion of a quasi-Frobenius bimodule and give a characterization of these bimodules in terms of quasi-Frobenius functors. Some applications to corings and graded rings are presented. In particular, the concept of quasi-Frobenius homomorphism of corings is introduced. Finally, a version of the endomorphism ring Theorem for quasi-Frobenius extensions in terms of corings is obtained.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号