Processing math: 100%

5 votos

Cadena de ideales primarios de longitud máxima

Considere el dominioR=C[x,y]/(y2x3).

¿Cuál sería un ejemplo de una cadena de ideales primordiales deR de longitud máxima?

4voto

babubba Puntos 1213

La parte más difícil de aquí parece ser que prueben que y2x3 es irreductible, que voy a intentar mostrar a continuación. En general, una irreductible hipersuperficie en An tiene dimensión n1. 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 y2x3=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 y2x3=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.com

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.

Powered by:

X