Un anneau dans lequel tout idéal finiment engendré est finiement présenté ; de façon équivalente, le noyau de tout homomorphisme entre modules libres de type fini est finiment engendré. Cela assure une finitude contrôlée des relations entre générateurs.

Principe

La cohérence est un principe de finitude pour les relations : les générateurs des idéaux finiment engendrés ont un module de relations finiment engendré, de sorte que la catégorie des modules finiment présentés possède de meilleures propriétés d'exactitude que pour des anneaux arbitraires.

Démonstration

Tout anneau noethérien est cohérent. Des exemples concrets cohérents sont Z et les anneaux de polynômes en un nombre fini de variables k[x1,...,xn]. Dans ces anneaux, le noyau d'une application entre modules libres de type fini est finiment engendré, et les constructions algébriques usuelles sont bien contrôlées au niveau des présentations finies.

Mauvaise application

Confondre cohérence et noethérianité ou supposer que la cohérence s'étend automatiquement à des constructions infinies ; utiliser la cohérence pour conclure que tous les sous-modules de modules finiment présentés sont finiment présentés sans vérifier les hypothèses.

Conséquence

La cohérence garantit que les modules finiment présentés forment une sous-catégorie exacte ; noyaux et relations de type fini sont maîtrisables, ce qui facilite les notions de cohérence au sens faisceau sur les schémas et rend possibles certains calculs homologiques sans noethérianité complète.

Inversion

Un anneau non cohérent, dans lequel un idéal finiment engendré n'est pas finiement présenté, ce qui rompt la finitude des relations entre générateurs.

Limite

La cohérence concerne la présentation finie des idéaux finiment engendrés et des noyaux entre modules libres de type fini ; elle n'implique pas la noethérianité, l'artinianité ni la dimension globale finie, et doit être vérifiée séparément en contexte non commutatif où les définitions peuvent varier.

Tension sémantique

Il existe une tension entre cohérence et noethérianité : les anneaux noethériens sont cohérents, mais les anneaux cohérents ne sont pas nécessairement noethériens. De même, la cohérence met l'accent sur les relations tandis que d'autres propriétés de finitude portent sur la génération ou les conditions de chaînes.

Synthèse

Un Anneau Cohérent garantit que les idéaux finiment engendrés ont un nombre fini de relations : cette condition intermédiaire de finitude stabilise les noyaux des applications entre modules finis et préserve de nombreuses constructions algébriques et géométriques qui, autrement, exigeraient des hypothèses noethériennes.