En álgebra , el lema de Zariski , demostrado por Oscar Zariski (1947), establece que, si un cuerpo K es finitamente generado como un álgebra asociativa sobre otro cuerpo k , entonces K es una extensión finita de cuerpo de k (es decir, también es finitamente generado como un espacio vectorial ).
Una aplicación importante del lema es una prueba de la forma débil del Nullstellensatz de Hilbert : [1] si I es un ideal propio de ( k un cuerpo algebraicamente cerrado ), entonces I tiene un cero; es decir, hay un punto x en tal que para todo f en I . (Demostración: reemplazando I por un ideal maximal , podemos suponer que es maximal. Sea y la sobreyección natural. Por el lema es una extensión finita. Como k es algebraicamente cerrado, esa extensión debe ser k . Entonces, para cualquier ,
es decir, es un cero de .)
El lema también puede entenderse desde la siguiente perspectiva. En general, un anillo R es un anillo de Jacobson si y solo si cada R -álgebra finitamente generada que sea un cuerpo es finita sobre R . [2] Por lo tanto, el lema se deduce del hecho de que un cuerpo es un anillo de Jacobson.
En Atiyah–MacDonald se dan dos pruebas directas; [3] [4] una se debe a Zariski y la otra utiliza el lema de Artin–Tate . Para la prueba original de Zariski, véase el artículo original. [5] A continuación se da otra prueba directa en el lenguaje de los anillos de Jacobson . El lema también es una consecuencia del lema de normalización de Noether . De hecho, por el lema de normalización, K es un módulo finito sobre el anillo polinomial donde son elementos de K que son algebraicamente independientes sobre k . Pero como K tiene dimensión de Krull cero y como una extensión de anillo integral (por ejemplo, una extensión de anillo finito) conserva las dimensiones de Krull, el anillo polinomial debe tener dimensión cero; es decir, .
La siguiente caracterización de un anillo de Jacobson contiene el lema de Zariski como caso especial. Recordemos que un anillo es un anillo de Jacobson si cada ideal primo es una intersección de ideales maximales. (Cuando A es un cuerpo, A es un anillo de Jacobson y el teorema que se presenta a continuación es precisamente el lema de Zariski).
Teorema — [2] Sea A un anillo. Entonces los siguientes son equivalentes.
Demostración: 2. 1.: Sea un ideal primo de A y conjunto . Necesitamos demostrar que el radical de Jacobson de B es cero. Para ello, sea f un elemento distinto de cero de B . Sea un ideal maximal de la localización . Entonces es un campo que es una A -álgebra finitamente generada y, por lo tanto, es finito sobre A por suposición; por lo tanto, es finito sobre y, por lo tanto, es finito sobre el subanillo donde . Por integralidad, es un ideal maximal que no contiene a f .
1. 2.: Como un anillo factorial de un anillo de Jacobson es Jacobson, podemos suponer que B contiene a A como subanillo. Entonces la afirmación es una consecuencia del siguiente hecho algebraico:
De hecho, elijamos un ideal maximalista de A que no contenga a . Escribiendo K para algún cierre algebraico de , la función canónica se extiende a . Como B es un cuerpo, es inyectiva y, por lo tanto, B es algebraica (por lo tanto, algebraica finita) sobre . Ahora demostramos (*). Si B contiene un elemento que es trascendental sobre A , entonces contiene un anillo polinomial sobre A al que se extiende φ (sin un requisito sobre a ) y, por lo tanto, podemos suponer que B es algebraica sobre A (por el lema de Zorn, digamos). Sean los generadores de B como A -álgebra. Entonces, cada uno satisface la relación
donde n depende de i y . Fijemos . Entonces es integral sobre . Ahora dado , primero lo extendemos a fijando . A continuación, sea . Por integralidad, para algún ideal máximo de . Entonces se extiende a . Restringimos la última función a B para terminar la prueba.