ブール代数(可補分配束)の非可換であるようなものを考えます。
自由モノイド
集合 で生成される自由モノイドを または とします。 は文字の集合 から作られる文字列全体の集合と見ることができます。空文字列が単位元となります。 の元を1つの文字からなる文字列と考えると、 と考えることができます。
を からモノイド への写像 とします。 の演算を 、 の演算(文字列の連結)を で表すことにします。 は という形の列全体の集合となります。 の元 に の元 を対応させる写像は、モノイドの準同型 となります。
モノイド に対する を考えます。 の演算を 、 の演算(文字列の連結)を で表すことにします。 は という形の列全体の集合となります。
の元 に の元 を対応させる写像は、 から へのモノイドの準同型となります。
自由半環
集合 で生成される自由モノイドを とします。この演算子を と書くことにします。空文字列は単位元となります。これを と書きます。
で生成される自由モノイドを とします。この演算子を と書くことにします。空文字列は単位元となります。これを と書きます。
は に優先されるものとします。
と考えます。 に二項演算 (加法)と (乗法)を定義します。 は に優先されるものとします。
加法の定義
、 に対して と定義します。
この加法は と同じなので、 は (加法)に関してモノイドとなります。
乗法の定義
は
と表すことができます 。 に対して を に対して
とすると、モノイドの準同型 を定義することができます。 の乗法を と定義します。
乗法の結合法則
上記のように からモノイドの準同型 を定義することができます。 から へのモノイドの準同型全体の集合 は写像の合成に関してモノイドとなります。 を とすると となるのでモノイドの準同型となります。
の単位元は空文字列なのですが空文字列は書き表しにくいのでこれを と書き、 と見ることにより と考えます。
より 、 となります。
に対して
となるので乗法の結合法則が成り立ちます。
分配法則
は準同型なので より が成り立ちます。
とします。 とすると定義より が成り立ちます。
とします。 が可換モノイド(すなわち が可換モノイド)であるとすると
が成り立ちます。
よって が可換モノイドならば、乗法の加法に対する分配法則が成り立ちます。よって が可換モノイドならば、 は半環となります。
は可換ではないので以下では可換になるものについて考えます。
、 を集合、 を の元とします。 を から への写像 で、 となる の個数が有限であるもの全体の集合とします。 を自然数全体の集合とします。 は で生成される自由可換モノイドとなります。 の元に、その中に現れる文字 にその文字の現れる個数を対応させる写像を対応させると、その写像は から へのモノイドの準同型となります。よって は半環となります。
を集合、 を単位元を持つ自明ではない半環、 とします。 と考えることができます。 を 、、
に対して
と定義することができます。 が加法を保存することは定義からわかります。 に対して であることは定義からわかります。 に対して
が成り立つので が乗法を保存することがわかります。よって は半環の準同型になります。
よって は で生成された自由半環となります。