演算が「多重集合・自由可換モノイド(2)」と同じようになったので書き方を戻すことにします。単項イデアル整域のイデアル全体の集合の作る半環について考えます。単項イデアル整域の素元分解が可能であることの説明を数式で書いてみたのですが、少し長くなり…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。