Talk:Projective resolution and free resolution