「数学ではできるがコンピューターではできないこと」、「コンピューターではできるが数学ではできないこと」があると考えられていると、私の感想ですが、思います。これらは実際にできないということではなく、それを記述する方法がないのではないかと、私の感想ですが、思います。ここではその方法を考えていきます。
素因数分解の「可能性」と「一意性」について多重集合を「コンピューターの記法」で記述することを考えていたのですが、素因数分解の「可能性」については多重集合は使わなくてもよいので数式で書くことにします。
ここでは単項イデアル整域のイデアル全体の集合の積と最大公約数の演算を考えます。前回の説明では条件が不足していたので追加します。
を可換モノイドで簡約可能とします。単位元を
とします。
は二元の最大公約数をとる演算
をもち、最大公約数に関して可換べき等半群とします。
- 任意の
に対して
ならば
が存在して
が成り立つ。この
を
と書く。(これを追加)
が成り立つとします。
に順序
を
で定義します。
のとき
を
の約数、
を
の倍数と呼びます。
とおき、 の元を素元と呼びます。
とおき、 の元を既約元と呼びます。
に対して
、
に対して
と定義します。
に対して
と定義します。
、
に対して
と定義します。
、
に対して(
は
に依存する部分集合)、任意の
に対して
であることを
と書くことにします。
、
に対して、
を
と書くことにします。
が成り立ちます。
[証明]
[証明終わり]
の部分集合
が生成する
の部分モノイドを
と書きます。
を
の部分集合とします。
で任意の
に対して
が成り立つものの全体を
とします。
と
の組
の全体を
とします。
[証明] を以下のように定義します。
をとると、
であるから
、
、
となる
が存在します。
ならば
となりますが
なので
または
となります。よってこのどちらかを
とすることによって
とすることができます。また
、
なので
となります。
なので
となります。[証明終わり]
の任意の部分集合
に対して
であるという条件を
とします。
[証明] とすると
となります。
であることから
となります。よって
が成り立ちます。[証明終わり]