Considere el dominioR=C[x,y]/(y2−x3).
¿Cuál sería un ejemplo de una cadena de ideales primordiales deR de longitud máxima?
Considere el dominioR=C[x,y]/(y2−x3).
¿Cuál sería un ejemplo de una cadena de ideales primordiales deR de longitud máxima?
La parte más difícil de aquí parece ser que prueben que y2−x3 es irreductible, que voy a intentar mostrar a continuación. En general, una irreductible hipersuperficie en An tiene dimensión n−1. Esto queda demostrado en la mayoría de los textos sobre la geometría algebraica — véase, por ejemplo, la Proposición 2.25 de Milne notas. [Prof Emerton notas en los comentarios que aquí se R es visiblemente finito C[x], y por lo tanto, estos dos anillos tienen la misma dimensión.] Así que toma el cero ideal de R y un ideal maximal (correspondiente a un punto de la curva) de R.
Para concluir, supongamos que tenemos y2−x3=f(x,y)g(x,y) donde y se produce en f(x,y). Supongamos que degyf=1. A continuación, degyg=1 y podemos escribir f(x,y)=a(x)y+b(x)yg(x,y)=c(x)y+d(x). A continuación,a(x)c(x)=1, por lo que, después de barajar alrededor de factores constantes que podemos tener a=c=1. La multiplicación de las cosas, obtenemos y2−x3=y2+y(b(x)+d(x))+b(x)d(x). Así que debemos tener d=−b y, por tanto,degb=degd. Pero entonces el grado de la izquierda con respecto a x es, incluso, lo cual es absurdo. El caso de degyf=2 pueden ser tratados con las mismas ideas y es ligeramente más fácil de arranque.
Yo estaría muy interesado en un más geométrica o al menos conceptual manera de ver esto. Mi dimensión-fu es un poco oxidado.
I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.