"n" 次のユニタリ群(ユニタリぐん、) U("n") とは、"n" 次ユニタリ行列のなす群のことである。演算は行列の積で与えられる。ユニタリ群は一般線型群の部分群である。ここで GL("n

出典:wikipedia