Property: local

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