Definition:Noncommutative Local Ring