Módulo Libre

Un módulo que admite una base: es isomorfo a una suma directa (posiblemente infinita) de copias de su anillo de coeficientes R, con un conjunto distinguido de elementos (una base) tal que todo elemento se expresa de manera única como combinación lineal R-fina de elementos de la base.