Forum de Mathématiques: Maths-Forum

si on a une resolution projective de M ...-->P1 --->P0-->M-->0 on applique foncteur contravariant hom on a ...-->hom(M,N) --->hom(P0,N)-->hom(P1,N)-->0 exacte est ce que on peut identifie ker(>hom(P0,N)-->hom(P1,N))/im(hom(M,N) --->hom(P0,N)) à hom(M,N)

salut
pourquoi R=K[X]/(X²) admet un seule ideal propre !?

salut
je veux monter qu'un A-module principale projective est libre ou bien idempotent je pense on peux utiliser la theoreme de base projective pour montre qui est libre mais comment ?

comment je peux montrer qu'un ideal principal projectif est ou bien libre ou bien engendré par un idempotent ? et merci d'avance