Projective presentation (source code)

= Projective presentation
{title2=$0\to K\to P\to M\to0$}

A <short exact sequence> presenting a <module> as a quotient of a <projective module>. The kernel need not be projective. Continuing a projective presentation gives a <projective resolution>.