2024年6月23日日曜日

644: インテグラルドメイン(整域)上のキャンセレーションルール

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

インテグラルドメイン(整域)上のキャンセレーションルールの定義

話題


About: リング(環)

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、任意のインテグラルドメイン(整域)上でキャンセレーションルールが成立するという命題の記述および証明を得る。

オリエンテーション


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

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


本体


1: 構造化された記述


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

エンティティ(実体)たち:
R: { 全てのインテグラルドメイン(整域)たち }
p1: R
p2: R
p3: R
//

ステートメント(言明)たち:
(
p10

p1p2=p1p3
)

p2=p3
//


2: 自然言語記述


任意のインテグラルドメイン(整域)R、任意の要素たちp1,p2,p3Rに対して、もしも、p10およびp1p2=p1p3である場合、p2=p3である。


3: 証明


p10およびp1p2=p1p3であると仮定しよう。

p1(p2p3)=0p10であるから、p2p3=0である、インテグラルドメイン(整域)の定義によって。したがって、p2=p3である。


参考資料


<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>