体験を伝える―『ガジェット通信』の考え方

面白いものを探しにいこう 本物を体験し体感しよう 会いたい人に会いに行こう 見たことのないものを見に行こう そしてそれをやわらかくみんなに伝えよう [→ガジェ通についてもっと詳しく] [→ガジェット通信フロアについて]

プログラミング言語Egisonによるガロア理論入門 (2) ―対称群と正規部分群

群とは?

数に対して定義されたかけ算を一般化して、色々な集合の上にかけ算のような演算を定義して生まれた概念が群です。

正確な定義を述べると、ある集合Gとその元の間の演算*が以下の3つの条件を満たすとき、(G, *)は群であると定義されます。
結合則 : 任意のx,y,z∈Gについて、(x * y) * z = x * (y * z)が成り立つ。
単位元の存在 : 任意のa∈Gについてあるe∈Gが存在し、x * e = e * x = xが成り立つ。
eは単位元と呼ばれる。
逆元の存在 : 任意のx∈Gについてあるr∈Gが存在し、x * r = r * x = eが成り立つ。
rは逆元と呼ばれる。

例えば、有理数全体の集合をQ、有理数上の乗算を*としたとき、(Q, *)は群です。
整数全体の集合をZとしたとき、(Z, *)は逆元の存在の条件を満たさないので群ではないです。

対称群

対称群とはどのような群なのか具体例を示しながら説明します。

n個の元からなる順列の集合を考えます。
例えば、3個の元からなる順列は{1 2 3}、{2 1 3}、{1 3 2}、{3 1 2}、{2 3 1}、{3 1 2}の6通りあります。
この順列の集合の上で、前節の条件を満たす2項演算*を定義することを考えます。
1つめの順列を2つめの順列で置換する演算*を定義すると群となります。
例えば、以下のような感じです。

{1 2 3} * {3 1 2} = {3 1 2}
{2 1 3} * {3 1 2} = {3 2 1}

このように並び替え操作について作られる群は対称群と呼ばれています。

ところで、対称群の2項演算*は可換とは限りません。
例えば、

{2 1 3} * {3 1 2} = {3 2 1}
{3 1 2} * {2 1 3} = {1 3 2}

となります。

2項演算*が任意の元に対して可換である群は可換群と呼ばれています。
逆に、可換でない元の組み合わせのある群は非可換群と呼ばれています。
対称群は一般に非可換群です。

一般的に、n個の元からなる集合の並び替えについての対称群はn次対称群と呼ばれています。
その元の個数はn!です。

n次対称群はSnと表記されます。
群に含まれる元の個数は位数と呼ばれています。
Snの位数がn!であること記すのに、order(Sn)=n!のように表記します。

また、対称群の部分群は置換群となります。

Egisonで対称群の計算

以下のコマンドにより、対称群について計算するためのライブラリをロードしたEgisonインタプリタを立ち上げることができます。

$ git clone https://github.com/egison-libs/galois-theory.git
$ cd galois-theory
$ egison -l lib/math/algebra/symmetric-group.egi

このライブラリのマニュアルは、GitHub上にあるこのライブラリのリポジトリにあります。

例えば、対称群の元の積は、G.*関数により計算することができます。

> (G.* {2 1 3} {3 1 2})
{3 2 1}

> (G.* {3 1 2} {2 1 3})
{1 3 2}

また、変数s3、s4、s5にはそれぞれ対称群S3、S4、S5の元が束縛されています。

> s3
{{1 2 3} {1 3 2} {2 1 3} {2 3 1} {3 1 2} {3 2 1}}

群の内部構造

群に含まれている群、部分群を通して群は観察されます。
例えば({2 1 3}, {1 2 3})や({3 1 2}, {2 3 1}, {1 2 3})はS_3の部分群です。
また、この2つの部分群のように、ある1つの元から生成される群は巡回群と呼ばれています。

部分群は、自然数の素因数分解のアナロジーで考えることができます。
例えば、巡回部分群は対称群にとって、自然数にとっての素数のようなものと考えることができます。

Egisonで巡回群の計算

gen-cyclic-groupは、引数として与えられた置換により生成される巡回群を返す関数です。

> (gen-cyclic-group {2 1 3})
{{2 1 3} {1 2 3}}

> (gen-cyclic-group {2 3 1})
{{2 3 1} {3 1 2} {1 2 3}}

1 2 3次のページ
CodeIQ MAGAZINEの記事一覧をみる
  • 誤字を発見した方はこちらからご連絡ください。
  • ガジェット通信編集部への情報提供はこちらから
  • 記事内の筆者見解は明示のない限りガジェット通信を代表するものではありません。

山寺宏一&高木渉で『ポプテピピック』

GetNews girl / GetNews boy