AbelianGroup

✖
`AbelianGroup`

✖

AbelianGroup[{n₁,n₂,…}]

次数 n₁,n₂,…の巡回群の直積である．

詳細

AbelianGroup[{n₁,n₂,…}]の次数 n_iは，非負の整数でなければならない．
AbelianGroup[{n₁,n₂,…}]はデフォルトで点{1,…,n₁+n₂+…}の置換群として表される．

予備知識

AbelianGroup[{n₁,n₂,…,n_k}]は，非負の整数次数 n₁,n₂,…,n_kを持った巡回群の直積として定義される可換群を表す．ここで，群 , , …の直積は，もとになる集合が，, , …の順序タプルである集合のデカルト積からの類推であり，群の方向はとなるように成分ごとに取られる．
一般に，「アーベル群」という名称は可換である群，つまりである群に言及する際に使われる．このような群の方向はすべての元について恒等式を満足する．有限アーベル群の基本定理には，「すべて」の有限アーベル群を巡回群の直積として表すことができる，とある．結果として，関数AbelianGroupを使って任意の有限アーベル群を表すことができる．
AbelianGroup[{n₁,n₂,…,n_k}]のデフォルト表現は，元についての置換群としてのものである．のとき，AbelianGroup[{n}]はCyclicGroup[n]に等しい（AbelianGroup[{0}]とAbelianGroup[{1}]はどちらも，元が厳密に1つである自明群と等しい）．
AbelianGroup[{n₁,n₂,…,n_k}]には，GroupOrder，GroupGenerators，GroupElements等を含む通常の群論関数を適用することができる．アーベル群AbelianGroup[{n₁,n₂,…,n_k}]の数多くの計算済みの特性をFiniteGroupData[{"AbelianGroup",{n₁,n₂,…,n_k}},"prop"]によって得ることができる．
AbelianGroupは他の数多くのシンボルと関連している．数学的には，AbelianGroup[{n₁,n₂,…,n_k}]は群CyclicGroup[n₁],CyclicGroup[n₂],…,CyclicGroup[n_k]の直積に等しい．Wolfram言語に組み込まれた，整数でパラメータ化される他の有限群の無限族には，AlternatingGroup，CyclicGroup，DihedralGroup，SymmetricGroupがある．

例題

すべて開くすべて閉じる

例 (3)基本的な使用例

アーベル群の元の数：

In[1]:=1

✖

https://wolfram.com/xid/0bh1ma566538aa-5qbh14

Out[1]=1

アーベル群の置換の生成元：

In[1]:=1

✖

https://wolfram.com/xid/0bh1ma566538aa-11euhb

Out[1]=1

アーベル群の置換表現の元：

In[1]:=1

✖

https://wolfram.com/xid/0bh1ma566538aa-eshlmr

Out[1]=1

スコープ (1)標準的な使用例のスコープの概要

任意数の任意次数を持つ巡回群の直積：

In[1]:=1

✖

https://wolfram.com/xid/0bh1ma566538aa-o82ebk

Out[1]=1

特性と関係 (2)この関数の特性および他の関数との関係

非零の次数については，AbelianGroup[{n₁,n₂,…}]の位数は n_iの積である：

In[1]:=1

✖

https://wolfram.com/xid/0bh1ma566538aa-zc2nl3

Out[1]=1

p 素数を持つ群AbelianGroup[{p,p,…}]は，基本アーベル群と呼ばれる．そのような群では，自明ではない元はすべて位数 p を持つ：

In[1]:=1

✖

https://wolfram.com/xid/0bh1ma566538aa-s8bp6x

Out[1]=1

In[2]:=2

✖

https://wolfram.com/xid/0bh1ma566538aa-xhfq11

Out[2]=2

おもしろい例題 (1)驚くような使用例や興味深い使用例

2つの巡回群の直積のケイリーグラフはトーラスに似た形になる：

In[1]:=1

✖

https://wolfram.com/xid/0bh1ma566538aa-4nkinc

Out[1]=1

トップへ