名前付き群

Wolfram言語では無限群族と,有名な26の散在型単純群(ティッツ(Tits)群を含むと27)等の関連する散在型群が利用できる.特にWolfram言語にはそのほとんどについての置換表現の知識があり,系の他の分野でのさらなる計算と適用が可能である.

パラメータ化された無限群族

SymmetricGroup 次数 の対称群

AlternatingGroup 次数 の交代群

CyclicGroup 次数 の巡回群

DihedralGroup 次数 面体の二面体群

AbelianGroup いくつかの巡回群の直積と同型のアーベル(Abelian)群

散在型単純群:マシュー(Mathieu)群

MathieuGroupM11 デフォルトで11個の点について表現するマシュー群

MathieuGroupM12 デフォルトで12個の点について表現するマシュー群

MathieuGroupM22 デフォルトで22個の点について表現するマシュー群

MathieuGroupM23 デフォルトで23個の点について表現するマシュー群

MathieuGroupM24 デフォルトで24個の点について表現するマシュー群

散在型単純群:第2世代

ConwayGroupCo1 表現は与えられていないコンウェイ(Conway)群

ConwayGroupCo2 デフォルトで2300個の点について表現するコンウェイ群

ConwayGroupCo3 デフォルトで276個の点について表現するコンウェイ群

HigmanSimsGroupHS デフォルトで100個の点について表現するHigmanSims群

JankoGroupJ2 デフォルトで100個の点について表現するジャンコ(Janko)群

McLaughlinGroupMcL デフォルトで275個の点について表現するMcLaughlin群

SuzukiGroupSuz デフォルトで1782個の点について表現するSuzuki群

散在型単純群:第3世代

FischerGroupFi22 デフォルトで3510個の点について表現するフィッシャー(Fischer)群

FischerGroupFi23 デフォルトで31671個の点について表現するフィッシャー群

FischerGroupFi24Prime 表現は与えられていないフィッシャー群

HeldGroupHe デフォルトで2058個の点について表現するヘルド(Held)群

HaradaNortonGroupHN 表現は与えられていないHaradaNorton群

ThompsonGroupTh 表現は与えられていないThompson群

BabyMonsterGroupB 表現は与えられていないベビーモンスター群

MonsterGroupM 表現は与えられていないモンスター群

散在型単純群:例外またはPariah群とティッツ群

JankoGroupJ1 デフォルトで266個の点について表現するジャンコ群

JankoGroupJ3 デフォルトで6156個の点について表現するジャンコ群

JankoGroupJ4 表現は与えられていないジャンコ群

RudvalisGroupRu デフォルトで4060個の点について表現するRudvalis群

ONanGroupON 表現は与えられていないO'Nan群

LyonsGroupLy 表現は与えられていないLyons群

TitsGroupT デフォルトで1600個の点について表現するティッツ群