Dimension homologique | EPFL Graph Search

Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?

Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.

Découvrez-en plus sur les applications Graph.

En 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. semi-simple, régulier au sens de von Neumann). Dans le cas d'un anneau commutatif noethérien R, ces trois dimensions coïncident si R est régulier, en particulier si sa dimension homologique est finie. Soit un R-module. La suite exacteest appelée une résolution gauche de . Si pour tout , le module est projectif (respectivement plat, libre), cette résolution est dite projective (resp. plate, libre). Si et pour tout , cette résolution est dite de longueur . S'il n'existe pas de tel entier , cette résolution est dite de longueur infinie. La suite exacteest appelée une résolution droite de . Si pour tout , le module est injectif, cette résolution est dite injective. On définit comme plus haut la longueur d'une résolution injective. Tout R-module admet des résolutions libres, et donc des résolutions projectives et plates. Tout R-module admet également des résolutions injectives. Dans ce qui suit, et l'on prend pour convention que pour tout , , et . Soit un R-module à gauche. Sa dimension projective (resp. injective, plate), notée (resp. ) est la borne inférieure dans des longueurs des résolutions projectives (resp. injectives, plates) de . On a . Pour que soit projectif (resp. injectif, plat) il faut et il suffit que (resp. ). Nous ne revenons pas ici sur la dimension de Krull. Soit la catégorie des R-modules à gauche. Les quantités suivantes sont égales : Leur valeur commune est appelée la dimension globale à gauche de R et est notée dans ce qui suit .

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (23)

Personnes associées (1)

Unités associées (1)

Concepts associés (12)

Cours associés (1)

Séances de cours associées (11)

Théorème des syzygies de Hilbert

Le théorème des syzygies est un important résultat mathématiques sur la théorie des anneaux, plus spécifiquement des anneaux de polynômes. Il joue également un rôle historique considérable, en ce qu'il a motivé et orienté le développement de la géométrie algébrique au début du . Il est dû au mathématicien allemand David Hilbert qui l'a démontré en 1890, posant avec le théorème de la base et le théorème des zéros les fondements de l'étude moderne des anneaux de polynômes.

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.

Module injectif

En 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.

MATH-311: Algebra IV - rings and modules

Ring and module theory with a major emphasis on commutative algebra and a minor emphasis on homological algebra.

The multivariate Serre conjecture ring

Luc Guyot

It is well-known that for any integral domain R, the Serre conjecture ring R(X), i.e., the localization of the univariate polynomial ring R[X] at monic polynomials, is a Bezout domain of Krull dimension

San Diego2023

Relative, local and global dimension in complex networks

Alexis Arnaudon

Dimension is a fundamental property of objects and the space in which they are embedded. Yet ideal notions of dimension, as in Euclidean spaces, do not always translate to physical spaces, which can be constrained by boundaries and distorted by inhomogenei ...

NATURE PORTFOLIO2022

New Results in Integer and Lattice Programming

Christoph Hunkenschröder

An integer program (IP) is a problem of the form

\min \{f(x) : \, Ax = b, \ l \leq x \leq u, \ x \in \Z^n\}

, where

A \in \Z^{m \times n}

b \in \Z^m

l,u \in \Z^n

, and

f: \Z^n \rightarrow \Z

is a separable convex objective function. The problem o ...

EPFL2020

Dimension de la variété algébrique MATH-328: Algebraic geometry I - Curves

Explore la dimension des variétés algébriques, y compris la dimension (Krull) des anneaux et les dimensions de calcul à l'aide d'outils d'algèbre commutative.

La théorie de la dimension des anneaux MATH-510: Algebraic geometry II - schemes and sheaves

Couvre la théorie de la dimension des anneaux, y compris l'additivité de la dimension et de la hauteur, Hauptidealsatz de Krull, et la hauteur des intersections générales complètes.

Analyse spectrale: Surfaces hyperboliques

Explore l'analyse spectrale des surfaces hyperboliques à travers la formule de trace et ses applications dans la compréhension des propriétés géométriques et spectrales.