Propriété d'un module, d'une algèbre ou d'un idéal consistant à pouvoir être engendré par un ensemble fini d'éléments : il existe un tuple fini dont les combinaisons R-linéaires (ou algébriques) engendrent l'objet entier. Souvent abrégé 'de type fini'.

Principe

Contrôle par des données finies : la génération finie exprime que la structure algébrique globale se construit à partir d'un nombre fini de générateurs, permettant des arguments noethériens, des raisonnements par induction sur le nombre de générateurs et des présentations effectives.

Démonstration

Le Z-module Z^n est de génération finie engendré par la base standard à n éléments. L'algèbre de polynômes k[x] est de type fini comme k-algèbre engendrée par un élément x, tandis que l'idéal (x,y) dans k[x,y] est engendré par x et y.

Mauvaise application

Confondre génération finie et invariance sous tout changement de base ou quotient sans vérifier les hypothèses ; présumer que la génération finie implique présentation finie ou liberté sans conditions supplémentaires conduit à des erreurs.

Conséquence

La génération finie procure des propriétés de compacité : les sous-modules de modules de type fini sur anneaux noethériens sont de type fini, de nombreux algorithmes terminent, et des théorèmes structurels (théorème de la base de Hilbert, arguments sur la dimension de Krull) s'appliquent.

Inversion

La génération infinie signifie qu'aucun ensemble fini ne suffit ; les objets peuvent nécessiter une infinité de générateurs, entraînant des pathologies algorithmiques, l'échec des réductions noethériennes et un comportement homologique plus subtil.

Limite

La génération finie se distingue de la présentation finie (les relations peuvent être infinies) et de la longueur finie (séries de composition) ; la propriété dépend de l'anneau et de la catégorie (module vs algèbre) et doit être formulée précisément.

Tension sémantique

Tension entre génération finie et notions de finitude comme présentation finie, type fini et dimension homologique finie ; ces notions coïncident seulement sous hypothèses supplémentaires sur l'anneau et ne sont pas interchangeables.

Synthèse

La génération finie signifie que l'objet est engendré par un nombre fini d'éléments : une condition de finitude fondamentale qui permet les techniques noethériennes et des descriptions effectives, mais qu'il faut distinguer d'autres propriétés plus fortes.