Ejercicio 4 Álgebra de Hungerford IV.3.

Lo siguiente es del libro de álgebra de Hungerford, ejercicio 4, página 189:

Sea R un dominio ideal principal, A un módulo R unitario a la izquierda y p \in R un. primo (= irreducible). Sea pA = {pa | a \in A} y A[p] = {a \in A | pa = 0}. (c) A/pA es un espacio vectorial sobre R/(p), con (r + (p))(a + pA) = ra + pA. (d) A[p] es un espacio vectorial sobre R/(p), con (r + (p))a = ra.

Pude resolver los puntos (a) y (b). Para los ítems (c) y (d) (citados arriba) Mi primera idea es mostrar que para (c) : (r+(p))(a + pA) = ra +pA está bien definido y para (d) : para r+(p) \in R/(p) y a \in A[p] : (r+(p))a = ra, pero no sé si este es el camino correcto para construir sobre ellos las soluciones.

Respuestas (1)

Los cuatro elementos del Ejercicio 4 de la página 189 del libro de Álgebra de Hungerford se pueden resolver esencialmente aplicando las definiciones.

Para el punto (c) : Tenemos dos operaciones en A / pag A

  1. para todos a + pag A y b + pag A A / pag A , ( a + pag A ) + ( b + pag A ) = a + b + pag A
  2. para todos r + ( pag ) R / ( pag ) y a + pag A A / pag A , ( r + ( pag ) ) ( a + pag A ) = r a + pag A .

Es fácil probar que esas dos operaciones están bien definidas. Eso significa:

  1. si a + pag A = a + pag A y b + pag A = b + pag A entonces a + b + pag A = a + b + pag A
  2. si r + ( pag ) = r + ( pag ) y a + pag A = a + pag A entonces r a + pag A = r a + pag A .

Luego, verifique que esas dos operaciones satisfagan los axiomas del espacio vectorial.

Para el punto (d) : Las operaciones son:

  1. si a , b A [ pag ] , entonces a + b es solo la adición en A .
  2. para todos r + ( pag ) R / ( pag ) y a A [ pag ] , ( r + ( pag ) ) a = r a .

Es fácil probar que las operaciones están bien definidas:

  1. si a , b A [ pag ] , entonces pag a = pag b = 0 . Entonces pag ( a + b ) = pag a + pag b = 0 . Entonces a + b A [ pag ] .
  2. r + ( pag ) = r + ( pag ) y a A [ pag ] , tenemos eso r r ( pag ) . Entonces alli esta k R tal que r r = k pag . Entonces, r a r a = ( r r ) a = k pag a = 0 . Entonces r a = r a .

Luego, verifique que esas dos operaciones satisfagan los axiomas del espacio vectorial.