MATHEMATICA 組込みシンボル

GroupMultiplicationTable

GroupMultiplicationTable[group]
group の乗積表を配列として与える．

詳細

位数の n の group について，GroupMultiplicationTableは元が群内の元 i と元 j の乗算の結果を与えるような整数の行列 mat を返す．位置 i, j, およびは関数GroupElementPositionで計算される．

例題

すべて閉じる

例 (1)

これは位数8の群である：

以下はGroupElementPositionで番号付けされた元のすべてのペアの乗算である：

この群の8つの置換すべてを生成する：

リスト中の置換5と置換2の積は置換7である：

これは位数8の群である：

In[1]:=

Out[1]=

以下はGroupElementPositionで番号付けされた元のすべてのペアの乗算である：

In[2]:=

Out[2]//TableForm=

この群の8つの置換すべてを生成する：

In[3]:=

Out[3]=

リスト中の置換5と置換2の積は置換7である：

In[4]:=

Out[4]=

スコープ (1)

任意の有限群について乗積表が構築できる：

アプリケーション (1)

置換群代数の基本の元は群の置換の線形結合である，乗積表を使うことで，置換の積を計算し直すことを避けることが可能である．群代数の元を係数のリストとして表示することでそれらの乗算が可能になる：

これはベキ零元である：

これはベキ等元である：

特性と関係 (7)

群の乗積表のすべての行とすべての列にすべての置換が一回ずつ，異なる順序で含まれている．ゆえに，表はラテン方陣である（結合性が保証されないため，すべてのラテン方陣が群に対応する訳ではない）：

自明な群の乗積表：

ケーリーの定理にはすべての有限群は何らかの置換の対称群の部分群と同型であるとある．ゆえに，乗積表はすべて（置換に再度番号付けをした後の）対称群の表の一部である：

これは

の部分群の乗積表である：

ゆえに，これは

の表の一部として抽出することができる：

群の乗積表が転置のもとに対称であるときかつそのときに限りその群はアーベル群である．次数3の対称群を例とする：

群

はアーベル群ではない：

群のすべての元が対合のとき，その群はアーベル群である．つまり，乗積表の対角に1のみが並ぶ場合，その群は対称群である：

乗積表はPermutationProductとGroupElementPositionを直接使っても得ることができる：

2つの群が元の並べ替えを法とする同じ群乗積表を持つとき，両者は抽象群として同型である：

しかし，これら2つの群は置換群としては同型ではない．なぜなら，両者の置換が異なる巡回構造を持つからである：

考えられる問題 (1)

乗積表は最初の元が垂直軸で，第2元が水平軸で表現される「配列の指数付け」に従う．両者が逆になる「デカルト指標付け」に従うのではない：

おもしろい例題 (1)

対称群

の乗積表の行列プロット：