Théorème affirmant que si R est un anneau noethérien (commutatif avec unité, en général), alors l'anneau de polynômes R[x] est lui aussi noethérien ; par induction, R[x1,...,xn] est noethérien pour tout n fini. Autrement dit, les idéaux de tels anneaux de polynômes sont de type fini.

Principe

Préservation de la finitude par extension polynomiale : la propriété noethérienne (absence de chaînes strictement croissantes infinies d'idéaux) est stable lorsqu'on adjoint un nombre fini de variables polynomiales, organisant le transfert des propriétés de génération finie de l'anneau de base vers les algèbres polynomiales.

Démonstration

Si R est noethérien, considérer un idéal I de R[x]. On étudie les coefficients dominants et on construit un ensemble fini de générateurs en relevant les générateurs des idéaux de coefficients ; par induction cela montre que R[x] n'admet pas de chaînes croissantes infinies d'idéaux. Concrètement, pour un corps k, l'anneau k[x1,...,xn] est noethérien et tout idéal possède une base finie.

Mauvaise application

Supposer que le théorème vaut pour des anneaux de polynômes en un nombre infini de variables ou pour des anneaux non commutatifs quelconques sans vérification. Une autre mauvaise application est d'inférer des bornes effectives sur les générateurs ou les degrés à partir du théorème seul ; le résultat garantit la génération finie mais pas des bornes explicites en général.

Conséquence

Nombreux résultats structurels en algèbre et géométrie algébrique en découlent : finitude des générateurs d'idéaux, existence de décompositions primaires dans les anneaux de polynômes et fondements algorithmiques pour la théorie de l'élimination. Il sous-tend l'idée que les variétés sont définies par un nombre fini d'équations sur des bases noethériennes.

Inversion

Le cas de défaillance survient si l'anneau de base n'est pas noethérien ou si l'on adjoint infiniment de variables : les anneaux de polynômes en indéterminées infinies échouent en général à être noethériens et admettent des chaînes strictement croissantes d'idéaux. En contextes non commutatifs la stabilité de la propriété noethérienne peut aussi faire défaut.

Limite

Les hypothèses comptent : l'anneau de base doit être noethérien (commutativité et unité généralement supposées pour les preuves classiques), et le théorème concerne un nombre fini de variables polynomiales. Il ne garantit ni bornes effectives sur les degrés ni extensionalité aux variables infinies ni aux extensions arbitraires d'anneaux.

Tension sémantique

Tension entre l'existence de générateurs finis et l'effectivité : Hilbert assure une base finie mais souvent de manière non constructive ou sans bornes de degré utiles. Tension aussi avec des anneaux pathologiques où la noethérianité échoue ou avec des algèbres en variables infinies où réapparaissent des chaînes ascendantes.

Synthèse

Le Théorème de la Base de Hilbert formalise que la noethérianité se conserve lorsqu'on adjoint un nombre fini de variables polynomiales : à partir d'une base noethérienne, les algèbres polynomiales restent finies au niveau des idéaux, fournissant une assise de finitude pour la géométrie algébrique et l'algèbre commutative.