formula_140上的多项式方程（但不是在formula_140上）：对标准形式 formula_151，这些方程由矩阵formula_152给出，这里formula_153是共轭转置。给定另外一个形式，它们是formula_154。从而酉群一个代数群，它在一个formula_140-代数formula_156上的点由给出。对域扩张formula_82与标准（正定）埃尔米特形式，这得出了具有实点与复点的代数群：
分类空间.关于"U"("n")的分类空间在条目U(n)的分