Showing 1–5 of 5 results for author: Zarouali-Darkaoui, M

On the Bourbaki's fixed point theorem and the axiom of choice

Authors: Mohssin Zarouali-Darkaoui

Abstract: In this note we generalize the Moroianu's fixed point theorem. We propose a very elegant common proof of the Bourbaki's fixed point theorem and our result. We apply our result to give a very elegant proof of the fact that, in the Zermelo-Fraenkel system, the axiom of choice is equivalent to each of the following statements: H. Kneser's Lemma, Zorn's Lemma, Zermelo's Lemma In this note we generalize the Moroianu's fixed point theorem. We propose a very elegant common proof of the Bourbaki's fixed point theorem and our result. We apply our result to give a very elegant proof of the fact that, in the Zermelo-Fraenkel system, the axiom of choice is equivalent to each of the following statements: H. Kneser's Lemma, Zorn's Lemma, Zermelo's Lemma △ Less

Submitted 3 June, 2019; v1 submitted 23 May, 2019; originally announced May 2019.

MSC Class: 06A01; 03E01

Adjoint and Frobenius Pairs of Functors, Equivalences, and the Picard Group for Corings

Authors: Mohssin Zarouali-Darkaoui

Abstract: We study adjoint and Frobenius pairs of functors, equivalences, and the Picard group for corings. We study adjoint and Frobenius pairs of functors, equivalences, and the Picard group for corings. △ Less

Submitted 28 December, 2007; v1 submitted 26 March, 2007; originally announced March 2007.

Comments: The author thesis

The Picard Group of Corings

Authors: Mohssin Zarouali-Darkaoui

Abstract: We introduce the Picard group of corings. We extend the well-known exact sequence from algebras and coalgebras over fields to corings. We extend the Aut-Pic property to corings and we give some new examples of corings having this property. Finally, we give the corresponding exact sequences for the category of entwined modules over an entwining structure, the category of Doi-Koppinen-Hopf modules… ▽ More We introduce the Picard group of corings. We extend the well-known exact sequence from algebras and coalgebras over fields to corings. We extend the Aut-Pic property to corings and we give some new examples of corings having this property. Finally, we give the corresponding exact sequences for the category of entwined modules over an entwining structure, the category of Doi-Koppinen-Hopf modules over a Doi-Koppinen structure, and the category of graded modules by a $G$-set, where $G$ is a group. △ Less

Submitted 17 March, 2006; v1 submitted 19 December, 2005; originally announced December 2005.

MSC Class: 16W30

Comatrix Coring generalized and Equivalences of Categories of Comodules

Authors: Mohssin Zarouali-Darkaoui

Abstract: 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… ▽ More 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. △ Less

Submitted 11 May, 2006; v1 submitted 25 May, 2005; originally announced May 2005.

MSC Class: 16W30

Adjoint and Frobenius Pairs of Functors for Corings

Authors: M. Zarouali-Darkaoui

Abstract: 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… ▽ More 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. △ Less

Submitted 25 May, 2005; v1 submitted 23 May, 2005; originally announced May 2005.

MSC Class: 13C05