モノイド上の自由群の剰余群の代数構造と準加算について
見切れている数式はスライドで表示できます.
この記事では は0を含まないとし、通常の積について単位元1をもつモノイドだと考える.この記事はまずはじめに形式的な議論を述べ,次に例と考察を与える.
本論
を単位元 をもつモノイドとし,その演算を とする. の自由群を とし,その群としての演算を便宜上 と表す.ここで, 上の同値関係を以下のように定義する.まず, をモノイド準同型,を
- 語 をなす文字 について, ならば を に, ならば を に変換する.
- と が隣り合う部分を空語に変換する.
というステップを経て語を与える写像とする.これを用いて同値関係を
と定義し、 とする.さらに, の演算を に誘導する. の逆文字 と について,
とし,同様に
とし,それぞれの逆文字については
と定義する.これを用いて一般の語の積を,, について
とし,特に空語 については
と定義する.
証明 まず,構成より は演算 について単位元 を持つアーベル群をなす.さらに,上述の定義から演算 について単位元 を持つモノイドをなす.さらに, について,それぞれ ,, とすると
\begin{align*} (\mathbf{x} + \mathbf{y}) \cdot \mathbf{z} &= (x_1, \ldots, x_r, y_1, \ldots, y_s) \cdot (z_1, \ldots, z_t) \\ &= (x_1 \cdot z_1, x_1 \cdot z_2, \ldots, x_r \cdot z_t, y_1 \cdot z_1, \ldots, y_s \cdot z_t)\\ &= (x_1 \cdot z_1, x_1 \cdot z_2, \ldots, x_r \cdot z_t) + (y_1 \cdot z_1, \ldots, y_s \cdot z_t)\\ &= \mathbf{x} \cdot \mathbf{z} + \mathbf{y} \cdot \mathbf{z} \end{align*}
となり,さらに
\begin{align*} \mathbf{x} \cdot (\mathbf{y} + \mathbf{z}) &= (x_1, \ldots, x_r) \cdot (y_1, \ldots, y_s, z_1, \ldots, z_t) \\ &= (x_1 \cdot y_1, x_1 \cdot y_2, \ldots, x_1 \cdot y_s, x_1 \cdot z_1, \ldots, x_1 \cdot z_t, \ldots, x_r \cdot z_t) \\ \end{align*}
となるが,演算 の可換性から適宜文字を入れ替えて
\begin{align*} &= (x_1 \cdot y_1, x_1 \cdot y_2, \ldots, x_1 \cdot y_s, x_1 \cdot z_1, \ldots, x_1 \cdot z_t, \ldots, x_r \cdot z_t) \\ &= (x_1 \cdot y_1, x_1 \cdot y_2, \ldots, x_r \cdot y_s, x_1 \cdot z_1, \ldots, x_r \cdot z_t) \\ &= \mathbf{x} \cdot \mathbf{y} + \mathbf{x} \cdot \mathbf{z} \end{align*}
となり,分配法則を満たす.以上より成り立つ.
具体例
自然数から整数へ
を 以上の整数全体とすると,これは通常の掛け算について単位元 を持つモノイドをなす. 上の自由群を以下のように構成する.まず をただの文字の集合だと思い, を逆文字全体の集合,つまり
とする. とし, を 文字集合 の文字からなる有限長の文字列(これを語という)全体の集合とすると,
という演算 について空語 を単位元とするモノイドをなす.語 について,語に含まれる文字 と逆文字 が連続して現れる部分を空語に置き換えたものを簡約化 とし, 上の同値関係を
と定義し, とすると, は群になり,これが自由群である.さらに, を と定義すると,これはモノイド準同型となり,これを用いて を上述のように構成する.例えば, という語については
\begin{align*} (2,3^{-1}) &\mapsto (1,1,1^{-1},1^{-1},1^{-1})\\ &\mapsto (1,1^{-1},1^{-1})\\ &\mapsto (1^{-1}) \end{align*}
となるので簡約化は となる.これを用いて自由群上の同値関係を
と定義し, とする.ここにモノイド の演算を上述のように誘導する.このようにして下のレベルの演算を持つ環 を得るが,なんのことはなくこれはただの整数環 である.これは空語 を通常の ,逆文字 を 通常の和の逆元 と思えば直ちに分かる.実際, の中では であったが,これは単に という式を形式的な元として表しているだけである.
このように,下のレベルの演算を得る際には,元の集合にはなかった単位元と逆元を添加し,和を式ではなく自由群の元として見ることが重要である.
整数から下整数へ
では,整数より下のレベルを実際に構成してみる.まず, を 以上の整数全体の集合とすると,通常の和 について を単位元とするモノイドをなす.先ほどと同様に自由群を構成し,これを をする.ここで, を とすると,
\begin{align*} &N(n+m) = 2^{n+m} = 2^n \cdot 2^m = N(n) \cdot N(m)\\ &N(0) = 2^{0} = 1 \end{align*}
となり,これはモノイド準同型になる.これを使って同様に を構成する.この環の和をしきたりに倣って とすると,例えば
\begin{align*} 1 \oplus 1 &= (1,1)\\ &\sim (0,0,0,0) \qquad (2^1 = 2)\\ &\sim 2 \qquad (2^2 = 4) \end{align*}
みたいになる.しかし,
\begin{align*} 2 \oplus 1 &=(2,1)\\ &\sim (0,0,0,0,0,0) \end{align*}
となるが,これに対応する整数は存在しない.
まとめ
以上のように,任意のモノイドについてその演算と分配法則を満たすようなの下のレベルの演算を併せ持つ環を構成した.これはもちろん準加算の発想が元となってはいるが,最もプレーンな発想からは少し遠ざかっている.これは「いくつか繰り返すと和を得るような演算」というよりは,「元々の演算と分配法則を満たすような演算によって環を構成する」ことを動機としたことによる.構成の始まりを群からにすると具体的にどのような変化があるのかを次回以降のテーマとする.