Axiom:Linear Ring Action Axioms/Left

Definition
Let $R$ be a ring.

Let $M$ be an abelian group.

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

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

Also see

 * Axiom:Right Linear Ring Action Axioms


 * Definition:Left Linear Ring Action