# well defined function question

Let $G$ be an arbitrary group with identity element $e$ and let $K$ and $N$ be normal subgroups of G with $K∩N={e}$.

I know that $nk=nk$ And the representation of an element in $K×N$ in form $kn$ is unique for all $k∈K$ and $n∈N$.

How can I show the function

$φ:(K×N)→(K⊕N)$ be defined by $φ(kn)=(k,n)$.

is well defined?

I know that I need to show for all $kn,xy∈K×N$ such that $kn=xy$, $φ(kn)=φ(xy)$ But I don't know how to show that

-
I think your third line should begin with "I know that $\,nk=kn\,$ ..." , and not what you wrote... –  DonAntonio Apr 20 '13 at 14:01

If $kn=xy$, then $x^{-1}k = yn^{-1}$. Since the left hand side is in $K$ and the right hand side is in $N$, both are in $K\cap N=\{e\}$. Hence $x^{-1}k=e=yn^{-1}$ and we conclude $x=k$ and $y=n$.
Thus, $\phi(xy) = \phi(kn)$ by the substitution property of equality.