I've just started some reading and doing exercises on field theory with Galois theory in scope, and have had some trouble with this exercise. I think I have simply misunderstood some of the definitions, and would like someone to set this straigth to me.
If $K$ is an extension field of $\mathbb{Q}$ such that $[K:\mathbb{Q}] = 2$, prove that $K = \mathbb{Q}(\sqrt{d})$ for some square-free integer $d$.
Now, I understand that since the extension is finite-dimensional, so it has to be algebraic. So in particular if I take any element $u \in K$ not in $\mathbb{Q}$ then it must be algebraic. Since the basis of $K$ over $\mathbb{Q}$ is of size 2, the set $\{1, u, u^2\}$ must be linearly dependant and with it I could construct a polynomial of degree two with $u$ as a root.
If the polynomial is $f(x) = x^2 + ax + b$, then I know $u = -a/2 + \sqrt{a^2/4 -b}$, where $t = \sqrt{a^2/4 -b}$ cannot be a square or else $u \in \mathbb{Q}$. I can see why $\mathbb{Q}(u) = \mathbb{Q}(t)$.
In this way I get the chain of fields $\mathbb{Q} \subset \mathbb{Q}(t) \subset K$, but because $[K:\mathbb{Q}]= 2$ and certainly $\mathbb{Q} \neq \mathbb{Q}(t)$ then $\mathbb{Q}(t) = K$. Now, my problem lies in proving that the field $\mathbb{Q}(t)$ actually can be represented by $\mathbb{Q}(\sqrt d)$ where $d$ is square-free.
What bothers me is the following. The polynomial $f(x) = x^2 - 2/3$ has a root in $\sqrt{2/3}$ and is certainly irreducible in $\mathbb{Q}$. But then the field $\mathbb{Q}(\sqrt{2/3})$ has dimension 2. How is this field equal to some field $\mathbb{Q}(\sqrt d)$ where $d$ is square-free?
EDIT: Thanks for the help in the comments. Obviously if $n/m$ is a rational number in reduced form then $nm$ is square-free and $\mathbb{Q}(\sqrt{n/m}) = \mathbb{Q}(\sqrt{nm})$. Feel free to close the question.