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