Definition projektiver Moduln, Äquivalenzbedingungen und Beispiele