数学において、可換環Rの元aは、イデアルIの元abがあれば必ずbもIの元であるとき、イデアルIと( 相対的に ) 素であるという。
可換環Aの真イデアルIは、それと素でない要素がイデアルを形成する場合、 素イデアルであると言われます。
この可換代数関連の記事はスタブです。不足している情報を追加してWikipediaに貢献してください。