Un módulo libre es un módulo que tiene una base libre, o equivalentemente, uno que es isomorfo a una suma directa de copias del anillo escalar "R".