ユニタリ群
複素数体上のユニタリ群は以下の性質を満たす。
最も単純な n = 1 の U(1) は巡回群に対応し、絶対値が1の複素数からなる。全てのユニタリ群は U(1) のコピーを含む。
ユニタリ群 U(n) は次元 n の実リー群である。
U(n) のリー代数は n 次歪エルミート行列からなり、その括弧積は交換子で与えられる。