辛群_数学名词 - 线报百科mbji.cn

辛群

数学名词

在数学中，辛群可以指涉两类不同但关系密切的群。我们分别称之为 Sp(2n,F) 与 Sp(n)。后者有时也被称作紧致辛群以区别。

Sp(2n, F)

域F上次数为2n的辛群是由2n阶辛矩阵在矩阵乘法下构成的群，记为Sp(2n,F)。由于辛矩阵之行列式恒等于一，此群是SL(2n,F)的子群。

抽象而言，辛群可定义为F上一个2n维向量空间上保存一个非退化、斜对称双线性形的所有可逆线性变换。带有这种双线性形的向量空间称为辛向量空间。一个辛向量空间V产生的辛群记为Sp(V)。

当n=1，有Sp(2,F)=SL(2,F)，当n>1时，Sp(2n,F)是SL(2n,F)的真子群。

通常将域F取为实数域R、复数域C或非阿基米德局部域，如p进数域。此时辛群Sp(2n,F)是维度等于的连通代数群。是单连通的，而的基本群则同构于。

的李代数可以刻划为满足下列条件的2n阶方阵A：

其中表示A的转置矩阵，而是下述反对称矩阵

Sp(n)

紧辛群定义为（表四元数）上保持标准埃尔米特形式

之可逆线性变换。换言之，即四元数上的酉群。有时此群也被称为超酉群。即单位四元数构成之群，拓扑上同胚于三维球。

并不同构于之前定义的。下节将解释其间的联系。

是维之紧致、连通、单连通实李群，并满足

其李代数由满足下述关系的n阶四元数矩阵构成

其中是A的共轭转置（在此取四元数之共轭运算）。李括积由矩阵之交换子给出。

紧辛群有时称为酉辛群，记为。