5 Teorema de las Bases de Hilbert y Bases de Groebner En esta seccin, vamos a dar una solucin completa del problema

de la descripcin del ideal de 1. Nuestro tratamiento tambin llevar a las bases de un ideal con "buenas" propiedades relativas al algoritmo de la divisin introducida en 3. La idea clave que usaremos es que una [ ] tiene un nico termino lder vez que elegimos un orden de monomios, cada . Entonces, para cualquier ideal I, podemos definir su ideal de trminos principales de la siguiente manera. [ ] un ideal que no sea {0}. Definicin 1. Sea (I) Nombramos LT(I) al conjunto de trminos principales de elementos de I. Por lo tanto, LT (I) = { : existe f I, con LT(f) = }.

(II) Nombramos

el ideal generado por los elementos de LT(I).

Ya hemos visto que los trminos principales juegan un papel importante en el algoritmo de la . Es decir, si nosotros divisin. Esto nos lleva a un punto sutil pero importante sobre damos un conjunto finito de generadores para I, decimos y , Entonces pueden ser ideales diferentes. Es cierto que el por definicin, lo que implica puede ser estrictamente mas

. Sin embargo, grande. Para ver esto, consideremos el siguiente ejemplo. Ejemplo 2. Sea , donde el ordenamiento de monomios grlex en [

]. Entonces

y use

Tal que

. As, , por lo que

. Sin embargo

no es divisible por LT( ) =

, o LT( ) =

por el Lema 2 del paragrafo 4.

En los ejercicios del paragrafo 3, calculamos otros ejemplos de ideales , es estrictamente mayor que dnde . Los ejercicios al final de la seccin exploraran lo que esto implica sobre el problema de pertenencia al ideal. es un ideal de monomios. Esto nos permitir aplicar los Ahora vamos a mostrar que resultados del paragrafo 4. En particular, se sigue que? LT (I)? es generado por un nmero finito de principales trminos. Proposicin 3. Sea I? k [x1,. . . , Xn] ser un ideal. (I)? LT (I)? es un ideal monomio. (Ii) Hay g1,. . . , Gt? I tales que la TL? (I)? =? LT (g1),. . . , LT (GT)?. Prueba. (I) El monomios principales LM (g) de los elementos de g?? Me . {0} generar el monomio ? Ideal LM (g):?? G I . {0}?. Desde LM (g) y LT (g) se diferencian por una constante distinta de cero, este ideal es igual a LT (g): g / I?. {0}? =? LT (I) (vase el Ejercicio 4). Por lo tanto,? LT (I)? es una ideal monomio. (Ii) Como? LT (I)? es generado por los monomios LM (g) de g? Yo. {0}, Dickson? Fs Lema de?? ~ 4 nos dice que? LT (I)? =? LM (g1),. . . , LM (TB)? para un nmero finito de

g1,. . . , Gt? Yo. Desde LM (GI) es diferente de LT (GI) por una constante distinta de cero, se deduce que ? LT (I)? =? LT (g1),. . . , LT (GT)?. Esto completa la prueba. ? Ahora podemos usar la Proposicin 3 y el algoritmo de la divisin para demostrar la existencia de un generando conjunto finito de todos los ideales de polinomios, dando as una respuesta afirmativa a la Descripcin del problema ideal?? ~ 1. Sea I? k [x1,. . . ,] Xn cualquier ideal y considerar la ideal asociados? LT (I)? como en la definicin 1. Como siempre, hemos seleccionado un particular Para monomio a utilizar en el algoritmo de la divisin y en trminos de computacin principales. Teorema 4 (Teorema de Hilbert Base). Todo lo ideal?? k [x1,. . . , Xn] tiene una generacin de finito conjunto. Es decir, I =? G1,. . . , Gt? para algunos g1,. . . , Gt? Yo. Prueba. Si I = {0}, tomamos nuestro grupo electrgeno para ser {0}, que es a todas luces limitado. Si I contiene algn polinomio distinto de cero, entonces un grupo electrgeno g1,. . . , Porque yo tb se puede construye como sigue. Por la Proposicin 3, hay g1,. . . , Gt? I tales que la TL? (I)? = ? LT (g1),. . . LT (GT)?. Sostenemos que I =? G1,. . . , Gt?. Est claro que? G1,. . . , Gt? ?? Me ya que cada gi?? Yo. Por el contrario, sea f?? Puedo ser cualquier polinomio. Si aplicamos el algoritmo de la divisin de?? ~ 3 a dividir por f? G1,. . . , Gt?, entonces obtenemos una expresin de la forma f = a1g1? E? E? E en el GT-R donde no hay plazo de r es divisible por ninguno de LT (g1),. . . , LT (GT). Sostenemos que r = 0. Para ver esto, tenga en cuenta que r = f. a1g1.?? E? E? gt E.at?? I. Si r = 0, LT (r) ? LT (I)? =? LT (g1),. . . LT (GT)?, Y por el Lema 2 del 4, se deduce que LT (r) debe ser divisible por algunos LT (GI). Esto contradice lo que significa ser un resto, y, en consecuencia, r debe ser cero. Por lo tanto, f = a1g1 a gt 0 ? g1,. . . , Gt?, lo que demuestra que ? g1,. . . , Gt?. Esto completa la prueba. ? Adems de responder a la pregunta descripcin ideal, la base {g1,. . . , Gt} utiliza en la demostracin del teorema 4 tiene la caracterstica especial que? LT (I)? =? LT (GI). . . , LT (GI)?. Como vimos en el ejemplo 2, no todas las bases de un ideal se comportan de esta manera. Vamos a dar a estos bases especiales el siguiente nombre. Definicin 5. Fijar un orden monomio. Un subconjunto finito G = {g1,. . . , Gt} de un ideal que es dice que es una base de Groebner (o base estndar) si ? LT (g1),. . . , LT (TB)? =? LT (I)?. De manera equivalente, pero de manera ms informal, un conjunto {g1,. . . , Gt} I es una base de Groebner de que si y slo si el trmino principal de cualquier elemento de I es divisible por uno de los LT (GI) (este De Lema 2 del 4-vase el ejercicio 5). La demostracin del teorema 4 tambin establece el siguiente resultado. Corolario 6. Fijar un orden monomio. Entonces todo ideal I k [x1,. . . , Xn otros] de {0} tiene una base de Groebner. Adems, cualquier base de Groebner por un ideal que es la base de la I.

Prueba. Dado un ideal distinto de cero, el conjunto G = {g1,. . . , Gt} construido en la prueba de Teorema 4 es una base de Groebner por definicin. Para la segunda reclamacin, tenga en cuenta que si ? LT (I)? =? LT (g1),. . . , LT (GT)?, Entonces el argumento dado en el teorema 4 muestra que I =? G1,. . . , Gt?, De modo que G es una base para que. (Una prueba algo diferente se da en Ejercicio 6.)? En 6 se estudian las propiedades de las bases de Groebner con ms detalle, y, en particular, vamos a ver cmo dar una solucin al problema de composicin ideal. Groebner bases son los "buenos" grupos electrgenos que esperbamos al final del 3. Para algunos ejemplos de bases de Groebner, en primer lugar considerar el yo ideal del ejemplo 2, que tena la base {f1, f2} = {x3 - 2xy, y x2 - 2y2 x}. Entonces {f1, f2} no es una base de Groebner para I con respecto a grlex orden, ya vimos en el ejemplo 2 que x2 ? (LT (I)?, pero x2 / ? LT (f1), LT (F2)?. En 7 vamos a aprender cmo encontrar un Groebner base de que. A continuacin, considere el ideal J =? G1, G2? X = z, y -??. Z Afirmamos que g1 y g2 forma una base de Groebner con el fin lex [x, y, z]. Por lo tanto, debemos obtenidos muestran el trmino principal de cada elemento distinto de cero de J se encuentra en el ideal? LT (g1), LT (g2)? =? X, y?. Por el Lema 2 del 4, esto es equivalente a demostrar que el trmino principal de cualquier elemento distinto de cero de J es divisible por x o y.To este efecto, considerar cualquier f = Ag1 Ag2 ?? J. Supongamos, por el contrario que f es distinto de cero y LT (f) es divisible por ninguno de x ni y. Luego por la definicin del orden lex, f debe ser un polinomio en z solo. Sin embargo, f se desvanece en el subespacio lineal L = V (x z, y. Z)? 3, ya que f?? J. Es fcil comprobar que (x, y, z) = (. T, t, t)?? L para cualquier nmero real t. El polinomio slo en z solo que se anula en todos estos puntos es el polinomio cero, que es una contradiccin. De ello se deduce que? G1, G2? es un Groebner base para J. En?? ~ 6, vamos a aprender de una manera ms sistemtica para detectar cuando una base es un Groebner base. Tenga en cuenta, por cierto, que los generadores del ideal J provienen de una matriz escalonada de los coeficientes: 101 0 1 .1

Esto no es casual: los ideales generados por polinomios lineales, una base de Groebner para lex orden se determina por la forma escalonada de la matriz a partir de los coeficientes de los generadores (ver ejercicio 9). bases de Groebner de ideales en anillos de polinomios se introdujeron en 1965 por B. Buchberger y nombrado por l en honor a W. Gr? Nobner (1899.1980), Buchberger? Fs asesor de tesis. El concepto estrechamente relacionado con el de? Bases gstandard? H para los ideales en serie de potencias anillos fue descubierto de forma independiente en 1964 por H. Hironaka. Como veremos ms

adelante en este captulo, Buchberger tambin desarroll los algoritmos fundamentales para trabajar con Groebner bases. Vamos a utilizar el formulario de Ingls? Bases gGroebner,? H ya que esta es la forma en la comando se escribe en algunos sistemas de lgebra computacional. Concluimos esta seccin con dos aplicaciones del teorema de Hilbert Bases. La primero es una declaracin algebraicas sobre los ideales en k [x1,. . . , Xn]. Una cadena ascendente de ideales es una secuencia anidada en aumento: I1? I2? I3? ? E? E? E. Por ejemplo, la secuencia (1)? X1? ??? X1, x2? ?? ? E? E? E? ? X1,. . . , Xn? forma una cadena (finita) ascendente de ideales. Si tratamos de extender esta cadena mediante la inclusin de un ideal con el generador ms (s), una de las dos alternativas se producir. Tenga en cuenta la ideal? x1,. . . , Xn, f? donde f?? k [x1,. . . , Xn]. Si f?? ? X1,. . . , Xn?, Entonces obtenemos ? X1,. . . , Xn? otra vez y nada ha cambiado. Si, por otra parte, f /? ? X1,. . . , Xn?, entonces la demanda? x1,. . . , Xn, f? = K [x1,. . . , Xn]. Salimos de la prueba de esta afirmacin a la lector (ejercicio 11 de esta seccin). Como resultado, la cadena ascendente (1) se puede continuar slo de dos maneras, ya sea mediante la repeticin de la ltima ad infinitum ideal o aadiendo k [x1,. . . , Xn] y luego repetirlo hasta el infinito. En cualquier caso, el ascendente de la cadena tendr? gstabilized? h despus de un nmero finito de pasos, en el sentido de que todos los ideales despus ese punto de la cadena ser igual. Nuestro siguiente resultado muestra que el mismo fenmeno se produce en cada cadena ascendente de ideales de K [x1,. . . , Xn]. Teorema 7 (la condicin de cadena ascendente). Vamos a I1? I2? I3? ? E? E? E ser una cadena ascendente de ideales de K [x1,. . . , Xn]. Entonces existe un N 1 tal que EN = 1 = EN EN 2 = . Prueba. Dada la cadena ascendente I1 I2 I3 , consideremos el conjunto I =? i = 1 II. Comenzamos mostrando que tambin es un ideal en K [x1,. . . , Xn]. En primer lugar, 0 I desde 0 Ii para cada i. A continuacin, si f, g I, entonces, por definicin, f Ii, y g II para algunas iyj (Posiblemente diferente). Sin embargo, desde los ideales II forman una cadena ascendente, si reetiquetar de modo que i j, entonces ambos F y G son en I j. Desde que J es un ideal, la suma f g I j, por lo tanto, me . Del mismo modo, si f I y K r [x1,. . . , Xn], entonces f Ii para algn i, y r f I Ii. Por lo tanto, que es un ideal. Por el Teorema de Hilbert Bases, el ideal que debe tener un grupo electrgeno finita: I = ? f1,. . . , Fs?. Pero cada uno de los generadores se encuentra en alguna de las me j, por ejemplo fi I ji para algunos ji, i = 1,. . . , Tomar la N s.We a ser el mximo de la ji. Luego por la definicin de una cadena ascendente fi IN para todo lo que. Por lo tanto tenemos I =? f1,. . . , Fs? EN EN 1 I. Como resultado de la cadena ascendente estabiliza con IN. Todos los ideales posterior en la cadena son iguales. ? La afirmacin de que cada cadena ascendente de ideales de K [x1,. . . , Xn] estabiliza es a

menudo llama la condicin de cadena ascendente, o ACC, para abreviar. En el ejercicio 12 de la presente seccin, se mostrar que, si asumimos que el CAC como hiptesis, entonces se sigue que cada Lo ideal es finito. As, el CAC es en realidad equivalente a la conclusin de el teorema de Base de Hilbert. Vamos a utilizar el CAC de manera crucial en el 7, cuando damos algoritmo de Buchberger para la construccin de bases de Groebner. Tambin usaremos el CAC en Captulo 4 para estudiar la estructura de las variedades afines. Nuestra segunda consecuencia del teorema de Hilbert Bases ser geomtrica. Hasta este punto, hemos considerado variedades afines como los conjuntos de soluciones de determinados conjuntos finitos de ecuaciones polinmicas: V (... F1, fs) = {(... A1,, a) kn: (... A1,, a) fi = 0 para todo i}. La Base de Hilbert Teorema muestra que, de hecho, tambin tiene sentido hablar de la afinacin variedad definida por un ideal I k [x1,. . . , Xn]. Definicin 8. Sea I k [x1,. . . , Xn] ser un ideal. Denotaremos por V (I) el conjunto V (I) = {(... A1,, a) kn: (... A1,, a) f = 0 para todo f I}. A pesar de que un ideal distinto de cero que siempre contiene un nmero infinito de polinomios diferentes, el conjunto V (I) todava puede ser definido por un conjunto finito de ecuaciones polinmicas. Proposicin 9. V (I) es una variedad afn. En particular, si I =? f1,. . . , Fs?, ThenV (I) = V (f1,..., Fs). Prueba. Por el teorema de la base de Hilbert, I =? f1,. . . , Fs? de un conjunto finito de generacin. Decimos que V (I) = V (f1,..., Fs). En primer lugar, desde la msica I, si f (a1,..., A) = 0 para todo f I, entonces fi (a1,..., a) = 0 por lo que, V (I) V (f1,..., fs). Por otra parte, vamos a (A1,..., A) V (f1,..., Fs) y sea f I. Desde I =? f1,. . . , Fs?, Podemos escribir f= s i=1 Hi-Fi para algunos k hi [x1,. . . , Xn]. Pero a continuacin, f (a1,..., a) = s i=1 hi (a1,..., a) fi (a1,..., a) = s i=1 hi (a1,..., a) 0 = 0. Por lo tanto, V (f1,..., Fs) V (I) y, por tanto, son iguales. ? La consecuencia ms importante de esta propuesta es que las variedades se determin por los ideales. Por ejemplo, en el captulo 1, hemos podido comprobar que V (f1,..., Fs) = V (g1,..., Gt) cada vez? f1,. . . , Fs? =? G1,. . . , Gt? (Vase la Proposicin 4 del Captulo 1, 4). Esta proposicin

es un corolario inmediato de la Proposicin 9. La relacin entre los ideales y variedades se estudiarn con ms detalle en el captulo 4. En los ejercicios, vamos a aprovechar la Proposicin 9, mostrando que con la derecha grupo electrgeno de un yo ideal, podemos obtener una mejor comprensin de la variedad V (I).