Konstruktion freier Moduln, Basis und allgemeine Eigenschaften