ormula_93。写成矩阵，设这个形式用矩阵formula_94表示，这便是说formula_95。就像实数上的对称形式，埃尔米特形式由符号确定，所有都是酉合同于对角线上formula_96个元素为1，formula_97个formula_98的对角矩阵。非退化假设等价于 formula_99。在一组标准基下，这代表二次形式：作为对称形式是：得出的群记为formula_102。
有限群.在formula_103个元素的有限域formula_104上，有一个惟一的2阶扩张域