Cadenas de Markov

Hector Giovanny Mora Daz

Universidad Distrital Francisco Jos
e De Caldas
Facultad de Ciencias y Educaci
on
Matem
aticas

11 de junio de 2016

Hector Giovanny Mora Daz

Cadenas de Markov

Introduccion

La teora de las bases de Gr

obner se ha convertido en una area de
investigacion importante en algebra computacional y ciencia
computacional, tienen una gran utilidad en proveer herramientas
computacionales que son aplicables a un amplio rango de
problemas en matematicas, ciencia, ingeniera y ciencia
computacional.

Hector Giovanny Mora Daz

Cadenas de Markov

Introduccion

Las bases de Grobner fueron introducidas en 1965 por Bruno

Buchberger.la idea basica de esta teora es la generalizacion de la
teora de polinomios en una variable. Una base de Grobner para un
ideal I K [x1 , . . . , xn ] genera a I y un polinomio f K [x1 , . . . , xn ]
pertenece a I si y solo s el residuo de la divisi
on de f por los
polinomios en la base de Gr
obner es cero. Las bases de Grobner
pueden ser presentadas desde un punto de vista geometrico.

Hector Giovanny Mora Daz

Cadenas de Markov

Anillos noetherianos
Definicion
Un anillo conmutativo A es noetheriano si todos sus ideales son
finitamente generados.
Theorem
Si A es un anillo son equivalentes:
(i) A es noetheriano.
(ii) Toda cadena ascendente de ideales propios
I1 I2 . . . In . . .
Se estaciona, i.e, es decir existe un entero m tal que
Im = Im+1 = . . ..
(iii) Todo conjunto no vaco de ideales propios de A tiene un
elemento maximo, i.e, un ideal que no esta contenido en
ninguno de los ideales de la familia dada.
Hector Giovanny Mora Daz

Cadenas de Markov

Teorema de la base de Hilbert

Theorem
Si A es un anillo noetheriano, entonces A[x] tambien lo es, en
particular si K es un campo, entonces el anillo de polinomios
K [x1 , x2 , . . . , xn ] es noetheriano.

Hector Giovanny Mora Daz

Cadenas de Markov

Orden de terminos
Se define el conjunto
T n = {x11 x22 xnn | i N, i = 1, 2, . . . , n}
Definicion
Un orden de terminos en T n es un orden total < en T n que
satisface las siguientes condiciones:
(i) 1 < x para todo x T n , x 6= 1.
(ii) Si x < x entonces x x < x x para todo x T n .
Theorem
Todo orden de terminos en T n es un buen orden, es decir para
todo A T n existe x A tal que para todo x T N , x x .

Hector Giovanny Mora Daz

Cadenas de Markov

Si escogemos un orden en K [x1 , x2 , . . . , xn ], si f K [x1 , x2 , . . . , xn ]

f 6= 0 entonces escribimos:
f = a1 x1 + a2 x2 + . . . ar xr
donde 0 6= ai K , xi T n , y x1 > x2 > xr . Definimos:
lp(f ) = x1 , el producto de potencia lder de f
lc(f ) = a1 , el coeficiente lder de f .
lt(f ) = a1 x1 , el termino lder de f .

Hector Giovanny Mora Daz

Cadenas de Markov

Bases de Grobner

Definicion
Un conjunto no vaco de polinomios G = {g1 , g2 , gt } contenido
en un ideal I , es llamado una base de Gr
obner para I si solo si para
todo f I tal que f 6= 0, existe i {1, , t} tal que lp(gi ) divide
a lp(f ).

Hector Giovanny Mora Daz

Cadenas de Markov

Algunas aplicaciones

(1) Decidir si un polinomio pertenece a un ideal I .

(2) Decidir cuando dos ideales son iguales.
(3) Calcular sumas y productos de ideales.
(4) Calcular intersecciones y cocientes de ideales .
(5) . Eliminar variables.

Hector Giovanny Mora Daz

Cadenas de Markov

Modulos
Definicion
Sean (M, +) un grupo abeliano y (A, +, , 1) un anillo. Se dice que
M tiene una estructura de m
odulo a la derecha sobre el anillo A,
si se ha definido un producto entre elementos de M y de A
M A M
(m, a) m a
para el cual se cumplen las siguientes condiciones:
(i) (m1 + m2 ) a = m1 a + m2 a
(ii) m (a1 + a2 ) = m a1 + m a2
(iii) m (a1 a2 ) = (m a1 ) a2
(iv) m 1 = m
con m, m1 , m2 M , a, a1 , a2 A.
Hector Giovanny Mora Daz

Cadenas de Markov

Ejemplos

Ejemplo 1
Cada grupo abeliano (M, +) es un m
odulo sobre el anillo de los
n
umeros enteros Z si definimos m 1 = m, m k = m + m + . . . m
( k veces), m 0 = 0, m (k) = (m) k , para m M, k Z.
Ejemplo 2
Cada grupo abeliano (M, +) es m
odulo a la izquierda sobre su
anillo End(M) de endomorfismos respecto de la siguiente
operacion:
f m = f (m)
m M, f End(M).

Hector Giovanny Mora Daz

Cadenas de Markov

Ejemplos
Ejemplo 3
Si K es un anillo de divisi
on, entonces cada espacio vectorial sobre
K es un K -Modulo a izquierda (para los espacios vectoriales los
escalares son puestos habitualmente a izquierda). As pues, el
algebra lineal puede ser considerada como una rama particular de
la teora de modulos.
Ejemplo 4
Sea A un anillo, el anillo de sucesiones formales A[[x]] y el anillo de
polinomios A[x] tienen estructura de A-m
odulo.
Ejemplo 5
Cada anillo A tiene estructuras naturales de A-M
odulo a derecha y
a izquierda.
Hector Giovanny Mora Daz

Cadenas de Markov

Definicion
Sea M un A-Modulo y N un subconjunto no vaco de M. se dice
que N es un A-submodulo de M, si N es un subgrupo del grupo
(M, +) , y ademas:
n a N, para cada n N y cada a A.

Hector Giovanny Mora Daz

Cadenas de Markov

Ejemplos
Ejemplo 1
Los submodulos de un grupo abeliano son sus submodulos, los
submodulos de Z son entonces hni, es decir coinciden con sus
subgrupos y sus ideales.
Ejemplo 2
Sea T un anillo de divisi
on y Mn (T ), n 2, el anillo de matrices
de orden n sobre T .El anillo Mn (T ) es simple, sin embargo Mn (T )
como modulo sobre T no es simple. en efecto:
Mr = {A = [aij ] Mn (T )|aij = 0 para i 6= r }
Mr es un T -submodulo de Mn (T ).

Hector Giovanny Mora Daz

Cadenas de Markov

Modulos noetherianos

Definicion
Sea M un A-modulo
(i) M es noetheriano si cada conjunto no vaco de submodulos de
M tiene un elemento maximal.
(ii) El anillo A es noetheriano a la derecha si el modulo AA es
noetheriano.

Hector Giovanny Mora Daz

Cadenas de Markov

Ejemplos

Ejemplo
(1) Todo modulo finito es claramente noetheriano , as por
ejemplo el Z-Modulo Z2 es noetheriano.
(2) Sea A un anillo, el anillo A[x] es un A-modulo derecho no
noetheriano.

Hector Giovanny Mora Daz

Cadenas de Markov

Anillos locales
Proposicion
Sea J = A A el conjunto de elementos no invertibles del anillo
a. Entonces las siguientes condiciones son equivalentes.
(i) J es cerrado para la adici
on
(ii) J es un ideal bilatero de A.
(iii) J es el mayor ideal derecho propio de A.
(iv) En A existe un ideal derecho propio maximo.
(v) Para cada a A se cumple que a es invertible a derecha o ,
1 a es invertible a derecha.
(vi) Para cada a A se cumple que a es invertible o 1 a es
invertible.
Definicion
Un anillo A es local si satisface una de las condiciones equivalentes
de la proposicion anterior.
Hector Giovanny Mora Daz

Cadenas de Markov