Específicamente, un módulo izquierdo sobre el anillo "R" consiste en un grupo abeliano ("M", +) y una operación "R" × "M" → "M" (multiplicación escalar, generalmente escrita sólo por yuxtaposición, es decir como "rx" para "r" en "R" y "x" en "M") tal que