Definition:Finite Dimensional Module