 ##  [Free Module](/free-module) 

  ##  [Free Module](https://algebra.quantumdictionary.io/free-module-0) 

  

 [![Algebra](/sites/default/files/styles/large/public/2026-01/Algebra.png.webp?itok=3pHxBnUF)](/topic-specific-dictionaries/pure-mathematics/algebra)

- Pure Mathematics -

**Algebra Dictionary**

 







 

 

 

 



 

 

 

 

Definition

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.