Is there an intelligent way to find the Lie algebra isomorphism $\mathfrak{sl}_2(\mathbb{C})\simeq\mathfrak{o}_3(\mathbb{C})$? The adjoint representation of $\mathfrak{sl}_2(\mathbb{C})$ under a natural basis, it is given by
$$\text{ad}: \mathfrak{sl}_2(\mathbb{C})\to\mathfrak{gl}_3(\mathbb{C})$$
$$\left(\begin{matrix}a&b\\c&-a\end{matrix}\right)\mapsto \left(\begin{matrix}0&-c&b\\-2b&2a&0\\2c&0&-2a\end{matrix}\right).$$
We see that this homomorphism of Lie algebras is injective and its image really looks like $\mathfrak{o}_3(\mathbb{C})$, except the $2$'s.
So I wonder if with a good choice of basis I can get an isomorphism between the Lie algebras $\mathfrak{o}_3(\mathbb{C})$ and $\mathfrak{sl}_2(\mathbb{C})$ (if they are isomorphic)... I've been trying some, but I did not succeed. Is there an intelligent way to see if such a good basis exists or not ?
 A: $\newcommand\ad{\operatorname{ad}}$Let $\beta$ be the Killing form on $\mathfrak{sl}_2$, so that for $X$, $Y\in \mathfrak{sl}_2$ we have $$\beta(X,Y)=\operatorname{tr} \ad(X)\circ \ad(Y).$$ You can easily check that this is a non-degenerate symmetric bilinear form on $\mathfrak{sl}_2$. Moreover, the adjoint action of $\mathfrak{sl}_2$ on itself respects this, in the sense that $$\beta(\ad(X)(Y),Z)+\beta(Y,\ad(X)(Z))=0$$ for all $X$, $Y$, $Z\in sl_2$. If we let $\mathfrak{o}(\beta)\subseteq \mathfrak{gl}(sl_2)$ be the Lie algebra of endomorphisms of the vector space $\mathfrak{sl}_2$ which respect the bilinear form $\beta$, then this tells us that the image of $\ad:\mathfrak{sl}_2\to \mathfrak{gl}(\mathfrak{sl} 2)$ is contained in $\mathfrak{o}(\beta)$. 
Now check that $\mathfrak{o}(\beta)\cong \mathfrak{o}_3$. Basically, this is because if $b$ and $b'$ are two bilinear forms on a vector space $V$, then $\mathfrak{o}(b)\cong\mathfrak{o}(b')$ whenever there is an isomorphism of quadratic spaces $(V,b)\cong(V,b')$. And all non-degenerate symmetric bilinear forms on a complex vector space are isomorphic.
A: Calculate the dimensions of both Lie algebras.  Once you've done that, see if you can find the image of the map by finding an extra relation satisfied by the matrix on the right not satisfied by an arbitrary element in $\mathfrak{o}_3$.
