Equivalent Characterizations of Projective Modules