Résultat de classification pour les anneaux locaux noethériens complets : un anneau local complet noethérien R de corps résiduel k est un quotient d'un anneau de séries formelles sur un anneau de coefficients adapté à la caractéristique. Si k contient un sous-corps isomorphe (caractéristique égale) alors R ≅ k[[x1,…,xn]]/J ; en caractéristique mixte R est un quotient d'un anneau de séries formelles sur un anneau de Cohen (un anneau de valuation discrète complet de corps résiduel k).

Principe

Relèvement des générateurs et des coefficients : la complétude et la noethéarité permettent de choisir un sous-anneau de coefficients (un corps ou un anneau de Cohen) et de relever des générateurs de l'idéal maximal de sorte que R se présente comme un quotient d'une algèbre de séries formelles sur cet anneau de coefficients.

Démonstration

Exemple en caractéristique égale : si R est une k-algèbre locale noethérienne complète de maximal m et corps résiduel k, choisir un système minimal de générateurs de m ; la complétion identifie R avec k[[x1,…,xr]]/J pour un certain idéal J, donnant une présentation locale explicite par séries formelles.

Mauvaise application

Supposer que tout anneau local noethérien (sans complétude) admet la même présentation, ou ignorer le rôle de la caractéristique résiduelle. Employer le théorème pour affirmer l'existence d'un corps de coefficients sans vérifier la caractéristique égale mène à des présentations incorrectes en caractéristique mixte.

Conséquence

Fournit des présentations canoniques pour les anneaux locaux complets, permettant de réduire des questions sur des anneaux locaux noethériens complets arbitraires à des questions sur des anneaux de séries formelles et des idéaux quotient explicites ; facilite la théorie des déformations, le calcul de la dimension et les constructions explicites.

Inversion

La réciproque — tout quotient d'un anneau de séries formelles est un anneau local noethérien complet — est vraie, de sorte que le théorème établit une équivalence entre être local noethérien complet (avec corps résiduel/anneau de coefficients donné) et admettre une telle présentation. La réciproque souligne que l'absence de complétude ou des coefficients mal choisis empêche une telle représentation.

Limite

S'applique aux anneaux locaux noethériens complets pour la topologie de l'idéal maximal ; il exclut les anneaux locaux non complets et les situations où la caractéristique résiduelle interdit le choix d'un corps de coefficients (nécessitant alors un anneau de Cohen). Il porte sur des présentations locales, non sur des classifications globales ou non noethériennes.

Tension sémantique

Tension entre les cas de caractéristique égale et mixte : en caractéristique égale on peut choisir un corps de coefficients à l'intérieur de R, tandis qu'en caractéristique mixte on doit recourir à un anneau de Cohen extérieur. Il y a aussi tension entre la minimalité des systèmes de générateurs et l'unicité de l'idéal quotient qui présente R.

Synthèse

Le Théorème de Structure de Cohen affirme que tout anneau local noethérien complet se réalise concrètement comme un quotient d'un anneau de séries formelles sur l'anneau de coefficients approprié (corps résiduel en caractéristique égale ou anneau de Cohen en caractéristique mixte), fournissant un modèle local uniforme pour les singularités complètes noethériennes.