特征数2的域上对称阵定义的群的生成元

设K是特征数2的域,S是K上的一个n级可逆对称阵,K上满足条件ASA′=S的n级可逆阵A的全体,对于矩阵乘法组成群,叫做K上由对称阵S所定义的群,记作G_n(K,S)。在域K上,由合同的对称阵所定义的群是同构的对称阵在合同变换下可化为