GroupElementPosition

GroupElementPosition[group,g]
group の元のリスト中の元 g の位置を返す.

GroupElementPosition[group,{g1,,gn}]
group 中の元 の位置のリストを返す.

詳細とオプション詳細とオプション

  • それぞれの位置は1から群の位数までの整数である.
  • 置換群の元の位置はデフォルトでその像の標準的な順序付けに基づく.
  • 置換群の元の順序付けはGroupActionBaseオプションの設定で制御できる.
2010年に導入
(8.0)