Module Libre

Un module qui admet une base : il est isomorphe à une somme directe (éventuellement infinie) de copies de son anneau de coefficients R, avec un ensemble distingué d'éléments (une base) tel que tout élément s'écrive de façon unique comme combinaison linéaire R-finie des éléments de la base.