Definition:Right Module

Definition
Let $\struct {R, +_R, \times_R}$ be a ring.

Let $\struct {G, +_G}$ be an abelian group.

A right module over $R$ is an $R$-algebraic structure $\struct {G, +_G, \circ}_R$ with one operation $\circ$, the (right) ring action, which satisfies the right module axioms:

Also see

 * Definition:Left Module
 * Definition:Module