Let $R_p$ be that subset of $\mathbb{Q}$ consisting of rationals $a/b$ where $b$ is not divisible by $p$ a prime. It is true that $R_p$ is a commutative ring. What are all of its maximal ideals? I know that $I_p := \{a/b \in R_p : p | a \}$ is an ideal of $R_p$. Furthermore, it is true that $R_p / I_p $ is isomorphic to the field $\mathbb{Z}/(p\mathbb{Z})$, a field. Therefore, $I_p$ is certainly a maximal ideal. But is it true that $I_p$ is the unique maximal ideal? I suspect so, but cannot prove or disprove this.
[Math] Maximal Ideals in the Ring of Rationals whose denominators are not divisible by a prime $p$.
abstract-algebraring-theory
Best Answer
Let $\frac{a}{b}\in R_p$, with $\gcd(b,p)=1$. Prove that if $\gcd(a,p)=1$, then $\frac{a}{b}$ is a unit in $R_p$, and so cannot be contained in any proper ideal of $R_p$.
Conclude that if $I$ is a proper ideal of $R_p$, then every element of $I$ can be written with a denominator that is prime to $p$, and the numerator divisible by $p$. Deduce that if $I$ is a proper ideal, then $I\subseteq I_p$.
(For extra points, use the idea above to describe all ideals of $R_p$).