Definition:Finite Dimensional Free Module