Está en la página 1de 4

BASES DE GROBNER

JAIRO MENDOZA PAOLA SOCHA LORENA ROJAS

Docente; VERONICA CIFUENTES VARGAS

DE CALDAS UNIVERSIDAD DISTRITAL FRANCISCO JOSE FACULTAD DE CIENCIAS Y EDUCACION PROYECTO CURRICULAR DE MATEMATICAS CURSO DE ANILLOS Y CAMPOS D.C. BOGOTA 2013

Objetivo El objetivo del presente trabajo es usar el paquete computacional CoCoA para calcular bases de Gr obner y usarlas para realizar algunos c alculos efectivos en k [x1 , , xn ], el anillo de polinomios en las indeterminadas x1 , , xn con coecientes en un cuerpo k . Sea I = f1 , , fk de k [x1 , , xn ] se dar a respuesta a los siguientes items: * Dado f k [x1 , , xn ], determinar si f I . Si es as , encontrar u1 , , uk tal que f = u1 f1 + u2 f2 + + uk fk Corolario: Sea G = g1 , g2 , gs una base de Gr obner para el ideal I k [x1 , x2 , , xn ] y f k [x1 , x2 , , xn ], entonces f I si y s olo si r = 0 Demostraci on: () Si f = g (r = 0) con g = a1 g1 + a2 g2 + . . . + as gs I , claramente f I . () Como se puede escribir f = f + 0 con f I , la unicidad implica que r = 0. En este caso solo se necesita ilustrar el Algoritmo de la Divisi on Multivariado Entradas: f1 , f2 , , fs , f Salidas: a1 , a2 , , as , r a1 := a2 := . . . a : s := r := 0 p := f MIENTRAS p /0 i := 1 division?:= 0 MIENTRAS i s Y division? = 0 SI TL(fi )|TL(p) ai := ai +TL(p)/TL(fi ) p := p (TL(p)/TL(fi ))fi

division?:= 1 SI NO i := i + 1 SI division?:= 0 r := r+TL(p) p := pTL(p) FIN La variable p representa al dividendo intermedio mientras progresa la divisi on. division? es una variable que indica si alg un TL (fi ) divide a TL(p). En efecto, en el ciclo del prinicipal MIENTRAS sucede una de estas dos alternativas: si alg un TL(fi ) divide a TL(p), se hace el paso de divisi on aumentando el cociente ai correspondiente y actualizando el nuevo dividendo p al restar ese m ultiplo. Por otro lado, si ning un TL (fi ) divide al que es TL (p), se pasa este al residuo r. Ejemplo 1: Sea I = xz y 2 , x3 z 2 en R[x, y, z ] y f = 4x2 y 2 z 2 + y 6 + 3z , g = x7 y 2 + 2z 2 xy 2 z 3 f, g I ?
5

Usando CoCoA, obtenemos la base de Gr obner: G = xz y 2 , x3 z 2 , x2 y 2 z 3 , xy 4 z 4 , y 6 z 5 , dividiendo f por G = g1 , g2 , , g5 se tiene: g = (x3 y 2 z + x2 y 4 y 2 z 2 )g1 + x4 y 2 g2 + y 4 g3 + 0g4 + 0g5 + (y 4 z 3 y 4 z 2 + 2z 2 ) Como el residuo es y 4 z 3 y 4 z 2 + 2z 2 = 0, se tiene que g / I.

* Calcular la intersecci on de dos ideales Teorema Sea I un ideal de k [x1 , xn ]. Fijamos en k [x1 , xn ] el orden lexicogr aco < con x1 > x2 > > xn . Si G es una base de Gr obner en I con respecto de <, entonces Gl := G k [x1 , xn ] es una base de Gr obner del ideal de eliminaci on l- esimo Il = I k [x1 , xn ] de I Usando este teorema se puede dar un m etodo para calcular la intersecci on de dos ideales. Sean I y J dos ideales de k [x1 , xn ]. Consideremos el ideal T I + (1 T )J de k [x1 , xn ] (si a A e I es un ideal de A, se dene aI como 3

el ideal generado por todos los elementos de la forma ai con i I ; es decir, aI es el ideal producto (a)I ). Se demostrar a que (T I + (1 T )J ) k [x1 , xn ] = I J (F acil: El contenido hacia la izquierda, trivial; para el contenido hacia la derecha, sean hi k [x1 , xn , T ], fi I, gi J y sean hi (tfi + (1 t)gi ) k [x1 , xn ]. Entonces = (x1 , xn , 0) J y = (x1 , xn , 1) I ). Entonces, partiendo de estos sistemas de generadores de I y de J , se obtiene uno de TI+(1-T)J, y a partir de el se obtiene una base de Gr obner G respecto a un orden lexicog aco en el que T > xi para todo i y se usa el teorema anterior.