Proof that the set $\mathbb{Q}\left[\sqrt2\right]$ is an $\mathbb{Q}$-vector space 
Prove that the set $\mathbb{Q}\left[\sqrt2\right] = \left\{a + b \sqrt2 : a, b \in \mathbb{Q}\right\}$ is an $\mathbb{Q}$-vector space

I'm so confused with this exercise.
I know $\mathbb{Q}$ is a field and I just finished proving that $\mathbb{Q}$ is a field, but how can I do this problem? I mean, the axioms of a field and the axioms of the vector space are different.
I'm not very sure what are the elements to take in $F$ and $V$ to do the proof with the 8 axioms of vector space.
 A: HINT
One approach is to note that if
$$
\mathbb{Q}^2 = \left\{(a,b)|a,b \in \mathbb{Q} \right\}
$$
then $f:\mathbb{Q}^2 \to \mathbb{Q}\left[\sqrt2\right]$ given by $f(a,b) = a+b\sqrt2$ is a bijection.
A: I think it is easiest when you view $\mathbb{Q}(\sqrt{2})$ like you would think about $\mathbb{C}$.
You might know that $\mathbb{C}=\mathbb{R}^2$ is a vector space.
The elements of $\mathbb{C}$ can be written in the form $a+ib$.
The elements of $\mathbb{Q}(\sqrt{2})$ can be written in the form $a+\sqrt{2}b$.
Everything you have to do is to show all the axioms of a vector space.
There are no tricks needed.
So we want to show that $\mathbb{Q}(\sqrt{2})$ is a $\mathbb{Q}$-vector space.
There are many axioms to check.
For example that $+$ is closed.
$+:\mathbb{Q}(\sqrt{2})\times\mathbb{Q}(\sqrt{2})\to\mathbb{Q}(\sqrt{2})$
You would check this like this.
Let $x,y\in\mathbb{Q}(\sqrt{2})$. Then $x=a+b\sqrt{2}$ and $y=c+d\sqrt{2}$, where $a,b,c,d\in\mathbb{Q}$
Then is $x+y=(a+b\sqrt{2})+(c+d\sqrt{2})=(a+c)+\sqrt{2}(b+d)\in\mathbb{Q}(\sqrt{2})$ as $a+c$ and $b+d$ are elements of $\mathbb{Q$
What should the neutral element of addition look like?
How should an inverse element of $x\in\mathbb{Q}(\sqrt{2})$ look like?
This for example you have to figure out. So you have to make a guess first, and then verify that your guess is correct.
It is not difficult, and the calculations can be done as shown above.
You have to use that you know that $\mathbb{Q}$ is a field.
So we know how inverses look in $\mathbb{Q}$, we know its algebraic structure (associativ, commutativ and so on). This will be used execsivly in the calculations, as it verifies that our calculations are correct.
Just start, you will eventually figure out that it is indeed pretty easy.
If you have any questions feel free to ask.
A: $\mathbf Q\bigl[\sqrt2\bigr]$ is isomorphic to the quotient of the ring of polynomials $\mathbf Q\bigl[X\bigr]$, which is a $\mathbf Q$-vector space, by the ideal $(X^2-2)$, which is also a $\mathbf Q$-subspace.
