Un módulo "M" es finitamente generado si existe un número finito de elementos "x"..., "x" en "M" tales que cada elemento de "M" es una combinación lineal de esos elementos con coeficientes del anillo escalar "R".