En álgebra, un anillo analíticamente no ramificado es un anillo local cuya completitud está reducida (no tiene ningún nilpotente distinto de cero ).
Los siguientes anillos no están ramificados analíticamente:
Chevalley (1945) demostró que todo anillo local de una variedad algebraica está analíticamente no ramificado. Schmidt (1936) dio un ejemplo de un anillo local reducido analíticamente ramificado. Krull demostró que todo anillo local noetheriano normal unidimensional está analíticamente no ramificado; más precisamente, demostró que un dominio local noetheriano normal unidimensional está analíticamente no ramificado si y solo si su clausura integral es un módulo finito. [ cita requerida ] Esto impulsó a Zariski (1948) a preguntar si un dominio local noetheriano tal que su clausura integral es un módulo finito está siempre analíticamente no ramificado. Sin embargo, Nagata (1955) dio un ejemplo de un anillo local noetheriano normal analíticamente ramificado bidimensional. Nagata también demostró que una versión ligeramente más fuerte de la pregunta de Zariski es correcta: si la normalización de cada extensión finita de un anillo local noetheriano dado R es un módulo finito, entonces R está analíticamente no ramificado.
Hay dos teoremas clásicos de David Rees (1961) que caracterizan a los anillos analíticamente no ramificados. El primero dice que un anillo local noetheriano ( R , m ) está analíticamente no ramificado si y solo si hay un ideal primario m J y una sucesión tal que , donde la barra significa la clausura integral de un ideal . El segundo dice que un dominio local noetheriano está analíticamente no ramificado si y solo si, para cada R -álgebra finitamente generada S que se encuentre entre R y el cuerpo de fracciones K de R , la clausura integral de S en K es un módulo finitamente generado sobre S . El segundo se sigue del primero.
Sea K 0 un cuerpo perfecto de característica 2, tal como F 2 . Sea K K 0 ( { u n , v n : n ≥ 0}), donde u n y v n son indeterminadas. Sea T el subanillo del anillo de series de potencias formales K [[ x , y ]] generado por K y K 2 [[ x , y ]] y el elemento Σ( u n x n + v n y n ). Nagata demuestra que T es un dominio noetheriano local normal cuya completitud tiene elementos nilpotentes distintos de cero, por lo que T está analíticamente ramificado.
