Produit tensoriel de deux modulesLe produit tensoriel de deux modules est une construction en théorie des modules qui, à deux modules sur un même anneau commutatif unifère A, assigne un module. Le produit tensoriel est très important dans les domaines de l'analyse fonctionnelle, de la topologie algébrique et de la géométrie algébrique. Le produit tensoriel permet en outre de ramener l'étude d'applications bilinéaires ou multilinéaires à des applications linéaires.
Module projectifEn mathématiques, un module projectif est un module P (à gauche par exemple) sur un anneau A tel que pour tout morphisme surjectif f : N → M entre deux A-modules (à gauche) et pour tout morphisme g : P → M, il existe un morphisme h : P → N tel que g = fh, c'est-à-dire tel que le diagramme suivant commute : center Autrement dit : P est projectif si pour tout module N, tout morphisme de P vers un quotient de N se factorise par N.
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.
Module injectifEn mathématiques, et plus spécifiquement en algèbre homologique, un module injectif est un module Q (à gauche par exemple) sur un anneau A tel que pour tout morphisme injectif f : X → Y entre deux A-modules (à gauche) et pour tout morphisme g : X → Q, il existe un morphisme h : Y → Q tel que hf = g, c'est-à-dire tel que le diagramme suivant commute : center Autrement dit : Q est injectif si pour tout module Y, tout morphisme d'un sous-module de Y vers Q s'étend à Y.
Resolution (algebra)In mathematics, and more specifically in homological algebra, a resolution (or left resolution; dually a coresolution or right resolution) is an exact sequence of modules (or, more generally, of s of an ), which is used to define invariants characterizing the structure of a specific module or object of this category. When, as usually, arrows are oriented to the right, the sequence is supposed to be infinite to the left for (left) resolutions, and to the right for right resolutions.
Localisation (mathématiques)En algèbre, la localisation est une des opérations de base de l'algèbre commutative. C'est une méthode qui construit à partir d'un anneau commutatif un nouvel anneau. La construction du corps des fractions est un cas particulier de la localisation. La localisation consiste à rendre inversibles les éléments d'une partie (« partie multiplicative ») de l'anneau. L'exemple le plus connu est le corps des fractions d'un anneau intègre qui se construit en rendant inversibles tous les éléments non nuls de l'anneau.
Finitely generated moduleIn mathematics, a finitely generated module is a module that has a finite generating set. A finitely generated module over a ring R may also be called a finite R-module, finite over R, or a module of finite type. Related concepts include finitely cogenerated modules, finitely presented modules, finitely related modules and coherent modules all of which are defined below. Over a Noetherian ring the concepts of finitely generated, finitely presented and coherent modules coincide.
Primary idealIn mathematics, specifically commutative algebra, a proper ideal Q of a commutative ring A is said to be primary if whenever xy is an element of Q then x or yn is also an element of Q, for some n > 0. For example, in the ring of integers Z, (pn) is a primary ideal if p is a prime number. The notion of primary ideals is important in commutative ring theory because every ideal of a Noetherian ring has a primary decomposition, that is, can be written as an intersection of finitely many primary ideals.
Complétion (algèbre)En algèbre, une complétion est l'un des foncteurs sur les anneaux et les modules qui produit des anneaux topologiques et modules topologiques complets. La complétion est similaire à la localisation et, ensemble, ce sont des outils de base pour étudier les anneaux commutatifs. Les anneaux commutatifs complets ont une structure plus simple que les anneaux généraux, et on peut y appliquer le lemme de Hensel.
Module libreEn algèbre, un module libre est un module M qui possède une base B, c'est-à-dire un sous-ensemble de M tel que tout élément de M s'écrive de façon unique comme combinaison linéaire (finie) d'éléments de B. Une base de M est une partie B de M qui est à la fois : génératrice pour M, c'est-à-dire que tout élément de M est combinaison linéaire d'éléments de B ; libre, c'est-à-dire que pour toutes familles finies (ei)1≤i≤n d'éléments de B deux à deux distincts et (ai)1≤i≤n d'éléments de l'anneau sous-jacent telles que a1e1 + .
Foncteur exactEn mathématiques, un foncteur exact est un foncteur qui commute aux limites inductives et projectives. De manière équivalente, c'est un foncteur qui préserve les suites exactes de catégories abéliennes et c'est de cela que vient la dénomination. Des foncteurs de ce type apparaissent naturellement en homologie et d'une manière générale en théorie des catégories, où leurs propriétés permettent des calculs élégants. Le « défaut d'exactitude » est mesuré par les foncteurs dérivés, par exemple les foncteurs Tor et Ext.
Anneau cohérentLa notion d'anneau cohérent est plus faible que celle d'anneau noethérien. Les anneaux cohérents jouissent néanmoins de remarquables propriétés, qu'on peut résumer en disant que sur de tels anneaux, les modules de présentation finie forment une sous-catégorie abélienne pleine de la catégorie des modules (tandis que sur un anneau noethérien, cela est vrai même pour les modules de type fini). On définit également la notion de d'anneaux sur un espace topologique. Soit un anneau et un -module.
Torsion-free moduleIn algebra, a torsion-free module is a module over a ring such that zero is the only element annihilated by a regular element (non zero-divisor) of the ring. In other words, a module is torsion free if its torsion submodule is reduced to its zero element. In integral domains the regular elements of the ring are its nonzero elements, so in this case a torsion-free module is one such that zero is the only element annihilated by some non-zero element of the ring.
Anneau local régulierEn mathématiques, les anneaux réguliers forment une classe d'anneaux très utile en géométrie algébrique. Ce sont des anneaux qui localement sont les plus proches possibles des anneaux de polynômes sur un corps. Soit un anneau local noethérien d'idéal maximal . Soit son espace tangent de Zariski qui est un espace vectoriel de dimension finie sur le corps résiduel . Cette dimension est minorée par la dimension de Krull de l'anneau . On dit que est régulier s'il y a égalité entre ces deux dimensions : Par le lemme de Nakayama, cela équivaut à dire que est engendré par éléments.
Anneau de Dedekindthumb|Richard Dedekind définit et établit les bases de la théorie des anneaux portant maintenant son nom. En mathématiques, un anneau de Dedekind est un anneau commutatif disposant de propriétés particulières (voir aussi anneau de Dedekind non commutatif). Sa formalisation initiale a pour objectif la description d'un ensemble d'entiers algébriques, ce concept est aussi utilisé en géométrie algébrique. Les anneaux de Dedekind doivent leur origine à la théorie algébrique des nombres.
Anneau de BooleUn anneau de Boole (ou Algèbre de Boole), est un anneau unitaire (E, +, •, 0, 1) dans lequel tout élément a vérifie la relation a•a = a. Il découle immédiatement de la définition qu'un anneau de Boole est commutatif et que chaque élément est son propre opposé (en calculant le carré de x + 1, puis celui de x + y). En un sens qui peut être rendu précis, les anneaux de Boole sont les algèbres de Boole présentées autrement.
Décomposition primaireLa décomposition primaire est une généralisation de la décomposition d'un nombre entier en facteurs premiers. Cette dernière décomposition, connue depuis Gauss (1832) sous le nom de théorème fondamental de l'arithmétiqueGauss 1832., s'étend naturellement au cas d'un élément d'un anneau principal. Une décomposition plus générale est celle d'un idéal d'un anneau de Dedekind en produit d'idéaux premiers; elle a été obtenue en 1847 par Kummer (dans le formalisme encore peu maniable des « nombres idéaux ») à l'occasion de ses recherches sur le dernier théorème de FermatKummer 1847.
Foncteur dérivé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.
Generic flatnessIn algebraic geometry and commutative algebra, the theorems of generic flatness and generic freeness state that under certain hypotheses, a sheaf of modules on a scheme is flat or free. They are due to Alexander Grothendieck. Generic flatness states that if Y is an integral locally noetherian scheme, u : X → Y is a finite type morphism of schemes, and F is a coherent OX-module, then there is a non-empty open subset U of Y such that the restriction of F to u−1(U) is flat over U. Because Y is integral, U is a dense open subset of Y.
Morphisme platEn géométrie algébrique, un morphisme de schémas peut être vu comme une famille de schémas paramétrée par les points de Y. La notion de platitude de f est une sorte de continuité de cette famille. Un morphisme est dit plat en un point x de X si l'homomorphisme d'anneaux induit par f est plat. On dit que f est un morphisme plat s'il est plat en tout point de X. On dit que f est fidèlement plat s'il est de plus surjectif. Si est un faisceau quasi-cohérent sur X.
