MathieuGroupM23

MathieuGroupM23[]

散在型単純マシュー(Mathieu)群を表す．

詳細

デフォルトで，MathieuGroupM23[]は点{1,…,23}に作用する置換群として表される．

予備知識

MathieuGroupM23[]は，位数がの群であるマシュー群を表す．この群は，位数が有限である26の散在型単純群の一つである．MathieuGroupM23のデフォルト表現は，2つの生成元を持つ点上の置換群としてのものである．
マシュー群は散在型有限単純群で6番目に小さい．この群は，他の4つのマシュー群（MathieuGroupM11，MathieuGroupM12，MathieuGroupM22，MathieuGroupM24）とともに，数学者のÉmile Léonard Mathieuによって，散在型群としてはじめて，1800年代末に発見された．MathieuGroupM23は，MathieuGroupM22の元の一意的な任意の4タプルを他の任意の一意的な4タプルに写像する一意的な群の元が少なくとも1つ存在するという意味で，4推移的である．は，その置換表現に加え，生成元によって，の関係として定義することができ，上での点固定群でもある．マシュー群は，他の散在型単純群とともに，有限単純群の重要（かつ完全）な分類に大きく貢献した．
MathieuGroupM23[]には，GroupOrder，GroupGenerators，GroupElements等を含む通常の群論関数を適用することができる．マシュー群の数多くの計算済みの特性を，FiniteGroupData[{"Mathieu",23},"prop"]を介して得ることができる．
MathieuGroupM23は他の数多くのシンボルに関連している．MathieuGroupM23は集合的に散在型有限単純群の「第一世代」と呼ばれる5つの群の一つである（他にMathieuGroupM11，MathieuGroupM12，MathieuGroupM22，MathieuGroupM24がある）．この群は，そのすべてがモンスター群のいわゆる部分商として現れる，「Happy」な20個の散在群の一つでもある．