Intereting Posts

*understanding* covariance vs. contravariance & raising / lowering
Let G be a group of order 24 that is not isomorphic to S4. Then one of its Sylow subgroups is normal.
Help understanding the complexity of my algorithm (summation)
Find the Stationary Distribution of an infinite state Markov chain
“Plotting” an equation
Partial Differential with Integrating Factor
When abelian group is divisible?
Does $\sin(x+iy) = x+iy$ have infinitely many solutions?
Endpoint of a line knowing slope, start and distance
Integral metric.
Is it a Ring? Is it PID?
Irreducible polynomials as formal power series
Prove that if $a$ is irrational then $\sqrt a$ is irrational
“Abstract nonsense” proof of the splitting lemma
How find this $a_{1}+a_{2}+\cdots+a_{500}=b_{1}+b_{2}+\cdots+b_{500}$?

Let $p$ be prime. Suppose $R$ is the set of all rational numbers of the form $\frac{m}{n}$ where $m,n$ are integers and $p$ does not divide $n$.

Clearly then $R$ is a subring of $\mathbb{Q}$.

I now want to show that if $\frac{m}{n}$ belongs to any *proper* ideal of $R$ then $p|m$.

- What is the difference between homomorphism and isomorphism?
- Finding basis of $\mathbb{Q}(\sqrt{2},\sqrt{3},\sqrt{5})$ over $\mathbb{Q}$
- Quaternion algebra and norm
- Necessary and sufficient condition for $R/IJ \cong R/I \times R/J$
- Find a polynomial of degree > 0 in $\mathbb Z_4$ that is a unit.
- Multiplication in Permutation Groups Written in Cyclic Notation

Can someone point me in the right direction.

Thanks

- Proving that surjective endomorphisms of Noetherian modules are isomorphisms and a semi-simple and noetherian module is artinian.
- Why are properties lost in the Cayley–Dickson construction?
- Describing integral closure of quadratic number fields
- Is the localization of a PID a PID?
- How does the determinant change with respect to a base change?
- Dimension of $\Bbb Q(e)$ over $\Bbb Q$?
- Simple extension of $\mathbb{Q} (\sqrt{2},i)$
- Are distinct prime ideals in a ring always coprime? If not, then when are they?
- $\mathrm{Hom}(M,F)$ can't be determined by the underlying sets of $M,F$? where $F$ is a free module, $M$ is not.
- Is there a counterexample for the claim: if $A \oplus B\cong A\oplus C$ then $B\cong C$?

HINT: If $p\nmid m$, then $\frac{n}m\in R$.

**Hint:** If $p$ doesn’t divide $m$, can you show that $m/n$ is a unit?

Hint: What happens if you assume that $m$ is divisible by $p$?

You can view $R$ as the localization of the ring of integers outside $p$, meaning

$$R=\mathbb{Z}_{S}=\{\frac{m}{m}:m\in\mathbb{Z},n\in S\}$$

where $S\subseteq\mathbb{Z}$ is the multiplicative subset of $\mathbb{Z}$ given by $S:=\mathbb{Z}\setminus p\mathbb{Z}$.

Now, $\mathbb{Z}$ is a Dedekind domain (it is a PID), hence every localization of $\mathbb{Z}$ outside a prime $p$ is a DVR, meaning a PID and local (i.e only one maximal ideal). If $\frac{m}{n}$ belongs to a proper ideal of $R$, then it is contained in a maximal ideal of $R$. But $R$ is local and its unique maximal ideal is $p\mathbb{Z}_S$, which is the set of fractions $\frac{a}{b}$ with $a\in p\mathbb{Z}$ and $b\notin p\mathbb{Z}$. Thus $\frac{m}{n}$ belongs to $p\mathbb{Z}_S$, implying $m\in p\mathbb{Z}$.

- set theory proof of $A\cap B = A \setminus(A\setminus B)$
- Show that binary < “less than” relation is not definable on set of Natural Numbers with successor function
- How can I sum the infinite series $\frac{1}{5} – \frac{1\cdot4}{5\cdot10} + \frac{1\cdot4\cdot7}{5\cdot10\cdot15} – \cdots\qquad$
- Basis for a topology with a countable number of sets
- Learning how to prove that a function can't proved total?
- Formal notion of computational content
- Proof that every number ≥ $8$ can be represented by a sum of fives and threes.
- Modulo 2 binary division (XOR not subtracting) method
- What makes simple groups so special?
- Simplify $\int_0^\infty \frac{\text{d}{x}}{e^x+x^n}$
- Question about a projective module in a direct sum
- Why Is a Function Defined As Having Only One Y-Value Output?
- How to explain brackets to young students
- Show that 7 is a quadratic residue for any prime p of the form 28k + 1 and 28k + 3.
- Representing every positive rational number in the form of $(a^n+b^n)/(c^n+d^n)$