Definition:Scalar Multiplication on Module