Thread: free R-module, subset basis

Let be a ring and a free module. Prove that a subset is a basis for if and only if every may be expressed uniquely as a linear combination of elements of

S generates M <=> existence

S is free <=> unicity