06/12/2019, 01:07:45 am *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: LISTADO ACTUALIZADO DE CURSOS
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Teorema de los ceros de Hilbert  (Leído 270 veces)
0 Usuarios y 1 Visitante están viendo este tema.
RomanMontoliu
Junior
**

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 48


Ver Perfil
« : 11/08/2019, 03:36:35 pm »

Hola, buenas tardes. Quería por favor que alguien me explicase la siguiente controversia que tengo acerca del teorema. Si mal no lo he entendido, por ejemplo, dado el ideal I(p) generado por el polinomio p(x,y) = xy -2x -y+2 = (x-1)(y-2) y cuyo conjunto algebraico de soluciones es V(I)={(1,2)} se supone que para el polinomio q(x,y) = x-1 debe existir un natural n tal que p(x,y) | q(x,y)^n pues la solución (1,2) es también solución de q(x,y) pero esto parece no posible ¡¡.
En línea
geómetracat
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 800



Ver Perfil
« Respuesta #1 : 11/08/2019, 07:24:20 pm »

Es que [texx]V(I)[/texx] no es [texx]\{(1,2)\}[/texx], es la unión de las dos rectas [texx]x=1[/texx] y [texx]y=2[/texx].

Ahora el polinomio [texx]q(x,y)=x-1[/texx] no se anula en [texx]V(I)[/texx], porque no se anula en todos los puntos de la recta [texx]y=2[/texx], por lo que no puedes aplicar el teorema de los ceros para llegar a tu conclusión.
Y en efecto, [texx]p(x,y) \not\mid q(x,y)^n[/texx] para ningún natural [texx]n[/texx].
En línea

La ecuación más bonita de las matemáticas: [texx]d^2=0[/texx]
RomanMontoliu
Junior
**

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 48


Ver Perfil
« Respuesta #2 : 12/08/2019, 03:10:17 am »

 :BangHead:
En línea
geómetracat
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 800



Ver Perfil
« Respuesta #3 : 15/08/2019, 03:36:17 pm »

Respecto a la pregunta a), sí. Por ejemplo, el ideal [texx](x_1^2)[/texx] es obviamente un ideal propio, pero no es radical, pues [texx]rad(x_1^2)=(x_1)[/texx].

Para b), espero a que termines, pero el hecho de que un polinomio que se anula en [texx]V(I)[/texx] pertenece a [texx]I[/texx] es falso: siguiendo con el ejemplo de arriba, [texx]x_1 \in V(x_1^2)[/texx], pero [texx]x_1 \notin (x_1^2)[/texx].

Añadido: He visto que has borrado el mensaje anterior. En el futuro te agradecería que no lo hicieras porque la respuesta queda sin contexto.
Para referencia: el apartado a) preguntaba si existen ideales propios que no sean radicales en un anillo de polinomios, mientras que b) iba a ser una supuesta prueba de que si un polinomio se anula en [texx]V(I)[/texx] entonces pertenece a [texx]I[/texx].
En línea

La ecuación más bonita de las matemáticas: [texx]d^2=0[/texx]
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!