Letbe defined as
. Then
is not a well defined map, because there exists
such that
maps to two different elements in
This doesn't really apply to your proof, but in general be careful when you use the square root with complex numbers, as you'll often get multiple answers. In fact, when you use the square root with real numbers, there are multiple possible answers, but it's convention to ignore the negative parts. I could do the same proof without complex numbers.
We know thatand the square root and square operations are inverses so they cancel and
.
And we know that.
example:
So.
So. gg.
Where is the problem with this?