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