# A short exact sequence of groups

I have a basic question from Rotman's 'An Introduction to Homological Algebra', Thm 5.3 pp 152.

Let \begin{equation*} 0\xrightarrow{} A\xrightarrow{} E\xrightarrow{\pi} G\xrightarrow{} 1 \end{equation*} be an exact sequence of groups where $A$ is an abelian normal subgroup of $E$ which is not necessarily abelian.

Suppose that the sequence is split on the right by a homomorphism $\lambda:G\rightarrow E$, i.e. $\pi\lambda=1_G$. Let $C=\text{im}\lambda\cong G$.

Question: How can we show that $A+C=E$?

It seems that standard proof for commutative case works here as well and gives $AC = CA = E$. – user87690 Sep 17 '13 at 17:51
If $E$ is not abelian you shouldn't write $A + C = E$, you should write $AC = E$ instead. Additive notation is generally reserved for abelian groups only.
Anyway, for $AC = E$ simply note that if $x \in E$ then $x = x\lambda\pi(x)\cdot\lambda\pi(x^{-1})$.