ALGEBRA III  Examen final de junio. Subir nota (28-6-99)

Ejercicio 1: Sea A = Ån Î Z An un anillo graduado, y M un A-módulo. Se dice que M es graduado si M = Ån Î ZMn donde Mn son subgrupos aditivos de M, tales que AnMm Ì Mn+m, para todos n,m Î Z. A los elementos de Mn se les llama homogéneos de grado n. Todo elemento de M se escribe de forma única como suma finita de elementos homogéneos que llamaremos componentes.

Si N Ì M es un submódulo, se dirá que N es graduado si N = Ån Î Z(N ÇMn) tiene estructura de A-módulo graduado.

  1. Probar que las siguientes condiciones son equivalentes:
    1. N está generao por elementos homogéneos.
    2. N es graduado.
    3. Si x Î N, todas las componentes homogéneas de x están en N.
  2. Sea N Ì M un submódulo graduado, entonces M/N es un A-módulo graduado.
  3. Sea N un A-módulo graduado y sea f:M ® N un homomorfismo de A-módulos. Se dice que f es graduado si existe p Î Z tal que f(Mn) Ì Nn+p, para todo n ÎZ. En este caso se dirá que f es graduado de grado p. Probar que si f es graduado, entonces ker(f) es un submódulo graduado de M, e im(f) es un submódulo graduado de N.
  4. Supongamos que A = k[X1,...,Xn] graduado dando a Xi el peso ai ÎN no nulo, i = 1,...,n. Consideramos el ideal I = (X1,...,Xn) de A, y sea M un A-módulo graduado. Probar que
  5. IM = M Þ M = 0.
  6. En las condiciones del apartado anterior, sea N Ì M un submódulo graduado. Probar que
  7. M = IM+N Þ M = N.
  8. En las condiciones del apartado 4, supongamos que M está finitamente generado. Demostrar que todos los sistemas de generadores irreducibles homogéneos tienen el mismo cardinal.
Ejercicio 2: Sea k un cuerpo, y a1,...anÎ Zd. Consideramos
F:k[X1,...,Xn]® k(T1...,Td),
el homomorfismo de k-álgebras definido por F(Xi) = Tai. Sea I = ker(F).
  1. Si llamamos p:Nn ®Zd, a la aplicación definida por
  2. p(u1,...,un) = u1a1+¼+unan,
    probar que el conjunto de binomios
    { Xu -Xv  |   u, v ÎNn   y   p(u) = p(v) },
    forman una base de I como k-espacio vectorial.
  3. Consideramos la matrix A = (a1|¼|an). Probar que
  4. dim(k[X]/I) = rg(A).


On 29 Oct 1999, 10:20.