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∈G is denoted by ˆUg. Because any two unitary operators related by a phase are physically equivalent, it may not be the case that ˆUg1 and ˆUg2 compose to ˆUg1g2; instead, we will have a relationship like ˆUg1ˆUg2=eiϕ(g1,g2)ˆUg1g2. At first glance, it seems like we just made...