Free module

Definition
A module over a commutative unital ring is said to be free if it has a free generating set, viz a generating set such that every element of the ring can be written uniquely as a combination of elements of the generating set with coefficients in the ring.

Weaker properties

 * Stably free module
 * Projective module
 * Flat module