Free Module

A module that admits a basis: it is isomorphic to a direct sum (possibly infinite) of copies of its coefficient ring R, with a distinguished set of elements (a basis) such that every element is a unique finite R-linear combination of basis elements.