Définition
Propriété d'un module ou d'une algèbre signifiant qu'il admet une description par un nombre fini de générateurs et un nombre fini de relations ; équivalemment il existe une suite exacte R^m → R^n → M → 0 avec m,n finis.
Principe
Principe
La finitude à la fois des générateurs et des relations fournit un jeu de données fini déterminant l'objet et rendant de nombreuses constructions algébriques effectives et bien comportées.
Démonstration
Démonstration
Une k-algèbre A = k[x1,...,xn]/(f1,...,fm) dont l'idéal est engendré par l'ensemble fini {f1,...,fm} est de présentation finie en tant que k-algèbre. Comme R-module, M présenté par une matrice finie R^m → R^n est de présentation finie.
Mauvaise application
Mauvaise application
Supposer que tout module finiment engendré est de présentation finie ; des contre‑exemples existent lorsque le module nécessite une infinité de relations (par exemple certains sous‑modules de modules libres).
Conséquence
Conséquence
La présentation finie se conserve par changement de base et par localisation ; c'est une hypothèse cruciale pour la représentabilité de foncteurs et pour garantir un contrôle de type fini des applications entre schémas ou algèbres.
Inversion
Inversion
Un objet de présentation infinie possède éventuellement un nombre fini de générateurs mais une infinité de relations ; un tel objet échappe à une paramétrisation finie.
Limite
Limite
S'applique aux présentations algébriques (module/algèbre) sur un anneau fixé ; les complétions topologiques, les pro‑objets ou les présentations autorisant des relations infinies sont hors de ce cadre sans structure supplémentaire.
Tension sémantique
Tension sémantique
La notion de type fini (engendré finiment) est souvent confondue avec celle de présentation finie ; la tension tient au fait que le type fini ignore les relations alors que la présentation finie exige qu'elles soient finies également.
Synthèse
Synthèse
La présentation finie signifie que l'objet est complètement encodé par une liste finie de générateurs et une liste finie de relations, fournissant une description algébrique compacte et stable par localisation et changement de base.