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

Let $\mathbb Q$ be the set of all rational numbers. I would like to know what the ideal for $\mathbb Q$ as ring is. I think the ideal of $\mathbb Q$ is $\mathbb Q$, Am I right?

share|cite|improve this question
We can't say the ideal since $\{0\}$ is also an ideal. – Davide Giraudo Feb 1 '12 at 18:49
Hint: $\mathbb{Q}$ is a field. – user5137 Feb 1 '12 at 18:50
A much more interesting question is: What are the subrings of $\mathbb Q$? – lhf Feb 1 '12 at 19:06
See also this question: A ring is a field iff the only ideals are (0) and (1) – Martin Sleziak Feb 1 '12 at 19:29

An ideal must enjoy the property that if you multiply any of its members by any rational number, what you get is still in the ideal. But if a member $x$ of the supposed ideal is not $0$, then it's easy to show that if you take all products of $x$ with rational numbers, the set that you get, which is $\{xy:y\in\mathbb{Q}\}$, is all of $\mathbb{Q}$. So nothing smaller than $\mathbb{Q}$ can be an ideal in this ring, except $\{0\}$.

Here's the proof: suppose $w$ is any member of $\mathbb{Q}$. Then $w/x$ is rational. So $w/x$ is the value of $y$ that will serve.

share|cite|improve this answer

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.