GroupStabilizerChain
GroupStabilizerChain[group]
group の基底内の点の group 内の連続する固定群のリストを返す.
詳細とオプション
- 群の基底は,点すべてを固定する群内の唯一の元が恒等元であるような作用領域の点のリストである.
- GroupStabilizerChainは自動的に適切な基底を選んで群の強生成元を与える.
- GroupActionBaseオプションを設定して明示的な基底を指定することができる.
- 基底{b1,…,bn}について,固定群鎖は{b1,…,bi}->GroupStabilizer[group,{b1,…,bi}]の形式の元のリストとして与えられる.ただし,i=0,…,n である.最初の元は{}の固定群で,これは完全な group である.最後の元はその基底の固定群で,自明群である.
- 各固定群の生成元のリストはリスト中の前の固定群の生成元のリストの部分リストである.このため,生成元はそれぞれの群の強生成元である.
例題
すべて開くすべて閉じるオプション (1)
GroupActionBase (1)
デフォルトで,GroupStabilizerChainは適切な基底を選ぶ:
アプリケーション (1)
GroupStabilizerChainは強生成元とその基底へのアクセスを提供する関数である.ゆえに,これは置換群を使った計算のプログラミングをさらに行う場合の出発点である:
基底の長さが置換の次数よりはるかに短いこれらの群は,強生成元を使って効率的に操作することができる:
次は276点に作用する散在型単純群ConwayGroupCo3[]の置換表現である.しかし,ここでは6点だけの基底が使われている:
テキスト
Wolfram Research (2010), GroupStabilizerChain, Wolfram言語関数, https://reference.wolfram.com/language/ref/GroupStabilizerChain.html.
CMS
Wolfram Language. 2010. "GroupStabilizerChain." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/GroupStabilizerChain.html.
APA
Wolfram Language. (2010). GroupStabilizerChain. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/GroupStabilizerChain.html