2024年6月30日日曜日

659: インテグラルドメイン（整域）に対して、もしも、要素によるプリンシパル（主要）アイディアル（イデアル）が別の要素によるものでもあった場合、要素たちはお互いにアソシエイトたちである、そして、プリンシパル（主要）アイディアル（イデアル）は任意のアソシエイトによるものである

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
インテグラルドメイン（整域）に対して、もしも、要素によるプリンシパル（主要）アイディアル（イデアル）が別の要素によるものでもあった場合、要素たちはお互いにアソシエイトたちである、そして、プリンシパル（主要）アイディアル（イデアル）は任意のアソシエイトによるものであることの記述/証明

話題


About: リング（環）

この記事の目次

開始コンテキスト

ターゲットコンテキスト



  • 読者は、任意のインテグラルドメイン（整域）に対して、もしも、任意の要素による任意のプリンシパル（主要）アイディアル（イデアル）が任意の別の要素によるものでもあった場合、当該要素たちはお互いにアソシエイトたちである、そして、当該プリンシパル（主要）アイディアル（イデアル）は任意のアソシエイトによるものであるという命題の記述および証明を得る。

オリエンテーション


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

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

本体

1: 構造化された記述


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

エンティティ（実体）たち:
R: ∈{ 全てのインテグラルドメイン（整域）たち }
p: ∈R
pR: =p によるプリンシパル（主要）アイディアル（イデアル） 
//

ステートメント（言明）たち:
(
∃p′∈R(pR=p′R)
⟹
p′∈Asc(p)∧p∈Asc(p′)
)
∧
∀p′∈Asc(p)(pR=p′R)
//

2: 自然言語記述


任意のインテグラルドメイン（整域）R、任意のp∈R、プリンシパル（主要）アイディアル（イデアル）pRに対して、もしも、以下を満たすあるp′∈R、つまり、pR=p′R、がある場合、p′∈Asc(p)でp∈Asc(p′)。そして、各p′∈Asc(p)に対して、pR=p′R。

3: 証明


p=p1∈p′R、したがって、あるr′∈Rに対してp=p′r′。p′=p′1∈pR、したがって、あるr∈Rに対してp′=pr。

p=prr′。任意のインテグラルドメイン（整域）上でキャンセレーションルールが成立するという命題によって、1=rr′。Rはコミュータティブ（可換）リング（環）であるので、1=r′r。

したがって、rおよびr′はユニットたちである。

各p′∈Asc(p)に対して、あるユニットuでもってp′=up。

pR=p′R、なぜなら、各p″∈pRに対して、p″=pr=u−1p′r=p′u−1r∈p′R; 各p″∈p′Rに対して、p″=p′r=upr=pur∈pR。

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