Essential right ideal (source code)

= Essential right ideal
{title2=$I\cap B\ne0\text{ for every nonzero right ideal }B$}

An essential right ideal is an <essential submodule> of the right regular <module> of a <ring>. Every <right ideal> containing an essential right ideal is essential.