Definition:Local Ring/Noncommutative/Definition 4

From ProofWiki
Jump to navigation Jump to search

Definition

Let $R$ be a ring with unity.


$R$ is a local ring if and only if:

$R$ is nontrivial
the sum of any two non-units of $R$ is a non-unit of $R$.


Sources