MATHEMATICA 組込みシンボル

GroupElements

GroupElements[group]
group のすべての元のリストを返す．

GroupElements

group の元に標準的な順序で

と番号付けして返す．

詳細

置換群の元は群の強生成集合表現を構築することで求まる．

GroupElementsによって返される元の位数は強生成集合の基底に依存する．GroupActionBaseを設定することで明示的に基底を選ぶことができる．

GroupElementsは任意の選ばれた群基底の恒等元を与える．

負の位置は末尾から数えるものとみなされる．

例題

すべて閉じる

例 (3)

巡回置換群の元：

最初の3つの元：

最後の元：

巡回置換群の元：

In[1]:=

Out[1]=

最初の3つの元：

In[1]:=

Out[1]=

最後の元：

In[1]:=

Out[1]=

スコープ (2)

置換群：

最初の置換は常に恒等置換である．次に，台の最後の点を動かす置換を行う：

交代群は3巡回で生成される：

オプション (1)

転置とシフトで生成された次数5の対称群を取る：

デフォルトで，置換は標準劇な順序付けで得られる：

異なる順序で同じ置換を生成する：

基底の役割は基底に関連した置換のもとでの共役として理解することができる：

アプリケーション (1)

一様の階数を生成し次にそれらの置換を行うことで，群内に一様分布に従うランダム置換を生成することができる：

特性と関係 (1)

置換群：

これはまだ

の小さい部分群に過ぎない：

群内のいくつかの置換を取り出す：

置換の位置を求める：

考えられる問題 (3)

位置0は定義されない：

位置は群の位数より大きくてはならない：

置換は Mathematica の標準的な順序ではなく像によってソートされる：

おもしろい例題 (1)

これらは最大マシュー群

の置換表現の生成元である：

この群のソートされた基底と相対的な強生成集合を求める：

位数960の部分群：

ソートされていない基底を使ってその置換を構築する：

群におけるそれらの位置を求める：

それらはソートされていない：

異なる基底を使うと別々の再順序付けのパターンが現れる：

デフォルトで，基底はソートされているものと見なされる：