In my post on Wigner's theorem , I explained the famous result that any symmetry transformation on quantum states can be realized as a unitary or antiunitary operator on Hilbert space. But when we study symmetries of quantum systems, we usually have in mind not a single symmetry but a full group of symmetries; Wigner's theorem tells us nothing about how the operators corresponding to different symmetries in the same group should compose with one another. Suppose, for example, that a quantum system transforms under the symmetry group $G$, and that the unitary or antiunitary operator corresponding to the element $g \in G$ is denoted by $\hat{U}_g$. Because any two unitary operators related by a phase are physically equivalent, it may not be the case that $\hat{U}_{g_1}$ and $\hat{U}_{g_2}$ compose to $\hat{U}_{g_1 g_2}$; instead, we will have a relationship like $$\hat{U}_{g_1} \hat{U}_{g_2} = e^{i \phi(g_1, g_2)} \hat{U}_{g_1 g_2}.$$ At first glance, it seems like we just made...