\begin{definition}[Definition:Endomorphism Ring of Module]
Let $R$ be a ring.
Let $M$ be an $R$-module.
The '''endomorphism ring''' $\operatorname{End}_R(M)$ is the ring of all endomorphisms of $M$ where:
: Multiplication is composition of mappings
: Addition is point-wise
\end{definition}