La propriété selon laquelle un objet algébrique (anneau, module, algèbre, anneau d’invariants, etc.) ne peut pas être engendré par un nombre fini d’éléments ; il n’est donc pas de type fini et souvent non noethérien.

Principe

La génération finie est une condition de finitude garantissant la stabilisation des chaînes ascendantes et l’application de nombreux théorèmes structuraux (théorème de la base de Hilbert, lemme de Nakayama, cohérence) ; son échec signifie que ces contrôles s’effondrent et que de nouveaux générateurs ou relations infinis persistent.

Démonstration

Des exemples incluent des anneaux de polynômes en une infinité de variables, des modules nécessitant une infinité de générateurs, ou des anneaux d’invariants sous action de groupes qui ne sont pas de type fini (contre-exemples classiques), produisant des anneaux avec des chaînes ascendantes infinies d’idéaux ou un comportement du spectre pathologique.

Mauvaise application

Supposer la génération finie alors qu’elle échoue — par ex. appliquer des arguments de base de Hilbert, compter sur l’induction noethérienne ou utiliser des techniques de présentation finie — conduit à des déductions incorrectes sur la dimension, la finitude des syzygies ou la terminaison d’algorithmes.

Conséquence

Quand la génération finie échoue, il faut employer des outils différents : se restreindre à des sous-objets de type fini, introduire des filtrations ou complétions, admettre des méthodes non noethériennes, et s’attendre à des phénomènes tels que des modules de modules non compacts, la défaillance de la cohérence ou des chaînes infinies de syzygies.

Inversion

La génération finie (et la noethérianité) est l’inverse : l’objet est engendré par un nombre fini d’éléments et les théorèmes de finitude habituels et la terminaison algorithmique sont valides.

Limite

Concerne des structures algébriques où la génération a un sens — anneaux, modules, algèbres, objets gradués, anneaux d’invariants ; ne s’applique pas à des objets intrinsèquement infinis dont la nature est purement combinatoire ou d’ensemble sans notion algébrique d’engendrement.

Tension sémantique

Tension entre travailler dans des catégories noethériennes où la génération finie est supposée et des contextes véritablement non-noethériens ; aussi tension entre génération finie et présentation finie, et entre génération finie locale et propriétés de finitude globales.

Synthèse

La défaillance de la génération finie signale l’effondrement des contrôles noethériens : des générateurs ou relations infinis apparaissent, imposant des stratégies alternatives (localisation, complétions, sous-familles de type fini, ou méthodes homologiques adaptées aux situations non noethériennes) pour gérer les conséquences algébriques et géométriques.