Keywords: Diagram used in the proof of the free summand characterisation of projective modules.svg en <math>M</math> is a projective module and the morphism <math>h</math> is used to prove that <math>M</math> is a summand of a free module 2016-06-09 own Mathmensch other versions cc-zero Commutative diagrams Module theory |