Teorema de Estructura de Cohen

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.