Definition:Linear Ring Action/Right

From ProofWiki
Jump to navigation Jump to search


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$ is a right linear ring action of $R$ on $M$ if and only if $\circ$ satisfies the right ring action axioms:

\((1)\)   $:$     \(\ds \forall \lambda \in R: \forall m, n \in M:\)    \(\ds \paren {m + n} \circ \lambda \)   \(\ds = \)   \(\ds \paren {m \circ \lambda} + \paren {n \circ \lambda} \)      
\((2)\)   $:$     \(\ds \forall \lambda, \mu \in R: \forall m \in M:\)    \(\ds m \circ \paren {\lambda + \mu} \)   \(\ds = \)   \(\ds \paren {m \circ \lambda} + \paren {m \circ \mu} \)      
\((3)\)   $:$     \(\ds \forall \lambda, \mu \in R: \forall m \in M:\)    \(\ds m \circ \paren {\lambda\mu} \)   \(\ds = \)   \(\ds \paren {m \circ \lambda} \circ \mu \)      

Also see