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 \(\displaystyle \phi(z1)\pm\phi(z2)=\phi(z1\pm z2)\) and
\(\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 \(\displaystyle z=a+ib=0\) then \(\displaystyle -a=ib\) and \(\displaystyle \phi(0)= ?\) ... I dont know.. how do i work with that? Should i convert to polar? \(\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.
I have got the \(\displaystyle \phi(z1)\pm\phi(z2)=\phi(z1\pm z2)\) and
\(\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 \(\displaystyle z=a+ib=0\) then \(\displaystyle -a=ib\) and \(\displaystyle \phi(0)= ?\) ... I dont know.. how do i work with that? Should i convert to polar? \(\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?