Definition:Module Structure on Ring