# Property: local

Definition: $R/J(R)$ is a division ring

• passes to $eRe$ for any full idempotent $e$