Definition:Local Ring/Noncommutative/Definition 3

Definition
Let $R$ be a ring with unity. Let $\operatorname {rad} R$ be its Jacobson radical.

Then $R$ is a local ring the quotient ring $R / \operatorname{rad} R$ is a division ring.