Projective modules over rings are the algebraic analogs of
vector bundles; more precisely, they are direct summands of free
modules. Some rings have non-free projective modules. For instance,
the ideals of a number ring are projective, and for some...