Foncteur TorEn 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.
Algèbre extérieureEn mathématiques, et plus précisément en algèbre et en analyse vectorielle, l'algèbre extérieure d'un espace vectoriel E est une algèbre associative graduée, notée . La multiplication entre deux éléments a et b est appelée le produit extérieur et est notée . Le carré de tout élément de E est zéro (), on dit que la multiplication est alternée, ce qui entraîne que pour deux éléments de E : (la loi est « anti-commutative »). L'algèbre extérieure est aussi appelée algèbre de Grassmann nommée ainsi en l'honneur de Hermann Grassmann.
Dualité (mathématiques)thumb|Dual d'un cube : un octaèdre. En mathématiques, le mot dualité a de nombreuses utilisations. Une dualité est définie à l'intérieur d'une famille d'objets mathématiques, c'est-à-dire qu'à tout objet de on associe un autre objet de . On dit que est le dual de et que est le primal de . Si (par = on peut sous-entendre des relations d'isomorphies complexes), on dit que est autodual. Dans de nombreux cas de dualité, le dual du dual est le primal. Ainsi, par exemple, le concept de complémentaire d'un ensemble pourrait être vu comme le premier des concepts de dualité.
Théorème des coefficients universelsLe théorème des coefficients universels est un résultat d'algèbre homologique portant sur les groupes d'homologie et de cohomologie d'un complexe de chaînes. Ce théorème comporte deux volets : d'une part il relie entre elles homologie et cohomologie, et d'autre part il explique le lien entre la (co)homologie à coefficients dans et la (co)homologie à coefficients dans un groupe . Une utilisation courante de ce théorème est de calculer les groupes de cohomologie à coefficient dans un groupe via le calcul de la cohomologie dans , qui sont faciles à calculer (par exemple au moyen d'une décomposition cellulaire).
Alexandre GrothendieckAlexandre Grothendieck, né Alexander Grothendieck (prononcé en allemand : ), est un mathématicien français, né le à Berlin et mort le à Saint-Lizier, près de Saint-Girons (Ariège). Il est resté longtemps apatride tout en vivant principalement en France ; il a acquis la nationalité française en 1971. Il est considéré comme le refondateur de la géométrie algébrique et, à ce titre, comme l'un des plus grands mathématiciens du . Il était connu pour son intuition extraordinaire et sa capacité de travail exceptionnelle.
Groupe orthogonalEn mathématiques, le groupe orthogonal réel de degré n, noté O(n), est le groupe des transformations géométriques d'un espace Euclidien de dimension n qui préservent les distances (isométries) et le point origine de l'espace. Formellement, on introduit le groupe orthogonal d'une forme quadratique q sur E, espace vectoriel sur un corps commutatif K, comme le sous-groupe du groupe linéaire GL(E) constitué des automorphismes f de E qui laissent q invariante : pour tout vecteur x de E.
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.
Complex projective spaceIn mathematics, complex projective space is the projective space with respect to the field of complex numbers. By analogy, whereas the points of a real projective space label the lines through the origin of a real Euclidean space, the points of a complex projective space label the complex lines through the origin of a complex Euclidean space (see below for an intuitive account). Formally, a complex projective space is the space of complex lines through the origin of an (n+1)-dimensional complex vector space.
Espace des lacetsEn mathématiques, l'espace des lacets d'un espace topologique pointé est l'ensemble des applications continues d'un segment dans cet espace, tel que l'image des deux extrémités du segment coïncide avec le point de base. Muni de la topologie compacte-ouverte, il s'agit d'un invariant homotopique. La concaténation et le renversement des lacets en font un h-groupe. L'espace des lacets d'un CW-complexe a le type d'homotopie d'un CW-complexe. L’espace des lacets est la cofibre de l’inclusion de l’espace des chemins pointés dans l’espace des chemins.
Spectre (topologie)En topologie algébrique, une branche des mathématiques, un spectre est un objet représentant une théorie cohomologique généralisée (qui découle du ). Cela signifie que, étant donné une théorie de cohomologie,il existe des espaces tels que l'évaluation de la théorie cohomologique en degré sur un espace équivaut à calculer les classes d'homotopie des morphismes à l'espace , soit encore.Remarquons qu'il existe plusieurs catégories de spectres différentes conduisant à de nombreuses difficultés techniques, mais ils déterminent tous la même , connue sous le nom de catégorie d'homotopie stable.
