En álgebra conmutativa el clásico de Noether normalización lema dice que cada anillo finitely generado más de un campo es un finitely módulo generado más de un polinomio anillo con coeficientes en este campo. La interpretación geométrica de esta afirmación es que si $X$ es una variedad afín de dimensión$n$, entonces hay una surjective finito mapa de $X$ a los afín $n$espacio $\mathbb{A}^n$.
¿Qué acerca de las variedades? Hace un análogo de la declaración de retención? Es decir, si $X$ es un subconjunto cerrado de $\mathbb{P}^n$ de la dimensión de $m$, es necesariamente finito, surjection $X \to \mathbb{P}^m$?
