Re: [obm-l] módulos projetivos

[Lista OBM <obm_lista@xxxxxxxxxxxx>]

Consegui resolver!!!

obrigado àqueles que tentaram. Caso alguém queira a
solução, é soh avisar que posso colocar aqui depois.

gratoi, éder.

--- Lista OBM <obm_lista@yahoo.com.br> escreveu:
> 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
>
=========================================================================
> 

__________________________________________________
Converse com seus amigos em tempo real com o Yahoo! Messenger 
http://br.download.yahoo.com/messenger/ 
=========================================================================
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
=========================================================================