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.
La suite est exacte si et seulement si f est injective.
La suite est exacte si et seulement si g est surjective.
La suite est exacte si et seulement si f est bijective.
On peut aussi, de même que ces suites exactes infinies à droite, définir les suites exactes infinies à gauche (indexées par exemple par –N), ou infinies des deux côtés (indexées par Z).
On peut aussi définir des suites exactes pour d'autres structures et morphismes de ces structures, par exemple des suites exactes d'anneaux, d'algèbres, etc.
L'un des cas importants de suite exacte est celui de suite exacte courte, c'est-à-dire de suite exacte de la forme
En théorie des groupes, une suite exacte courte est parfois appelée extension de groupes.
Pour une suite exacte courte comme ci-dessus :
un scindage à gauche est une rétraction de q, c'est-à-dire un morphisme t : B → A tel que tq = id ;
un scindage à droite est une section de r, c'est-à-dire un morphisme u : C → B tel que ru = id ;
un scindage en biproduit (à la fois somme et produit) est une réalisation par B du biproduit A ⊕ C pour laquelle q s'identifie à l'injection naturelle de A dans A ⊕ C et r à la projection naturelle de dans C.
Dans la catégorie des groupes abéliens ou des modules sur un anneau et plus généralement dans toute catégorie abélienne, l'existence de ces trois scindages est équivalente et la suite exacte courte est alors dite scindée.
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.
Le lemme du serpent, en mathématiques, et en particulier en homologie et cohomologie, est un énoncé valide dans toute catégorie abélienne ; c'est un outil des plus importants pour la construction de suites exactes, objets omniprésents en homologie et ses applications, par exemple en topologie algébrique. Les morphismes ainsi construits sont généralement appelés « morphismes connectants ».
En mathématiques, et plus précisément en algèbre générale, au sein des structures algébriques, : pour un espace vectoriel, l'ensemble des scalaires forme un corps tandis que pour un module, cet ensemble est seulement muni d'une structure d'anneau (unitaire, mais non nécessairement commutatif). Une partie des travaux en théorie des modules consiste à retrouver les résultats de la théorie des espaces vectoriels, quitte pour cela à travailler avec des anneaux plus maniables, comme les anneaux principaux.
En mathématiques, les catégories abéliennes forment une famille de catégories qui contient celle des groupes abéliens. Leur étude systématique a été instituée par Alexandre Grothendieck pour éclairer les liens qui existent entre différentes théories cohomologiques, comme la cohomologie des faisceaux ou la cohomologie des groupes. Toute catégorie abélienne est additive. Une catégorie abélienne est une catégorie additive dans laquelle on peut additionner les flèches et définir pour toute flèche les notions de noyau, conoyau et .
Singular cohomology is defined by dualizing the singular chain complex for spaces. We will study its basic properties, see how it acquires a multiplicative structure and becomes a graded commutative a
Les systèmes non linéaires sont analysés en vue d'établir des lois de commande. On présente la stabilité au sens de Lyapunov, ainsi que des méthodes de commande géométrique (linéarisation exacte). Div
The students are going to solidify their knowledge of ring and module theory with a major emphasis on commutative algebra and a minor emphasis on homological algebra.
Explore les techniques de linéarisation exactes pour transformer les systèmes non linéaires en systèmes linéaires, en mettant l'accent sur la stabilité du système.
Training deep neural network based Automatic Speech Recognition (ASR) models often requires thousands of hours of transcribed data, limiting their use to only a few languages. Moreover, current state-
We investigate the theory of principal bundles from a homotopical point of view. In the first part of the thesis, we prove a classification of principal bundles over a fixed base space, dual to the we
EPFL2017
In the first part of this paper, we propose a uniform interpretation of characteristic classes as obstructions to the reduction of the structure group and to the existence of an equivariant extension