Unitary Ring of Endomorphisms. I am beginning a study of modules and I am having trouble with the following exercise.
Let $M$ be an abelain group and let $End(M)$ be the set of all endomorphisms on $M$, i.e. the set of all group morphisms $f:M\rightarrow M$. Show that $End(M)$ is an abelian group under the law of composition $(f,g)\mapsto f+g$ where
\begin{align*}
(\forall x\in M)(f+g)(x)=f(x)+g(x).
\end{align*}
Show also that $(End(M),+,\circ)$ is a unitary ring.
I have been able to smoothly work out everything except for the unitary part. I think my trouble might be with the word morphism which is more abstract than what I am used to. I have been working under the assumption that a morphism of groups is a group homomorphism. This causes trouble when finding a unit for $(End(M),+,\circ)$ because in order for every morphism $f$ to have an inverse under composition then $f$ has to be bijective but if the endomorphisms are just homomorphisms then as an example of the trouble $f(x)=0$ is a perfectly good group homomorphism for any group but $f$ wouldn't have a well defined inverse under composition.\
I hope this makes sense and that somebody can clear things up a little. Thanks.
 A: A unitary ring is just a ring which has a multiplicative identity (many people just call this a ring!). Note that there is no need for elements to multiply to give the identity (think of $\mathbb Z$, most elements cannot be multiplied by anything to give $1$).
As the multiplication operation is composition, you just need a map $i\colon M \to M$ so that $i \circ f  = f\circ i = f$ for all  $f \colon M \to M$.
It sounds like you are describing the property of each element having an inverse, not of the ring having an identity element.
A: A ring $R$ is unitary if there exists an element $e \in R$ such that $er = re = r$ for all $r \in R$. We call this element unity, and, if there is such an element, it is necessarily unique. The unity is often denoted by $1$.
An inverse of an element $r$ in a unitary ring $R$ is an element $s \in R$ such that $rs =sr= e$, but note that this not a defining property of $e$.
A ring which is unitary and in which every non-zero element has a multiplicative inverse is called a division ring.
Example: 
The ring of all $2×2$-matrices with real entries is a unitary ring which is not a division ring. This is because the identity matrix serves as the unit, but not every matrix is invertible.
