Module theory MOC Dual module Let be a left -module. The dual module is the space of all linear functions , i.e. as a set . #m/def/module The additional and scalar multiplication are pointwise. Sometimes we denote evaluation by for , . #state/tidy | #lang/en | #SemBr