Definition:Dimension of Free Module