[obm-l] m�dulos projetivos

[Lista OBM <obm_lista@xxxxxxxxxxxx>]

Gostaria de uma ajuda bo problema abaixo:

Mostre que um A-m�dulo P � projetivo se, e s� se
existe uma fam�lia {m_j} de elementos em P e
homomorfismos {f_j : P --> A} tais que para todo x em
P tem-se: 
x = soma[f_j(x).m_j] , onde a sequencia {f_j(x)} �
quase nula.

Obs.: 1) j estah em conjunto de �ndices J qualquer!
      2) f_j(x) quer dizer o homo. f_j aplicado em x.

grato desde j�, �der.

PS.: Estava tentando usar o seguinte resultado:
Um A-m�dulo P � projetivo se, e s� se ele � um somando
direto de um A-m�d. livre.



	
	
		
Yahoo! Acesso Gr�tis - Internet r�pida e gr�tis. 
Instale o discador agora! http://br.acesso.yahoo.com/
=========================================================================
Instru��es para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================