ring homomorphism mapping c to 2x2 matrices

renegade05

Full Member
Joined
Sep 10, 2010
Messages
260
Hello there, trying to show that the map:

\(\displaystyle \phi:a+ib \to \begin{bmatrix} a&-b \\
b&a
\end{bmatrix}\)

is a ring homomorphism.

I have got the ϕ(z1)±ϕ(z2)=ϕ(z1±z2)\displaystyle \phi(z1)\pm\phi(z2)=\phi(z1\pm z2) and
ϕ(z1z2)=ϕ(z1)ϕ(z2)\displaystyle \phi(z1z2)=\phi(z1)\phi(z2)

however proving \(\displaystyle \phi(0)=\begin{bmatrix} 0&0 \\
0&0
\end{bmatrix}\) and \(\displaystyle \phi(1)=\begin{bmatrix} 1&0 \\
0&1
\end{bmatrix}= I\)

is proving difficult for me for some reason.

Should i start with letting z=a+ib=0\displaystyle z=a+ib=0 then a=ib\displaystyle -a=ib and ϕ(0)=?\displaystyle \phi(0)= ? ... I dont know.. how do i work with that? Should i convert to polar? z=a+ib=0=rcisθ\displaystyle z=a+ib=0=rcis{\theta} But im not sure where that leads either. I think I'm over thinking this. Please some guidance.

Also (SIDENOTE), is there no latex command for the shorthand 'cis' ? \cis doesn't work?
 
\(\displaystyle \phi:a+ib \to \begin{bmatrix} a&-b \\
b&a
\end{bmatrix}\)

is a ring homomorphism.

What are the requirements to show a ring homomorphism?

[ tex]\text{cis}(\theta)[/tex] gives cis(θ)\displaystyle \text{cis}(\theta)
 
ϕ(z1)±ϕ(z2)=ϕ(z1±z2)\displaystyle \phi(z1)\pm\phi(z2)=\phi(z1\pm z2)
ϕ(z1z2)=ϕ(z1)ϕ(z2)\displaystyle \phi(z1z2)=\phi(z1)\phi(z2)
ϕ(1)=1\displaystyle \phi(1)=1
ϕ(0)=0\displaystyle \phi(0)=0

I can show the first two, but the last two I dont know how to do it applied to this problem.
 
ϕ(z1)±ϕ(z2)=ϕ(z1±z2)\displaystyle \phi(z1)\pm\phi(z2)=\phi(z1\pm z2)
ϕ(z1z2)=ϕ(z1)ϕ(z2)\displaystyle \phi(z1z2)=\phi(z1)\phi(z2)
ϕ(1)=1\displaystyle \phi(1)=1
ϕ(0)=0\displaystyle \phi(0)=0

I can show the first two, but the last two I dont know how to do it applied to this problem.

Surely \(\displaystyle \phi(1)=\phi(1+0i)=\left[ {\begin{array}{*{20}{c}} 1&{ - 0} \\ 0&1\end{array}} \right]\)

What do you not understand?
 
Surely \(\displaystyle \phi(1)=\phi(1+0i)=\left[ {\begin{array}{*{20}{c}} 1&{ - 0} \\ 0&1\end{array}} \right]\)

What do you not understand?

why surely?

if ϕ(1)\displaystyle \phi(1) then z=1=a+bi\displaystyle z=1=a+bi does this make it self evident that 1a=bi\displaystyle 1-a=bi and a=1,b=0\displaystyle a=1, b=0 is the only solution? Is there anyway to show this algebraically? is that the only solution? I'm new to complex analysis: is there any other possible solutions to 1a=bi\displaystyle 1-a=bi ?
 
why surely?

if ϕ(1)\displaystyle \phi(1) then z=1=a+bi\displaystyle z=1=a+bi does this make it self evident that 1a=bi\displaystyle 1-a=bi and a=1,b=0\displaystyle a=1, b=0 is the only solution? Is there anyway to show this algebraically? is that the only solution? I'm new to complex analysis: is there any other possible solutions to 1a=bi\displaystyle 1-a=bi ?
I am sorry to tell you that it appears that you have no idea what any of this is about.
I suggest that you start over with a course in pre-algebra.
You are wasting your time unless you know basic algebra.
 
why surely?

if ϕ(1)\displaystyle \phi(1) then z=1=a+bi\displaystyle z=1=a+bi does this make it self evident that 1a=bi\displaystyle 1-a=bi and a=1,b=0\displaystyle a=1, b=0 is the only solution? Is there anyway to show this algebraically? is that the only solution? I'm new to complex analysis: is there any other possible solutions to 1a=bi\displaystyle 1-a=bi ?

I think you are missing a key, very basic, fact. Perhaps you are thinking too hard. The fact that a+bi\displaystyle a+bi is real if and only if b=0\displaystyle b=0 tells you that a real number r\displaystyle r is the same as r+0i\displaystyle r+0i. There is no algebra that needs to be done.
 
I am sorry to tell you that it appears that you have no idea what any of this is about.
I suggest that you start over with a course in pre-algebra.
You are wasting your time unless you know basic algebra.

I am a 3rd year honors math major who has aced every math course I have been in... I don't need a course in pre-algebra. Thanks for that remark though?

Thanks daon2 thats the answer I was looking for. Just a case of over thinking it.
 
Top