Relative homologyIn algebraic topology, a branch of mathematics, the (singular) homology of a topological space relative to a subspace is a construction in singular homology, for pairs of spaces. The relative homology is useful and important in several ways. Intuitively, it helps determine what part of an absolute homology group comes from which subspace. Given a subspace , one may form the short exact sequence where denotes the singular chains on the space X. The boundary map on descends to and therefore induces a boundary map on the quotient.
Suite spectraleEn algèbre homologique et en topologie algébrique, une suite spectrale est une suite de modules différentiels (En,dn) tels que En+1 = H(En) = Ker dn / dn est l'homologie de En. Elles permettent donc de calculer des groupes d'homologie par approximations successives. Elles ont été introduites par Jean Leray en 1946. Il y a plusieurs manières en pratique pour obtenir une telle suite. Historiquement, depuis 1950, les arguments des suites spectrales ont été un outil performant pour la recherche, notamment dans la théorie de l'homotopie.
Catégorie homotopique des complexes de chaînesEn algèbre homologique, la catégorie homotopique K(A) des complexes de chaînes dans une catégorie additive A est un cadre pour travailler avec des complexes de chaînes et équivalences homotopiques. Elle est un intermédiaire entre la catégorie des complexes de chaînes Kom(A) de A et la catégorie dérivée D(A) de A lorsque A est abélien ; contrairement à la première, c'est une catégorie triangulée, et contrairement à la seconde, sa construction n'exige pas que A soit abélien.
Jean LerayJean Leray, né le à Chantenay-sur-Loire (Loire-Inférieure) et mort le à La Baule, est un mathématicien français qui a travaillé à la fois sur les équations aux dérivées partielles, la mécanique des fluides et sur la topologie algébrique. Il passe sa jeunesse à Nantes et à Rennes, puis fait ses études à l'École normale supérieure et devient professeur à Nancy en 1936. Il effectue ses principaux travaux en topologie entre 1940 et 1945 alors qu'il est prisonnier de guerre en Autriche.
Cohomologie galoisienneEn mathématiques, la cohomologie galoisienne est l'étude de l'action d'un groupe de Galois sur certains groupes, par des méthodes cohomologiques. Elle permet d'obtenir des résultats à la fois sur le groupe de Galois agissant, et sur le groupe sur lequel il agit. En particulier, le groupe de Galois d'une extension de corps de nombres L/K agit naturellement par exemple sur le groupe multiplicatif L, mais aussi sur le groupe des unités de l'anneau des entiers du corps L, ou sur son groupe des classes.
Zig-zag lemmaIn mathematics, particularly homological algebra, the zig-zag lemma asserts the existence of a particular long exact sequence in the homology groups of certain chain complexes. The result is valid in every . In an abelian category (such as the category of abelian groups or the category of vector spaces over a given field), let and be chain complexes that fit into the following short exact sequence: Such a sequence is shorthand for the following commutative diagram: where the rows are exact sequences and each column is a chain complex.
Regular categoryIn , a regular category is a category with and coequalizers of a pair of morphisms called kernel pairs, satisfying certain exactness conditions. In that way, regular categories recapture many properties of abelian categories, like the existence of images, without requiring additivity. At the same time, regular categories provide a foundation for the study of a fragment of first-order logic, known as regular logic. A category C is called regular if it satisfies the following three properties: C is .
Catégorie de modèlesEn mathématiques, plus précisément en théorie de l'homotopie, une catégorie de modèles est une catégorie dotée de trois classes de morphismes, appelés équivalences faibles, fibrations et cofibrations, satisfaisant à certains axiomes. Ceux-ci sont abstraits du comportement homotopique des espaces topologiques et des complexes de chaînes. La théorie des catégories de modèles est une sous-branche de la théorie des catégories et a été introduite par Daniel Quillen en 1967 pour généraliser l'étude de l'homotopie aux catégories et ainsi avoir de nouveaux outils pour travailler avec l'homotopie dans les espaces topologiques.
DérivateurUn dérivateur est une notion mathématique introduite par Alexander Grothendieck pour essayer de rendre compte de manière catégorique des différentes théories de l'homologie et de l'homotopie, notamment en comblant les défauts des catégories dérivées. Les dérivateurs peuvent se concevoir comme un aperçu des catégories d'ordre supérieur, tout en demeurant un objet de la théorie des catégories ordinaires. Il s'agit de trouver un « bon » cadre pour l'algèbre homologique et , c'est-à-dire un jeu de catégories et de constructions qui en rendent compte de manière naturelle.
Chain (algebraic topology)In algebraic topology, a -chain is a formal linear combination of the -cells in a cell complex. In simplicial complexes (respectively, cubical complexes), -chains are combinations of -simplices (respectively, -cubes), but not necessarily connected. Chains are used in homology; the elements of a homology group are equivalence classes of chains. For a simplicial complex , the group of -chains of is given by: where are singular -simplices of . Note that any element in not necessary to be a connected simplicial complex.
