K-théorie algébriqueEn mathématiques, la K-théorie algébrique est une branche importante de l'algèbre homologique. Son objet est de définir et d'appliquer une suite de foncteurs K de la catégorie des anneaux dans celle des groupes abéliens. Pour des raisons historiques, K et K sont conçus en des termes un peu différents des K pour n ≥ 2. Ces deux K-groupes sont en effet plus accessibles et ont plus d'applications que ceux d'indices supérieurs. La théorie de ces derniers est bien plus profonde et ils sont beaucoup plus difficiles à calculer, ne serait-ce que pour l'anneau des entiers.
Mathématiques discrètesLes mathématiques discrètes, parfois appelées mathématiques finies, sont l'étude des structures mathématiques fondamentalement discrètes, par opposition aux structures continues. Contrairement aux nombres réels, qui ont la propriété de varier "en douceur", les objets étudiés en mathématiques discrètes (tels que les entiers relatifs, les graphes simples et les énoncés en logique) ne varient pas de cette façon, mais ont des valeurs distinctes séparées.
Discrete valuationIn mathematics, a discrete valuation is an integer valuation on a field K; that is, a function: satisfying the conditions: for all . Note that often the trivial valuation which takes on only the values is explicitly excluded. A field with a non-trivial discrete valuation is called a discrete valuation field. To every field with discrete valuation we can associate the subring of , which is a discrete valuation ring. Conversely, the valuation on a discrete valuation ring can be extended in a unique way to a discrete valuation on the quotient field ; the associated discrete valuation ring is just .
Catégorie trianguléeEn mathématiques, une catégorie triangulée est une catégorie dotée d'une structure supplémentaire. De telles catégories ont été suggérées par Alexander Grothendieck et développées par Jean-Louis Verdier dans sa thèse de 1963 pour traiter les catégories dérivées. La notion de t-structure, qui y est directement liée, permet de reconstruire (en un sens partiel) une catégorie à partir d'une catégorie dérivée.
Complexe différentielEn 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).
Dérivation (algèbre)En algèbre, le terme dérivation est employé dans divers contextes pour désigner une application vérifiant l'identité de Leibniz. Selon le contexte, il peut s'agir, entre autres, d'une application additive définie sur un anneau A à valeurs dans un -module, ou bien d'un endomorphisme d'une algèbre unitaire sur un anneau unitaire. Cette notion est en particulier vérifiée par l'opérateur de dérivation d'une fonction (de variable réelle, par exemple); elle en est une généralisation utilisée en géométrie algébrique et en calcul différentiel sur les variétés (par exemple pour définir le crochet de Lie).
Anneau artinienEn algèbre commutative, un anneau artinien est un anneau vérifiant la condition de chaîne descendante pour ses idéaux. Les anneaux artiniens doivent leur nom au mathématicien autrichien Emil Artin. On dit qu'un anneau commutatif (unitaire) A est un anneau artinien si c'est un A-module artinien, autrement dit, si toute suite décroissante d'idéaux de A est stationnaire. Cela équivaut à dire que tout ensemble non vide d'idéaux de A admet un élément minimal (pour la relation d'inclusion).
Groupes d'homotopie des sphèresEn mathématiques, et plus spécifiquement en topologie algébrique, les groupes d'homotopie des sphères sont des invariants qui décrivent, en termes algébriques, comment des sphères de dimensions et égales ou différentes peuvent s'enrouler l'une sur l'autre. La notion, définie au départ pour des sphères de dimension 1 (cercles) et de dimension 2, se généralise à des sphères de toutes dimensions (les -sphères).
Gorenstein ringIn commutative algebra, a Gorenstein local ring is a commutative Noetherian local ring R with finite injective dimension as an R-module. There are many equivalent conditions, some of them listed below, often saying that a Gorenstein ring is self-dual in some sense. Gorenstein rings were introduced by Grothendieck in his 1961 seminar (published in ). The name comes from a duality property of singular plane curves studied by (who was fond of claiming that he did not understand the definition of a Gorenstein ring).
Homotopy colimit and limitIn mathematics, especially in algebraic topology, the homotopy limit and colimitpg 52 are variants of the notions of and colimit extended to the homotopy category . The main idea is this: if we have a diagramconsidered as an object in the , (where the homotopy equivalence of diagrams is considered pointwise), then the homotopy limit and colimits then correspond to the and coconewhich are objects in the homotopy category , where is the category with one object and one morphism.
