Axiom:Linear Ring Action Axioms/Right

Definition
Let $R$ be a ring.

Let $M$ be an abelian group.

Let $\circ : M \times R \to M$ be a mapping from the cartesian product $M \times R$.

$\circ$ satisfies the right linear ring action axioms $\circ$ satisifes the axioms:

Also see

 * Axiom:Left Linear Ring Action Axioms


 * Definition:Right Linear Ring Action