有限表現可能について
前提
群論についての基本的なこと(群、部分群、準同型など)を知っていればOK
ここでは、有限表現可能が"何をしようとしているのか"について説明するのが主な目的であり、その過程で有限生成にも軽く触れようと思っている。
生成とは
を群としたとき、を任意に取ってくる。このとき、から生成できる部分群をと表記して、以下のように定義する。
$$\langle a \rangle=\left\{a^n | n\in\mathbb{Z} \right\}$$
これはつまり、を含む最小の部分群である。
一般に有限集合を持ってきて、という表記もあり、以下のように定義する。
$$\langle S\rangle = \left\{x_1^{\pm 1}\cdots x_n^{\pm 1}|x_i\in S\right\}$$
これもを含む最小の部分群と考えることができる。
ここで、が有限生成可能とは、ある有限集合が存在して、となることをいう。
自由群
自由群とは、以下のような定義である。
を記号全体の集合とする。これに対してこの記号全体に対して積を考える。このとき自由群(という記号で表す)は、
$$F_n = \left\{{x_{i_1}}^{a_1}{x_{i_2}}^{a_2}\cdots {x_{i_m}}^{a_m}|a_j\in\mathbb{Z},i_{j}\neq i_{j+1},1\leq i_j\leq n\right\}\cup \left\{e\right\}$$
というように表記することができる。
まあ、なんのことなのかよく分から無さそうなので具体例で説明しよう。
適当にとでもしておこう。
これに対応する部分群の成分を例として一つあげると、
$$りんご\cdot ぶどう\cdot りんご^2 \cdot すいか\cdot ぶどう$$
というような形をしている。ここで、や、のように、意味不明な掛け算をしているように見えてるが、あくまで形式上である。つまり、これらの積がどのような形をしているかは分からないし、考える必要がない。しかしのように同じものを掛ける場合は、のようにまとめられるという話である。ようは計算式を表現している文字列と思えばいいだろう。また、ここでの積は文字列自体の結合であり、単位元は空文字列とすればよいだろう。
有限表現可能とは(定義)
有限表現についての定義をまずここに書く。この定義がどのような目的を持っているかについては、次節で説明する。
群が有限表現可能であるとは、ある有限集合が存在して、かつ、Sから生成される自由群とに対して生成される自然な写像を考えた時、(このとき、は準同型写像になる)が有限生成群であることをいう。
有限表現可能の気持ち
順番に説明しよう。便宜上ということにする。
まず、が有限集合でなくてはいけないのは、おそらく無限集合だと気持ち悪くなるからである。(基礎論詳しい人に怒られそうなので詳しい説明は割愛する。)
次に、自然な写像がなんなのかというと、要は計算結果である。自由群の節で"自由群とは計算式を表現している文字列である"と説明していた。現にを構成している文字列はの集合と一致している。つまり、の元を利用して計算式を作っているのだ。つまりこれの計算結果を電卓の如く求めた場合、それはの元のどれかになる。その計算式と計算結果を対応させた写像だと思えば良い。*1
また、核(Ker)が有限生成という表現もある。これは先程の果物を例としたもので説明しよう。
そもそも表現が何をしようとしているかと言うと、計算式を計算するためのルールを決めているのである。
$$りんご\cdot ぶどう\cdot りんご^2 \cdot すいか\cdot ぶどう$$
という内容に対してたとえばというように、ルール*2を決めてしまう。ルールの形式は具体的には、「これを計算したら単位元になる」というような文字列をリストアップしたような形となっている。すると、この式がルールに則ることで"計算"することができる。以下のように…
$$りんご\cdot ぶどう\cdot りんご^2 \cdot すいか\cdot ぶどう$$
$$=りんご\cdot ぶどう \cdot すいか\cdot ぶどう(\because りんご\cdot りんご=e)$$
$$=りんご\cdot ぶどう(\because すいか\cdot ぶどう=e)$$
有限表現可能とは、この有限個の変換ルールだけで、群のどのような計算でも求めることができるということである。ここで「求めることができる」というのは、計算結果が同じになるような二種類の異なる計算式が与えられたルールだけで互いに変換可能ということである。果物を例にすると、先程のルールでは
が等しいのだが、結果が等しいならばあるルール(ここでは)を適用させて変換可能ということである。逆を言ってしまえば、のように、どのようにルールを適用させても互いに変換できないならば、それは計算結果としても異なるということである。
有限群は有限表現可能
有限群は有限表現可能である。というようなものが群となっている時、というような記号を用いて、(このとき、となるようなが存在するので、自由群の中ではというように置き換える)というようなルールを個作ることができる。このルールによってどのような2項の計算でも求めることができるので、順番に計算結果を置き換える作業をすれば、もちろん計算結果を一つの文字として求めることができる。文字が違うならもちろん群の中の値としても違うので明らかに有限個のルールで表現することができている。