\begin{definition}[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''' {{iff}} the quotient ring $R / \operatorname {rad} R$ is a division ring.
\end{definition}