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.
En mathématiques, certains foncteurs peuvent être dérivés pour obtenir de nouveaux foncteurs liés de manière naturelle par des morphismes à ceux de départs. Cette notion abstraite permet d'unifier des constructions concrètes intervenant dans de nombreux domaines des mathématiques. Elle n'est pas liée à la notion de dérivation en analyse. La notion de foncteur dérivé est conçue pour donner un cadre général aux situations où une suite exacte courte donne naissance à une suite exacte longue.
In abstract algebra, Kaplansky's theorem on projective modules, first proven by Irving Kaplansky, states that a projective module over a local ring is free; where a not-necessarily-commutative ring is called local if for each element x, either x or 1 − x is a unit element. The theorem can also be formulated so to characterize a local ring (#Characterization of a local ring). For a finite projective module over a commutative local ring, the theorem is an easy consequence of Nakayama's lemma.
En mathématiques, le foncteur Tor est le foncteur dérivé associé au foncteur produit tensoriel. Il trouve son origine en algèbre homologique, où il apparaît notamment dans l'étude des suites spectrales et dans la formulation du théorème de Künneth. Les foncteurs dérivés tentent de mesurer le défaut d'exactitude d'un foncteur. Soit R un anneau, considérons la catégorie RMod des R-modules et ModR des R-modules à droite.
En mathématiques, un complexe différentiel est un groupe abélien (voire un module), ou plus généralement un objet d'une catégorie abélienne, muni d'un endomorphisme de carré nul (appelé différentielle ou bord), c'est-à-dire dont l' est contenue dans le noyau. Cette condition permet de définir son homologie, qui constitue un invariant essentiel en topologie algébrique. Un complexe différentiel peut être gradué pour constituer un complexe de chaines ou de cochaines).