背景
論理プログラミングの考え方ではプログラムを論理式と考えることができます。論理プログラミングで無限の時間実行するプログラムについて考えてみます。論理式の作るブール代数を半環と見ることで、環の極限と同様に極限を定義することができます。実際にプログラムとして記述するためには、プログラムの実行順序を指定する必要があると考えられます。半環に順序関係を入れて、それによって作られる数式の標準形として実行順序を決めることにします。一意的な標準形があるかどうかはわかりませんが、ない場合は実行順序を決めることができるような標準形を考えます。この議論を環または体の既存の理論に対応させることができるかどうかをを考えます。その対応があるかどうかはわかりませんが、それによって、数式の変形で実行順序を表すことがこのブログの1つの目標となっています。
環上の加群や環上の代数に対応する半環の用語があるのかどうかわかりませんので、ここで使うための用語を定義しておきます。環上の代数は環となるのですが、半環上の代数は半環とするのか環とするのかどちらもあると思いますので、半環となるものを半環上のフラクタル代数とここでは呼ぶことにします。環上の加群に相当するものをここでは半環上のフラクタル加群と呼ぶことにします。
これを定義して環や体との関連を調べるため、まず群の準同型と環について見ていきます。「群論の計算」の記事でも書きましたがここでも書いておきます。
群の定義
集合 と 上の二項演算 (乗法と呼びます)が以下の条件を満たすとき を(または単に を)群と呼びます。 を と書くことがあります。 を と の積と呼びます。演算の順序を示すためにかっこを使います。
群の定義から「逆元の存在」を除いたものをモノイドと呼びます。群の定義から「単位元の存在」と「逆元の存在」を除いたものを半群と呼びます。半群の元 が単位元であるとすると となるので、半群の単位元が存在すれば一意的となります。モノイドの元 が元 の逆元であるとすると、 となるので、モノイドのある元の逆元が存在すれば一意的となります。
乗法が可換であるとき(すなわち任意の に対して が成り立つとき)アーベル群と呼びます。アーベル群のとき を と書くことがあります。 を と の和と呼びます。
群 の部分集合 が の演算に関して群になるとき、 は の部分群と呼びます。
が を満たすとき となって は の単位元となります。 の部分群 の単位元 は を満たすので の単位元と一致します。よって となります。
の部分群 の元 に対して の での逆元と での逆元は一致することがわかります。
よって の部分群 は
を満たします。
逆に の空ではない部分集合 が
を満たすとき、 は の積に関して群の条件を満たすので群となります。
群の準同型
群 から群 への写像 が積を保存するとき、すなわち
- 任意の に対して
が成り立つとき を群の準同型と呼びます。 が全単射のとき同型と呼び、同型が存在するとき と は同型であると言います。
- 任意の の部分集合 と に対して
が成り立ちます。
の単位元を と書くことにします。 が成り立つので は の単位元となります。 に対して 、 となるので は の逆元となります。よって
- 任意の の部分集合 に対して
が成り立ちます。
の による像 を と書きます。
が成り立ちます。
群 の空ではない部分集合 が部分群であることは
- かつ
と同値であるため、 は の部分群となります。
の単位元 の による逆像 を の核と呼び と書きます。 とおきます。 となります。 とおきます。、 が成り立つため は の部分群となります。任意の に対して となって 、、 となります。よって は の正規部分群となります。
を の による分類とします。 に対して であるから の剰余類 は の元 に含まれます。逆に は となります。 より となって となります。よって となります。
よって を「分類への自然な写像」とすると による分類と による分類は「同値な分類」となります。 は群であり、 の積は の積を元に定義されたものであるため は積を保存するので準同型となります。また、 に と同じ積を定義すると群になります。「 の単射化」 は単射準同型となり、 の像は となります。
以上のことをまとめると(第一同型定理) が群 から群 への準同型であるとき
- は の部分群であり
- は の正規部分群であり
- と は同型
となります。
環
集合 と 上の2つの二項演算、加法 と乗法 の組 が
- はアーベル群
- は半群
- 乗法は加法の上に分配的、すなわち
であるとき を環と呼びます。乗法の単位元が存在するとき単位元を持つ環と呼びます。乗法が可換であるとき可換環と呼びます。 は環の条件を満たします。これを自明な環と呼びます。
がアーベル群ではなく可換なモノイドであるものを半環と呼びます。
- を省略して を のように書くことがあります。
- 演算の順序を表すためにかっこを使うことがあります。乗法は加法に優先するとしてかっこを省略することができます。
- 加法の単位元を 、乗法の単位元を と書きます。乗法の単位元を単に単位元と呼びます。
- 加法の の逆元を と書きます。 を と書くことがあります。
ここでは通常は環とは自明ではない単位元を持つ可換環のことを指すものとします。半環の場合も自明ではない単位元を持つ可換な半環のことを指すものとします。
環の準同型
環 から 環 への写像 が加法、乗法、加法の単位元、乗法の単位元を保存するとき環の準同型と呼びます。すなわち
を満たすとき を環の準同型と呼びます。 という条件は他の条件から と導くことができます。 から となります。
環の準同型 が全単射であるとき同型と呼びます。このとき逆写像 も同型となります。 と は同型であると言います。
環の準同型 の像 を と書きます。 は の部分環となります。 の逆像 を の核と呼び と書きます。 は のイデアルとなります。 は と同型となります。
アーベル群の自己準同型
群 に対して準同型 を の自己準同型と呼びます。
アーベル群 の自己準同型全体の集合を とおきます。 の演算を で表すことにします。
以下のように に演算を定義すると環となります。
加法の定義
に対して を と定義すると は可換なので
となって となります。
加法の逆元の存在
に対して を と定義すると ( は の逆元) は可換なので
となるので となります。
に対して
、
となるので は の逆元となります。
加法の交換法則
に対して は可換なので
となって は可換となります。
よって はアーベル群となります。
分配法則
に対して
、
となるので、 は に対して分配法則を満たします。
環とアーベル群の自己準同型
自明ではない単位元を持つ環 の元 に対して を と定義することができます。 はアーベル群の準同型となります。アーベル群 の自己準同型全体の集合を とすると、 を と定義することができます。
、
、
、
となります。よって は環の準同型となります。