\begin{definition}[Definition:Right Module]
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:
{{:Axiom:Right Module Axioms}}
\end{definition}