Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
> There they commute iff... $[G,H]$ is a constant multiple of the identity. I understand $\mathbb{P}\mathcal{H}$ to contain the equivalence classes of vectors related by a multiplicative constant. But then, isn't calling $[G,H]$ a "constant multiple of the identity" the same as saying $[G,H]=0$? It seems to me that on the projective space $\mathbb{P}\mathcal{H}$, it is also the case that $[e^{ibG}, e^{iaH}]=0$ iff $[G,H]=0$. What am I missing? [P.S.: Thanks for the Roels and Weinstein reference, that is very helpful.]