22/04/14 14:35:21.02 4rat+pCv.net
前にもかきましたが、松坂和夫著『代数系入門』では、普通、既約元とよばれるものを
素元とよんでいます。
そして、PID上では、任意のゼロでも単元でもない元が、素元の積に一意的に分解されることを
証明しています。
要するに、普通の言葉で言えば、PID上では、任意のゼロでも単元でもない元が、既約元の積に一意的に分解されることを
証明しているわけです。
PID上では素元は既約元であり、既約元は素元です。
このことを悪用したのが『代数系入門』ですね。