Dimension homologiqueEn algèbre, la dimension homologique d'un anneau R diffère en général de sa dimension de Krull et se définit à partir des résolutions projectives ou injectives des R-modules. On définit également la dimension faible à partir des résolutions plates des R-modules. La dimension de Krull (respectivement homologique, faible) de R peut être vue comme une mesure de l'éloignement de cet anneau par rapport à la classe des anneaux artiniens (resp. semi-simples, ), cette dimension étant nulle si, et seulement si R est artinien (resp.
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.
Objet projectifEn théorie des catégories, un objet projectif est une forme de généralisation des modules projectifs. Les objets projectifs dans les catégories abéliennes sont utilisés en algèbre homologique. La notion duale d'objet projectif est celle d'. Un objet dans une catégorie est dit projectif si pour tout épimorphisme et tout morphisme , il existe un morphisme tel que , c'est-à-dire que le diagramme suivant commute : 150px|center Autrement dit, tout morphisme se factorise par les épimorphismes .
Foncteur HomEn mathématiques, le foncteur Hom est un foncteur associé aux morphismes de la catégorie des ensembles. Il est central en théorie des catégories, notamment du fait de son rôle dans le lemme de Yoneda et parce qu'il permet de définir le foncteur Ext. Soit une catégorie localement petite. Pour tout couple d'objets A et B dans cette catégorie, un morphisme induit une fonction pour tout objet X.
Uniform moduleIn abstract algebra, a module is called a uniform module if the intersection of any two nonzero submodules is nonzero. This is equivalent to saying that every nonzero submodule of M is an essential submodule. A ring may be called a right (left) uniform ring if it is uniform as a right (left) module over itself. Alfred Goldie used the notion of uniform modules to construct a measure of dimension for modules, now known as the uniform dimension (or Goldie dimension) of a module.
Hereditary ringIn mathematics, especially in the area of abstract algebra known as module theory, a ring R is called hereditary if all submodules of projective modules over R are again projective. If this is required only for finitely generated submodules, it is called semihereditary. For a noncommutative ring R, the terms left hereditary and left semihereditary and their right hand versions are used to distinguish the property on a single side of the ring.
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é.
Injective hullIn mathematics, particularly in algebra, the injective hull (or injective envelope) of a module is both the smallest injective module containing it and the largest essential extension of it. Injective hulls were first described in . A module E is called the injective hull of a module M, if E is an essential extension of M, and E is injective. Here, the base ring is a ring with unity, though possibly non-commutative. An injective module is its own injective hull. The injective hull of an integral domain is its field of fractions .
Essential extensionIn mathematics, specifically module theory, given a ring R and an R-module M with a submodule N, the module M is said to be an essential extension of N (or N is said to be an essential submodule or large submodule of M) if for every submodule H of M, implies that As a special case, an essential left ideal of R is a left ideal that is essential as a submodule of the left module RR. The left ideal has non-zero intersection with any non-zero left ideal of R. Analogously, an essential right ideal is exactly an essential submodule of the right R module RR.
Circle groupIn mathematics, the circle group, denoted by or , is the multiplicative group of all complex numbers with absolute value 1, that is, the unit circle in the complex plane or simply the unit complex numbers The circle group forms a subgroup of , the multiplicative group of all nonzero complex numbers. Since is abelian, it follows that is as well. A unit complex number in the circle group represents a rotation of the complex plane about the origin and can be parametrized by the angle measure : This is the exponential map for the circle group.
