local ring

Let \(A\) be a ring. Then \(A\) is said to be local, if there exists a unique left maximal ideal \(\mathfrak{m}\)