사전

ここでの記号は、群を表現するために使う行列の大きさに合わせることとする。 体 F の上の 2n 次の斜交群 Sp(2n, F) とは、成分を F に持つ 2n × 2n 斜交行列全体の、行列の掛け算を群の演算とする群である。 全ての斜交行列の行列式は 1 だから、斜交群は、特殊線形群 SL(2n, F) の部分群である。