According to Wikipedia, a (non-commutative) ring $R$ is local if and only if there do not exist two proper (principal) (left) ideals $I_1, I_2$ such that $R = I_1 + I_2$. It is easy to see that local rings have this property, but I'm having trouble showing the other way: if there do not exist two proper co-maximal (principal) (left) ideals then the ring is local.
Local rings characterization
2
$\begingroup$
abstract-algebra
1 Answers
-1
HINT $\ $ If $\rm\ R \ne 0\ $ is nonlocal then there exists an $\rm\: r\:$ such that both $\rm\: r\:$ and $\rm\: 1-r\:$ are nonunits. Choose maximal ideals containing them.
-
0Non-local ring can have a unique two-sided maximal ideal: for example $2\times2$ matrix ring over a field is not local but has a unique two-sided maximal ideal (0). I now realize that this is a counterexample to the Wikipedia's claim. – 2010-12-03