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.
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
Es fácil probar que esas dos operaciones están bien definidas. Eso significa:
Luego, verifique que esas dos operaciones satisfagan los axiomas del espacio vectorial.
Para el punto (d) : Las operaciones son:
Es fácil probar que las operaciones están bien definidas:
Luego, verifique que esas dos operaciones satisfagan los axiomas del espacio vectorial.