动元为formula_140（formula_147当且仅当formula_148)。这是复共轭与2阶有限域扩张共轭的推广，从而我们可以在它上面的定义埃尔米特形式与酉群。
代数群.定义酉群的方程是一些formula_140上的多项式方程（但不是在formula_140上）：对标准形式 formula_151，这些方程由矩阵formula_152给出，这里formula_153是共轭转置。给定另外一个形式，它们是formula_154。从而酉群一个代数群，它在一个formula_1