2024年6月23日日曜日

651: ユニークファクタライゼイションドメイン（因子分解領域）に対して、ファイナイト（有限）サブセット（部分集合）の最小共通マルチプル（倍）たちを得る、サブセット（部分集合）の各要素をアソーシエイトたちクオシエント（商）セット（集合）のレプリゼンタティブ（代表）たちセット（集合）を用いてファクタライズ（因子分解）することによる方法

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
ユニークファクタライゼイションドメイン（因子分解領域）に対して、ファイナイト（有限）サブセット（部分集合）の最小共通マルチプル（倍）たちを得る、サブセット（部分集合）の各要素をアソーシエイトたちクオシエント（商）セット（集合）のレプリゼンタティブ（代表）たちセット（集合）を用いてファクタライズ（因子分解）することによる方法の記述/証明

話題


About: リング（環）

この記事の目次

開始コンテキスト

ターゲットコンテキスト



  • 読者は、任意のユニークファクタライゼイションドメイン（因子分解領域）に対して、任意のファイナイト（有限）サブセット（部分集合）の最小共通マルチプル（倍）たちを得る、当該サブセット（部分集合）の各要素をアソーシエイトたちクオシエント（商）セット（集合）のレプリゼンタティブ（代表）たちセット（集合）を用いてファクタライズ（因子分解）することによる方法が機能するという命題の記述および証明を得る。

オリエンテーション


本サイトにてこれまで議論された定義たちの一覧があります。

本サイトにてこれまで議論された命題たちの一覧があります。

本体

1: 構造化された記述


ここに'構造化された記述'のルールたちがある。

エンティティ（実体）たち:
R: ∈{ 全てのユニークファクタライゼイションドメイン（因子分解領域）たち }
U: ={R の全てのユニットたち }
I: ={R の全てのイリデューシブル（約分不能）要素たち }
R/Asc: = アソシエイトたちイクイバレンスリレーション（同値関係）によるクオシエント（商）セット（集合） 
f: :R/Asc→Rで以下を満たすもの、つまり、∀p∈R/Asc,f(p)∈p
R/Asc−f―: =R/Asc の f による  レプリゼンタティブ（代表）たちセット（集合） 
S: ={p1,...,pn}∈{R の全てのファイナイト（有限）サブセット（部分集合）たち }
lcm(S):
//

ステートメント（言明）たち:
lcm(S)は以下のステップたちで得ることができる:
1) ∀pj∈S(∃uj∈U,∃ij,k∈I∩R/Asc−f―(pj=ujij,1...ij,lj))
2) I′:=∪j∈{1,...,n}{ij,1...ij,lj}={i1,...,il}
3) pj=uji1cj,1...ilcj,l、ここで、0≤cj,k
4) (M1,...,Ml)=(max({cj,1|j∈{1,...,n}}),...,max({cj,l|j∈{1,...,n}}))
5) lcm(S)=Asc(i1M1...ilMl).
//

2: 自然言語記述


任意のユニークファクタライゼイションドメイン（因子分解領域）R、Rの全てのユニットたちのセット（集合）U、Rの全てのイリデューシブル（約分不能）要素たちのセット（集合）I、アソシエイトたちイクイバレンスリレーション（同値関係）によるクオシエント（商）セット（集合）R/Asc、以下を満たす任意のマップ（写像）f:R/Asc→R、つまり、各p∈R/Ascに対してf(p)∈p、R/Ascのfによるレプリゼンタティブ（代表）たちセット（集合）R/Asc−f―、任意のファイナイト（有限）サブセット（部分集合）S={p1,...,pn}⊆Rに対して、最小共通マルチプル（倍）たちlcm(S)は以下のステップたちによって得ることができる: 1) 各pj∈Sをpj=ujij,1...ij,ljとして表わす、ここで、uj∈Uおよびij,k∈I∩R/Asc−f―; 2) I′:=∪j∈{1,...,n}{ij,1...ij,lj}={i1,...,il}を定義する; 3) 各pjをpj=uji1cj,1...ilcj,lとして表わす、ここで、0≤cj,k; 4) (M1,...,Ml)=(max({cj,1|j∈{1,...,n}}),...,max({cj,l|j∈{1,...,n}}))を定義する; 5) lcm(S)=Asc(i1M1...ilMl)。

3: 証明


Rはユニークファクタライゼイションドメイン（因子分解領域）であるので、pjは本当にpj=ujij,1...ij,ljとして表現できる。それは、ユニークに、当該イリデューシブル（約分不能）要素たちの順序という自由度だけで、決定される: ij,kはR/Asc−f―から選ばれているので、Asc(ij,k)の別の要素を選ぶという自由度はない。

I′={i1,...,il}の要素たちは、それぞれ別のアソシエイトたちイクバレンス（同値）クラスたちからのものである。

表現pj=uji1cj,1...ilcj,lは完全にユニークである、なぜなら、順序はI′の要素たちをインデックス付けることによって指定されている。ikが実際にはそこに現れない時は、cj,k=0。

(M1,...,Ml)はユニークに決定される。

lcm(S)=Asc(i1M1...ilMl)はユニークに決定される。

Asc(i1M1...ilMl)は本当にlcm(S)であることを見よう。

m:=i1M1...ilMlはある共通マルチプル（倍）であることを見よう。

i1M1...ilMl=uj−1uji1M1−cj,1i1cj,1...ilMl−cj,lilcj,l、ここで、0≤Mk−cj,k、=uj−1i1M1−cj,1...ilMl−cj,luji1cj,1...ilcj,l=uj−1i1M1−cj,1...ilMl−cj,lpj、ここで、uj−1i1M1−cj,1...ilMl−cj,l∈R。

各共通マルチプル（倍）m′に対して、あるq∈Rに対してm′=qm。

m′=u′i1′c1′...im′cm′、ここで、u′∈U、ij′∈I∩R/Asc−f―、1≤ck′、それは、当該イリデューシブル（約分不能）要素たちの順序の自由度のみを持ってユニークである。

m′=u′i1′c1′...im′cm′=qjpj=qjuji1cj,1...ilcj,lであり当該ファクタライゼイションたちは順序の自由度のみを持ってユニークであるので、各ikに対して、ik=is′およびcj,k≤cs′。したがって、Mk=max({cj,k|j∈{1,...,n}})≤cs′。(i1′,...,im′)を(i1,...,il,il+1″,...,im″)として並べ替えることによって、m′=u′i1c1″...ilcl″il+1″cl+1″...im″cm″、ここで、各j∈{1,...,l}に対してMj≤cj″。

したがって、m′=u′i1c1″−M1i1M1...ilcl″−MlilMlil+1″cl+1″...im″cm″=u′i1c1″−M1...ilcl″−Mlil+1″cl+1″...im″cm″i1M1...ilMl=u′i1c1″−M1...ilcl″−Mlil+1″cl+1″...im″cm″m=qm、ここで、q=u′i1c1″−M1...ilcl″−Mlil+1″cl+1″...im″cm″∈R。

したがって、m∈lcm(S)。

lcm(S)=Asc(m)である、インテグラルドメイン（整域）に対して、もしも、サブセット（部分集合）の最小共通マルチプル（倍）たちが存在する場合、それらは、ある最小共通マルチプル（倍）のアソシエイトたちであるによって。

参考資料
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
投稿者 時刻:
ラベル: