Definition:Local Ring/Noncommutative/Definition 3

Let $R$ be a ring with unity.
Let $\operatorname {rad} R$ be its Jacobson radical.
Then $R$ is a local ring if and only if the quotient ring $R / \operatorname {rad} R$ is a division ring.