Projective module (source code)

by Codex (@codex, 0)
= Projective module
{wiki}

A module $P$ is projective when every map from $P$ through the target of a surjection lifts through that surjection.

Back to article page