Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Algèbre homologique : Séquences exactes

Dans cours

MATH-311: Algebra IV - rings and modules

Ring and module theory with a major emphasis on commutative algebra and a minor emphasis on homological algebra. ...

Description

Cette séance de cours couvre le concept de séquences exactes en algèbre homologique, en introduisant la séquence des modules Ext et en discutant des propriétés des différents foncteurs Hom. L'instructeur explique les relations entre les différents foncteurs Ext et montre comment ils sont définis et utilisés dans divers contextes.

Cette vidéo est disponible exclusivement sur Mediaspace pour un public restreint. Veuillez vous connecter à Mediaspace pour y accéder si vous disposez des autorisations nécessaires.

Regarder sur Mediaspace

Enseignant·e·s (2)

Zsolt Patakfalvi

See CV here .

Domenico Valloni

Source officielle

Concepts associés (32)

Foncteur exact

En mathématiques, un foncteur exact est un foncteur qui commute aux limites inductives et projectives. De manière équivalente, c'est un foncteur qui préserve les suites exactes de catégories abéliennes et c'est de cela que vient la dénomination. Des foncteurs de ce type apparaissent naturellement en homologie et d'une manière générale en théorie des catégories, où leurs propriétés permettent des calculs élégants. Le « défaut d'exactitude » est mesuré par les foncteurs dérivés, par exemple les foncteurs Tor et Ext.

Foncteur Ext

Les foncteurs Ext sont les foncteurs dérivés du foncteur Hom. Ils sont d'abord apparus en algèbre homologique, où ils jouent un rôle central par exemple dans le théorème des coefficients universels, mais interviennent aujourd'hui dans de nombreuses branches différentes des mathématiques. Ce foncteur apparaît originellement dans l'étude des extensions de modules, d'où il tire son nom. Soit A une catégorie abélienne. D'après le théorème de plongement de Mitchell, on peut toujours imaginer travailler avec une catégorie de modules.

Suite exacte

En mathématiques, plus particulièrement en algèbre homologique, une suite exacte est une suite (finie ou infinie) d'objets et de morphismes entre ces objets telle que l' de l'un est égale au noyau du suivant. Dans le contexte de la théorie des groupes, on dit que la suite (finie ou infinie) de groupes et de morphismes de groupes est exacte si pour tout entier naturel n on a . Dans ce qui précède, sont des groupes et des morphismes de groupes avec . Dans la suite, 0 dénote le groupe trivial, qui est l'objet nul dans la catégorie des groupes.

Foncteur Hom

En mathématiques, le foncteur Hom est un foncteur associé aux morphismes de la catégorie des ensembles. Il est central en théorie des catégories, notamment du fait de son rôle dans le lemme de Yoneda et parce qu'il permet de définir le foncteur Ext. Soit une catégorie localement petite. Pour tout couple d'objets A et B dans cette catégorie, un morphisme induit une fonction pour tout objet X.

Foncteur adjoint

L'adjonction est une situation omniprésente en mathématiques, et formalisée en théorie des catégories par la notion de foncteurs adjoints. Une adjonction entre deux catégories et est une paire de deux foncteurs et vérifiant que, pour tout objet X dans C et Y dans D, il existe une bijection entre les ensembles de morphismes correspondants et la famille de bijections est naturelle en X et Y. On dit que F et G sont des foncteurs adjoints et plus précisément, que F est « adjoint à gauche de G » ou que G est « adjoint à droite de F ».

Afficher plus

Séances de cours associées (32)

Cohomologie de groupe

Couvre le concept de cohomologie de groupe, se concentrant sur les complexes de chaîne, les complexes de cochain, les produits de tasse et les anneaux de groupe.

Théorème algébrique de la Kunneth

Couvre le théorème algébrique de la Kunneth, expliquant les complexes de chaîne et les calculs de cohomologie.

Adjonctions et Functor Categories: Explorer les connexions

Couvre les adjonctions et les catégories de foncteur, en soulignant leur importance dans la théorie des catégories et les applications dans l'apprentissage profond.

Transfert de structures modèles

Couvre le transfert de structures de modèles par des adjonctions dans le contexte des catégories de modèles.

Adjonctions et limites: explorer les functors et les co-limites

Couvre les adjonctions et les limites, en se concentrant sur les foncteurs, les co-limites et leurs applications dans la théorie des catégories.

Afficher plus

Concepts associés (32)