原始的な理想

数学において、可換環Rの元aはイデアルIの元abがあれば必ずbもIの元であるとき、イデアルI( 相対的に ) 素であるという。

可換環Aの真イデアルIは、それと素でない要素がイデアルを形成する場合、 素イデアルであると言われます。

参考文献