Linear Algebra over a Ring/Projective and injective modules