群是由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取为实数域formula_1、复数域formula_2或非阿基米德局部域，如p进数域for