uはformula_1を満たす2次のユニタリ行列であり、変換uの全体は群su(2)をなす。