Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

in this site maximal ideal is prime

Proof. Let $ \mathfrak{M}$ be a maximal ideal of such a ring $ R$ and let the ring product $ rs$ belong to $ \mathfrak{M}$ but e.g. $ r \notin \mathfrak{M}$. The maximality of $ \mathfrak{M}$ implies that $ \mathfrak{M}\!+\!(r) = R = (1)$. Thus there exists an element $ m \in \mathfrak{M}$ and an element $ x \in R$ such that $ m\!+\!xr = 1$. Now $ m$ and $ rs$ belong to $ \mathfrak{M}$, whence $\displaystyle s = 1s = (m\!+\!xr)s = sm\!+\!x(rs) \in \mathfrak{m}.$ So we can say that along with $ rs$, at least one of its factors belongs to $ \mathfrak{M}$, and therefore $ \mathfrak{M}$ is a prime ideal of $ R$.

I dont understand this part: s=1s=(m+xr)s=sm+x(rs)$\in m$. Why is x(rs)$\in m$? isnt it supposed to x(rs)$\in (m)$? and why sm $\in m$ since we dont know if s $\in m$ or not, yet.

share|cite|improve this question
up vote 2 down vote accepted

You’re failing to distinguish the ideal $\mathfrak m$ (Fraktur ‘m’) from the element $m$ (Roman italic ‘m’) of that ideal: $x(rs)\in\mathfrak m$ because by hypothesis $rs\in\mathfrak m$, and $\mathfrak m$ is an ideal; $sm\in\mathfrak m$ because $m\in\mathfrak m$ and $\mathfrak m$ is an ideal.

share|cite|improve this answer
oh it comes from ideals' def.. $m\subset R$ ring if $x\in R$ and $rs\in m$ then $xrs\in m$,$rsx \in m$.thanks. – emmett Dec 10 '12 at 3:55

You should use M to implie an ideal of R. so m is an element of ideal M. So on, sm $\in$ M as a property of an ideal, so does x(rs) $\in$ M with rs $\in$ M as hypothesis

share|cite|improve this answer
ok done it. thank you – emmett Dec 10 '12 at 3:55

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.