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.
Kähler differentialIn mathematics, Kähler differentials provide an adaptation of differential forms to arbitrary commutative rings or schemes. The notion was introduced by Erich Kähler in the 1930s. It was adopted as standard in commutative algebra and algebraic geometry somewhat later, once the need was felt to adapt methods from calculus and geometry over the complex numbers to contexts where such methods are not available. Let R and S be commutative rings and φ : R → S be a ring homomorphism.
Noncommutative ringIn mathematics, a noncommutative ring is a ring whose multiplication is not commutative; that is, there exist a and b in the ring such that ab and ba are different. Equivalently, a noncommutative ring is a ring that is not a commutative ring. Noncommutative algebra is the part of ring theory devoted to study of properties of the noncommutative rings, including the properties that apply also to commutative rings. Sometimes the term noncommutative ring is used instead of ring to refer to an unspecified ring which is not necessarily commutative, and hence may be commutative.
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.
Schéma (géométrie algébrique)En mathématiques, les schémas sont les objets de base de la géométrie algébrique, généralisant la notion de variété algébrique de plusieurs façons, telles que la prise en compte des multiplicités, l'unicité des points génériques et le fait d'autoriser des équations à coefficients dans un anneau commutatif quelconque.
Projective coverIn the branch of abstract mathematics called , a projective cover of an object X is in a sense the best approximation of X by a projective object P. Projective covers are the of injective envelopes. Let be a and X an object in . A projective cover is a pair (P,p), with P a projective object in and p a superfluous epimorphism in Hom(P, X). If R is a ring, then in the category of R-modules, a superfluous epimorphism is then an epimorphism such that the kernel of p is a superfluous submodule of P.
Homologie singulièreEn topologie algébrique, l'homologie singulière est une construction qui permet d'associer à un espace topologique X une suite homologique de groupes abéliens libres ou de modules. Cette association est un invariant topologique non complet, c'est-à-dire que si deux espaces sont homéomorphes alors ils ont mêmes groupes d'homologie singulière en chaque degré mais que la réciproque est fausse. Le théorème de Stokes appliqué à des formes fermées donne des intégrales nulles. Cependant, il se fonde sur une hypothèse cruciale de compacité.
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.
Longueur d'un moduleLa longueur d'un module M sur un anneau A est un entier naturel ou l'infini. Elle généralise d'une certaine manière la notion de dimension d'un espace vectoriel sur un corps. Les modules de longueur finie ont beaucoup de particularités généralisant celles des espaces vectoriels de dimension finie. Les modules simples sont les modules M non nuls qui n'ont pas d'autres sous-modules que {0} et M. Par exemple, un espace vectoriel est simple en tant que module si et seulement si c'est une droite vectorielle.
Anneau localEn mathématiques, et plus particulièrement en algèbre commutative, un anneau local est un anneau commutatif possédant un unique idéal maximal. En géométrie algébrique, les anneaux locaux représentent les fonctions définies au voisinage d'un point donné. Pour tout anneau A, les propriétés suivantes sont équivalentes : A est local ; ses éléments non inversibles forment un idéal (qui sera alors l'idéal maximal de A et coïncidera avec son radical de Jacobson) ; ses éléments non inversibles appartiennent à un même idéal propre ; pour tout élément a de A, soit a soit 1 – a est inversible ; pour tout élément a de A, soit a soit 1 – a est inversible à gauche ; il existe un idéal maximal M tel que pour tout élément a de M, 1 + a est inversible.
