Definition:Local Ring/Noncommutative/Definition 3

From ProofWiki
Jump to navigation Jump to search

Definition

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.


Sources