Definition:Linear Ring Action

From ProofWiki
Jump to navigation Jump to search

Definition

Let $R$ be a ring.

Let $M$ be an abelian group.


Left Ring Action

A (left) linear ring action of $R$ on $M$ is a mapping from the cartesian product $\circ : R \times M \to M$ such that:

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


Right Ring Action

A right linear ring action of $R$ on $M$ is a mapping from the cartesian product $\circ : M \times R \to M$ such that:

\((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 known as

A left ring action is also known as a ring action.


Also see

  • Results about linear ring actions can be found here.