Every proper ideal of a nonzero ring sits inside a maximal ideal.Suggest a slogan
Let \(R\) be a nonzero ring. Then every proper ideal of \(R\) is contained in a proper maximal ideal; in particular, \(R\) has a proper maximal ideal.
T-QSTRJ
Let \(R\) be a nonzero ring. Then every proper ideal of \(R\) is contained in a proper maximal ideal; in particular, \(R\) has a proper maximal ideal.