Resultado de clasificación para anillos locales noetherianos completos: un anillo local completo noetheriano R con cuerpo residual k es un cociente de un anillo de series formales sobre un anillo de coeficientes que refleja la característica. Si k contiene una copia del cuerpo residual (característica igual) entonces R ≅ k[[x1,…,xn]]/J; en característica mixta R es cociente de un anillo de series formales sobre un anillo de Cohen (un DVR completo con cuerpo residual k).

Principio

Levantamiento de generadores y coeficientes: la completitud junto con la noetherianidad permiten escoger un subanillo de coeficientes (un campo o un anillo de Cohen) y levantar generadores del ideal maximal de modo que R se presente como un cociente de una álgebra de series formales sobre ese anillo de coeficientes.

Demostración

Ejemplo en característica igual: si R es una k-álgebra local noetheriana completa con ideal maximal m y cuerpo residual k, elegir un sistema minimal de generadores de m; la completación identifica R con k[[x1,…,xr]]/J para algún ideal J, dando una presentación local explícita por series formales.

Aplicación incorrecta

Suponer que todo anillo local noetheriano (sin completitud) tiene la misma presentación, o ignorar el papel de la característica residual. Usar el teorema para afirmar existencia de un campo de coeficientes sin verificar característica igual conduce a presentaciones incorrectas en característica mixta.

Consecuencia

Proporciona presentaciones canónicas para anillos locales completos, permitiendo reducir cuestiones sobre anillos locales noetherianos completos a cuestiones sobre anillos de series formales y ideales cociente explícitos; facilita teoría de deformaciones, cálculos de dimensión y construcciones explícitas.

Inversión

La recíproca —todo cociente de un anillo de series formales es un anillo local noetheriano completo— es cierta, por lo que el teorema establece una equivalencia entre ser local noetheriano completo (con cuerpo residual/anillo de coeficientes dado) y admitir tal presentación. La recíproca enfatiza que la falta de completitud o coeficientes mal especificados impide tal representación.

Límite

Se aplica a anillos locales noetherianos completos respecto del ideal maximal; excluye anillos locales no completos y situaciones donde la característica residual impide escoger un campo de coeficientes (requiriendo en su lugar un anillo de Cohen). Trata presentaciones locales, no clasificaciones globales ni no-noetherianas.

Tensión semántica

Tensión entre casos de característica igual y mixta: en característica igual se puede tomar un campo de coeficientes dentro de R, mientras que en característica mixta hay que recurrir a un anillo de Cohen externo. También tensión entre minimización de generadores y unicidad del ideal cociente que presenta R.

Síntesis

El Teorema de Estructura de Cohen afirma que cualquier anillo local noetheriano completo se realiza como cociente de un anillo de series formales sobre el anillo de coeficientes apropiado (campo residual en característica igual o anillo de Cohen en característica mixta), proporcionando un modelo local uniforme para singularidades completas noetherianas.