# Definition:Local Ring/Noncommutative/Definition 1

Let $R$ be a ring with unity.
$R$ is a local ring if and only if it has a unique maximal left ideal.