一个域formula_140与一个2阶可分formula_140-代数formula_142（可能是一个域扩张但也未必），我们可以定义关于这个扩张的酉群。首先，存在formula_142的惟一formula_140-自同构formula_145是一个对合且恰好不动元为formula_140（formula_147当且仅当formula_148)。这是复共轭与2阶有限域扩张共轭的推广，从而我们可以在它上面的定义埃尔米特形式与酉群。
代数群.定义酉群的方程是一些formula_14