# Modular ideal

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
A right (left) ideal $J$ of a ring $R$ having the following property: There is at least one element $e$ in $R$ such that for all $x$ from $R$ the difference $x-ex$ belongs to $J$ (respectively, $x-xe\in J$). The element $e$ is called a left (right) identity modulo the ideal $J$. In a ring with identity every ideal is modular. Every proper modular right (left) ideal can be imbedded in a maximal right (left) ideal, which is automatically modular. The intersection of all maximal modular right ideals of an associative ring coincides with the intersection of all maximal left modular ideals and is the Jacobson radical of the ring. Modular ideals are also called regular ideals.