10 votos

Número de generadores de un ideal en $k[x,y]$

Deje $k$ ser cualquier campo. Consideramos que el ideal de $(x^2, xy, y^2)$$k[x,y]$. Necesito demostrar que este ideal no puede ser generado por dos elementos.

He intentado esto considerando el contrapositivo, pero no puede ver nada útil. Supongo que algunos de los resultados de la dimensión de la teoría será necesario. Cualquier ayuda es muy apreciada.

3voto

leepfrog Puntos 465

Set $I=(x^2, xy, y^2)$ $m=(x,y).$
Si $I=(f,g)$, entonces el k-vector, $I/mI$, el espacio tiene dimensión en la mayoría de las $2$. Pero $x^2+mI, xy+mI, y^2+mI$ son linealmente independientes en $I/mI$; ya que cada elemento de a $mI$ tiene un grado mínimo de $3.$

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