|
数学において、斜交群（しゃこうぐん、）またはシンプレクティック群は、極めて密接に関連するが、異なる 2 つの群を意味し得る。 この記事では、この二つの群を Sp(2''n'', ''F'') および Sp(''n'') と記す。 前者と区別するため、後者は屡、コンパクト斜交群と呼ばれる。 多くの筆者が若干異なる記号を使う傾向にあるが、それは、2 の因数だけ異なる。 ここでの記号は、群を表現するために使う行列の大きさに合わせることとする。 == Sp(2''n'', ''F'') == 体 ''F'' の上の 2''n'' 次の斜交群 Sp(2''n'', ''F'') とは、成分を ''F'' に持つ ''2n'' × ''2n'' 斜交行列全体の、行列の掛け算を群の演算とする群である。 全ての斜交行列の行列式は 1 だから、斜交群は、特殊線形群 SL(2''n'', ''F'') の部分群である。 より形式的には、斜交群は、''F'' 上の 2''n'' 次元ベクトル空間の線形変換であって、非退化反対称双線形形式を保存するもの全体の集合として定義できる。 この様なベクトル空間は、斜交ベクトル空間と呼ばれる。 抽象斜交ベクトル空間 ''V'' の斜交群はまた、Sp(''V'') と書く。 ''n'' = 1 のとき、行列の斜交条件は、行列式が 1 であることと同値であり、従って Sp(2, ''F'') = SL(2, ''F'') である。 ''n'' > 1 のときには、追加的条件が必要となる。 典型的には、''F'' は実数体 R または複素数体 C である。 この場合、Sp(2''n'', ''F'') は、実または複素次元 ''n''(2''n'' + 1) の実または複素リー群である。 これら群は連結だがコンパクトではない。 Sp(2''n'', C) は単連結であるが、Sp(2''n'', R) は Z に同型な基本群を有する。 Sp(2''n'', ''F'') のリー環は、以下の式を満たす 2''n''×2''n'' 行列全体の集合である。 ここで、''tA'' は ''A'' の転置、Ω は以下の反対称行列である。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「斜交群」の詳細全文を読む スポンサード リンク
|