を複素二次正方行列全体の集合とし、を単位行列とするとき、は2次元ユニタリ変換全体の集合