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.

Principle

Freeness = existence of a free generating set with unique finite linear expressions; equivalently, the module is isomorphic to R^{(I)} for some indexing set I, so maps out of a free module are determined by images of the basis.

Demonstration

R^n with standard coordinate vectors e1,…,en is a free R-module of rank n. For R=Z, Z^I (finite direct sums) are free abelian groups; the canonical basis gives coordinate representations and universal mapping properties.

Misapplication

Assuming submodules of free modules are free over arbitrary rings (this holds for principal ideal domains but fails in general), or assuming all projective modules are free without verifying conditions on the ring.

Consequence

Free modules simplify linear problems: bases yield coordinates, Hom computations reduce to tuples, and universal properties make constructions explicit; freeness implies projectivity and flatness but is strictly stronger than projectivity in many rings.

Reversal

A projective module generalizes freeness by splitting exact sequences, but a projective module need not admit a basis; conversely, over certain rings (e.g., fields or PIDs) projective and free coincide.

Boundary

Definition presumes a unital ring and finite linear combinations of basis elements; excludes modules that are only generically generated or that require infinite linear combinations without finiteness conditions, and distinguishes from free abelian groups when the ring is noncommutative on one side.

Semantic Tension

Tension occurs between free, projective and flat notions: all free modules are projective and flat, but the converse can fail; there is also tension in infinite-rank situations between direct sum versus direct product representations.

Synthesis

A free module is a module with a basis, concretely isomorphic to a direct sum of copies of its ring; it provides coordinates and universal mapping properties that make many algebraic constructions explicit, while standing as a stronger condition than projectivity.