FischerGroupFi23

FischerGroupFi23[]

散在型単純フィッシャー(Fischer)群を表す．

詳細

FischerGroupFi23[]のデフォルトの置換表現は点{1,…,31671}に作用する．

予備知識

FischerGroupFi23[]は，位数がであるフィッシャー群を表す．この群は，位数が有限である26の散在型単純群の一つである．FischerGroupFi23のデフォルト表現は，生成元が2つのシンボルの置換群としてのものである．
フィッシャー群は6番目に大きい散在型有限単純群である．この群は1970年代にBernd Fischerによって導入され，の頂点を持つグラフの3転置に対応する位数3の動作によって最初に定義された．点固定群としてフィッシャー群の二重被覆を持つデフォルトの置換表現に加え，FischerGroupFi23は個の点に対して2番目の位数3の群動作を持つ．また，体上に3元の次元253の既約表現を持つ．フィッシャー群は，他の散在型単純群とともに，有限単純群の重要（かつ完全）な分類に大きく貢献した．
FischerGroupFi23[]には，GroupOrder，GroupGenerators，GroupElements等を含む通常の群論関数を適用することができる．しかし，位数が大きいために，そのような群論関数の数多くは適用されても未評価で返されることがある．フィッシャー群の数多くの計算済みの特性を，FiniteGroupData[{"Fisher",23},"prop"]を介して得ることができる．
FischerGroupFi23は他の数多くのシンボルに関連している．FischerGroupFi23は集合的に散在型有限単純群の「第三世代」と呼ばれる8つの群の一つである（他にFischerGroupFi22，FischerGroupFi24Prime，HeldGroupHe，HaradaNortonGroupHN，ThompsonGroupTh，BabyMonsterGroupB，MonsterGroupMがある）．この群は，そのすべてがモンスター群のいわゆる部分商として現れる，「Happy」な20個の散在群の一つでもある．