Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I know what the ring of integers of $\mathbb{Q}(\sqrt{d})$ looks like when $d$ is square free, but what is the ring of integers for $\mathbb{Q}(\sqrt{d})$ for $d=18,45$ etc. Can I just remove the square factors?

Thank you

share|improve this question
3  
Yes. For instance $\mathbb{Q}(\sqrt{18}) = \mathbb{Q}(\sqrt{2})$ –  user9413 Apr 23 '12 at 11:30
add comment

2 Answers

up vote 2 down vote accepted

What you are asking has nothing to do with rings of integers, but simply with the definition of $\mathbb{Q}(\sqrt{d})$: $$\mathbb{Q}(\sqrt{d})=\{a+b\sqrt{d} : a,b\in\mathbb{Q}\}.$$ Now suppose that $d$ is an arbitrary integer. Then, we can find integers $n\geq 1$ and $f\in\mathbb{Z}$ such that $d=n^2f$, and $f$ is square-free. Hence, $\mathbb{Q}(\sqrt{d})=\mathbb{Q}(\sqrt{f})$. Let's see this:

  • If $\alpha=a+b\sqrt{d}\in\mathbb{Q}(\sqrt{d})$, then $\alpha=a+b\sqrt{d}=a+b\sqrt{n^2f}=a+bn\sqrt{f}\in\mathbb{Q}(\sqrt{f})$.

  • Conversely, if $\beta=u+v\sqrt{f}\in\mathbb{Q}(\sqrt{f})$, then $$\beta=u+\frac{v}{n}\cdot n \sqrt{f}= u+\frac{v}{n} \sqrt{d}\in \mathbb{Q}(\sqrt{d}).$$

Notice that the argument above can be modified slightly to show that, in fact, for every rational number $d\in\mathbb{Q}$ there is a square-free integer $f\in\mathbb{Z}$ such that $\mathbb{Q}(\sqrt{d})=\mathbb{Q}(\sqrt{f})$.

share|improve this answer
    
You don't have to show this in general, it is enough to show that the generators $\sqrt{d}$ and $\sqrt{f}$ lie in the fields $\mathbb{Q}(\sqrt{f})$ and $\mathbb{Q}(\sqrt{d})$ respectively. –  fretty Apr 24 '12 at 8:42
1  
Yes, that is correct, but I thought that at this level it would be clearer to show the equality of sets completely. –  Álvaro Lozano-Robledo Apr 24 '12 at 11:53
add comment

Well it is quite obvious that say $\mathbb{Q}(\sqrt{18}) = \mathbb{Q}(\sqrt{2})$. This just boils down to the fact that $\sqrt{18} = 3\sqrt{2}$, which is a rational multiple of $\sqrt{2}$.

share|improve this answer
    
This is not really an answer. It should have been posted as a comment. You should at least explain why it is obvious if you claim it to be so. –  M Turgeon Apr 23 '12 at 13:00
    
This is exactly what I did in my second sentence... –  fretty Apr 23 '12 at 13:29
    
Was I wrong to assume that the original poster knows and understands the basics of fields? –  fretty Apr 23 '12 at 13:34
add comment

Your Answer

 
discard

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.