3
$\begingroup$

Can anyone prove why the smallest ring containing $\sqrt{2}$ and rational numbers is comprised of all the numbers of the form $a+b\sqrt{2}$ (with $a,b$ rational)?

2 Answers 2

1

That ring must surely contain all numbers of the form $a+b\sqrt 2$ with $a,b\in\mathbb Q$ because these can be obtained by ring operations. Since that set is closed under addition and multiplication (because $(a+b\sqrt 2)+(c+d\sqrt2)=(a+c)+(b+d)\sqrt 2$ and $(a+b\sqrt2)\cdot(c+d\sqrt 2)=(ac+2bd)+(ad+bc)\sqrt 2$), it is already a ring, hence nothing bigger is needed.

  • 0
    Yes, thank you. So how can we approach externally? I mean when I take any element in the intersection of all rings containing $\sqrt{2}$ and rational numbers, how can show that it is of the form a+b$\sqrt{2}$?2012-11-24
  • 1
    Because an element contained in *all* such rings is also contained in *this* special such ring.2012-11-24
1

Clearly, $Q[\sqrt2]$ is a ring that contains $\sqrt 2$ and all the rationals. Morevoer, every element of $Q[\sqrt2]$ belongs to that smallest ring that contains $\sqrt 2$ and all the rationals. (This is because if a,b are any two rational numbers, then $b\sqrt 2$ belongs to that ring, thus $a+b\sqrt 2$ belongs to that smallest ring)