Module injectif

Résumé

En mathématiques, et plus spécifiquement en algèbre homologique, un module injectif est un module Q (à gauche par exemple) sur un anneau A tel que pour tout morphisme injectif f : X → Y entre deux A-modules (à gauche) et pour tout morphisme g : X → Q, il existe un morphisme h : Y → Q tel que hf = g, c'est-à-dire tel que le diagramme suivant commute : center Autrement dit : Q est injectif si pour tout module Y, tout morphisme d'un sous-module de Y vers Q s'étend à Y. Définitions équivalentes Les A-modules injectifs sont les de la catégorie abélienne des A-modules (lesquels sont les objets projectifs de la catégorie opposée). Par conséquent, on a le On en déduit qu'un produit de modules est injectif si, et seulement si chaque facteur du produit est injectif. Une autre caractérisation est : En effet, si Q est un sous-module injectif d'un module Y alors le morphisme identité de Q sur lui-même peut se prolonger en un morphisme de Y sur Q, ce qui équivaut à dire que Q est fa

Source officielle

https://fr.wikipedia.org/wiki/Module_injectif

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (2)

Chargement

Publications associées

Chargement

Personnes associées

Chargement

Unités associées

Chargement

Concepts associés (22)

Concepts associés

Chargement

Cours associés (23)

Cours associés

Chargement

Séances de cours associées (42)

Séances de cours associées

Chargement

Publications associées (2)

Let K be an algebraically closed field of characteristic and let W be a finite-dimensional K-vector space of dimension greater than or equal to 5. In this paper, we give the structure of certain Weyl modules for in the case where , as well as the dimension of the corresponding irreducible, finite-dimensional, rational KG-modules. In addition, we determine the composition factors of the restriction of certain irreducible, finite-dimensional, rational -modules to .

2018

Chargement

Relative Homological Algebra Via Truncations

Jérôme Scherer

To do homological algebra with unbounded chain complexes one needs to first find a way of constructing resolutions. Spal-tenstein solved this problem for chain complexes of R-modules by truncating further and further to the left, resolving the pieces, and gluing back the partial resolutions. Our aim is to give a homotopy theoretical interpretation of this procedure, which may be extended to a relative setting. We work in an arbitrary abelian category A and fix a class of "injective objects" I. We show that Spaltenstein's construction can be captured by a pair of adjoint functors between unbounded chain complexes and towers of non-positively graded ones. This pair of adjoint functors forms what we call a Quillen pair and the above process of truncations, partial resolutions, and gluing, gives a meaningful way to resolve complexes in a relative setting up to a split error term. In order to do homotopy theory, and in particular to construct a well behaved relative derived category D(A;I), we need more: the split error term must vanish. This is the case when I is the class of all injective R-modules but not in general, not even for certain classes of injectives modules over a Noetherian ring. The key property is a relative analogue of Roos's AB4*-n axiom for abelian categories. Various concrete examples such as Gorenstein homological algebra and purity are also discussed.

FIZ KARLSRUHE-LEIBNIZ-INST INFORMATIONSINFRASTRUKTUR2018

Chargement