2

I am just learning about field extensions, and I wanted to check my understanding. Is it true that $\mathbb{Q}(\sqrt{3},\sqrt{7})=\mathbb{Q}(\sqrt{3},\sqrt{21})$?

My reasoning is that $\mathbb{Q}(\sqrt{3},\sqrt{7})$ contains $\sqrt{3}$ and $\sqrt{3}\sqrt{7}=\sqrt{21}$, and because $\mathbb{Q}(\sqrt{3},\sqrt{21})$ is the smallest subfield of $\mathbb{R}$ containing these, it is that $\mathbb{Q}(\sqrt{3},\sqrt{21})\subseteq \mathbb{Q}(\sqrt{3},\sqrt{7})$. Also, $\mathbb{Q}(\sqrt{3},\sqrt{21})$ contains $\sqrt{21}$ and $(\sqrt{3})^{-1}=1/\sqrt{3}$, so it contains $\sqrt{21}/\sqrt{3}=\sqrt{7}$ and therefore $\mathbb{Q}(\sqrt{3},\sqrt{7})\subseteq \mathbb{Q}(\sqrt{3},\sqrt{21})$.

Is this reasoning correct? Thank you.

user26857
  • 52,094
user286446
  • 21
  • 1

1 Answers1

3

Yes, I believe your reasoning is correct.

TheNicanova
  • 176
  • 1
    This really should be a comment - but I understand there is a minimum rep to leave a comment, so let me give you a +1 to help you along. – Deepak Feb 10 '16 at 00:32
  • @Deepak. Can you substantiate that with a meta link? Seems like this should be an answer and not a comment to me. https://math.stackexchange.com/help/privileges/comment. I don't wish to have an extended conversation in the comments but I didn't find it easy to get a ruling by skimming meta. I can ask this on meta if you think it worthwhile. – Mason Jul 22 '18 at 14:45
  • @Mason https://meta.stackexchange.com/questions/214173/why-do-i-need-50-reputation-to-comment-what-can-i-do-instead/214174#214174 – Deepak Jul 22 '18 at 15:29