Property: $I_0$

Definition: Every right ideal not contained in $J(R)$ contains a nonzero idempotent. Also called "semipotent".

Metaproperties

This property has the following metaproperties
  • passes to $eRe$ for any idempotent $e$
  • passes to $eRe$ for any full idempotent $e$