環論入門

一意分解整域 （素元分解整域）においては、既約元は素元です。このことを証明するために、分解が単元倍を除いて一意的であることを示します。分解の一意性の下で、既約元と素元の定義を考えると、一致していることが分かります。