数学において、一般四元数群は「4元数型の群」、は「4元数形の2群」という言い方をしている。 （いっぱんしげんすうぐん、）とは、四元数群
を一般化した有限群のこと。これは
という表示で定義される「2重巡回群」（）と呼ばれることもある 。、位数 で、位数が である部分群（）を唯一つ持つ群である。（2群の場合しか考えないこともある。この場合、位数 の一般四元数群を と書く流儀もあり、注意が必要である。）群の生成元を
のように対応させることで、忠実な行列表現を得ることができる。
四元数群 四元数群（しげんすうぐん、）は
という表示で定義される一般四元数群の対応する表示は である (Groupprops)。。これは位数 の非可換群で、すべての真部分群は巡回的である。元 は唯一つの対合で中心的であり、 と書かれることも多い。これらの記号はハミルトンの四元数環の生成系に由来する。群の生成元を
のように対応させることで、忠実な行列表現を得ることができる。四元数群はハミルトン群、つまり、すべての部分群が正規部分群であるような非可換群の最小位数の例である。また自己同型群 は4次の対称群 と同型である。
ブラウアー・鈴木の定理 有限群 の持つシロー 部分群が一般四元数群と同型ならば最大の奇数位数正規部部分群 による商 の中心は位数 である。特に、このような有限群 は決して単純群でない。
脚注
参考文献
数学 sugaku1947.37.180
外部リンク