Demostración del ejercicio 8 de la práctica

dirigida 4 para el curso de Estructuras

Algebraicas 2, 2021-2
Universidad Nacional Mayor de San Marcos
Universidad del Perú, Decana de América

Lima, 13 de enero de 2022

Integrantes

1. Bernabe Cordero, Cesar Alonso

2. Carbajal Cusi, Nelson David

3. Echeverria Ventocilla, Alexander

4. Huamani Ramos, Christian

5. Laureano Mantari, Daniel Bruno

6. Lévano Vásquez, Rodrigo

7. Loayza Meza, Joshua Adhel

Profesor

Dr. Gabriel Armando Muñoz Márquez

1
Ejercicio 8. Sea M un A−módulo y sean p1 , . . . , pk : M → M , homomor-
fismos de A−módulos tales que
p1 + · · · + pk = IdM pi ◦ pj = 0, ∀ i 6= j
y
Demuestre que p2i = pi , para todo i y M = Im(p1 ) · · · Im(pk ).
L L

Demostración. Comenzaremos probando que p2i = pi . Para cualesquier i ∈

{1, . . . , k} y m ∈ M , tenemos:
Xk
( pj )(m) = IdM (m) = m.
j=1

Luego,
k
X
pi ( pj (m)) = pi (m). (1)
j=1

Por otro lado,

Xk k
X k
X
pi ( pj (m)) = pi (pj (m)) = (pi ◦ pj )(m) = (pi ◦ pi )(m) = p2i (m),
j=1 j=1 j=1

donde la penúltima desigualdad se debe a que por hipótesis pi ◦pj = 0, ∀i 6= j.

Reemplazando lo obtenido en (1), tenemos p2i (m) = pi (m), ∀m ∈ M lo cual
se traduce en que p2i = pi . L L
Ahora probaremos que M = Im(p1 ) · · · Im(pk ). Dado m ∈ M arbi-
tario, tenemos que:
m = IdM (m)
= (p1 + · · · + pk )(m)
= p1 (m) + · · · + pk (m) ∈ Im(p1 ) + · · · + Im(pk ).
Esto implica que M = Im(p1 ) + · · · + Im(pk ). Ahora sean yi ∈ Im(pi ), para
cada i, tal que 0 = y1 + · · · + yk , luego por definición de conjunto imagen
existen x1 , . . . , xk ∈ M tales que pi (xi ) = yi , para cada i, luego, para cada
i ∈ {1, . . . , k},
k
! k
X X
0 = pi (0) = pi pj (xj ) = (pi ◦ pj )(xj ) = (pi ◦ pi )(xi ) = pi (xi ) = yi .
j=1 j=1
L L
Ası́ M = Im(p1 ) ··· Im(pk ) y la prueba concluye.