Show that $\mathbb{Q}[\sqrt{2}]$ is a field

Question

If it is known that $\mathbb{Q}$ is a PID, and that $x^2-2$ is irreducible in $\mathbb{Q}[x]$ (and thus maximal in $\mathbb{Q}[x]$), then how can we determine from this that $\mathbb{Q}[\sqrt{2}]$ is a field? I think there is a theorem that I do not know or have forgotten about in order to arrive at this conclusion. Would definitely appreciate some insight.

Answer 1

Here is the theorem :

Let $a$ be algebraic over the field $F$ and let $F(a)$ be the field generated by $a$ over $F$. Then $F(a) \cong F[x]/(m_a(x))$ where $m_a(x)$ is the minimal irreducible monic polynomial having $a$ as a root.

By this theorem you can directly arrive at your desired conclusion.

EDIT 1:

1. $a$ is called algebraic over the field $F$ if $a$ is a root of some polynomial in $F[x]$.
2. Also minimal irreducible monic polynomial having $a$ as a root, has smallest degree amongst all those polynomials having $a$ as a root. We denote it by $m_a(x)$.
3. You can plug in $a=\sqrt 2$ and $m_a(x)=x^2-2$. Only thing you want to prove is that $x^2-2$ is the smallest degree polynomial with $\sqrt 2$ as a root. (Hint: Use contradiction with degree $0$ and degree $1$ polynomials.)

EDIT 2: (As per suggestion by Don Antonio in the comments)

Theorem :- $F(a)=F[a] \iff a \;\text{is algebraic over} \; F$.

Proof - Let $a$ be algebraic over $F$ and $p(x) \in F[x]$ be the minimal irreducible polynomial having $a$ as a root. Let $f(x) \in F[x]$ be such that $f(a) \neq 0$. Then $p(x) \not| f(x)$ and $p(x),f(x)$ are relatively prime. Hence there exist polynomials $g(x)$ and $h(x) \in F[x]$ such that $g(x)p(x)+h(x)f(x)=1 \Rightarrow g(a)(0)+h(a)f(a)=1 \Rightarrow h(a)f(a)=1$. That is $f(a)$ is invertible in $F[a]$. This means $F[a]$ is field. Since any field containing $F$ and $a$ also contains polynomials in $a$ hence $F[a] \subseteq F(a)$. But $F(a)$ is by definition the smallest field containing $F$ and $a$. Hence $F(a) \subseteq F[a]$. It follows $F(a)=F[a]$.

Conversely, assume $F(a)=F[a]$. Suppose $a$ is transcendental over $F$. Since $F(a)$ is smallest field containing $F$ and $a$, it also contains $\frac 1a$. But $\frac 1a \notin F[a]$. Hence we have a contradiction. and $a$ must be algebraic over $F$.

Answer 2

You might have learnt how to rationalize the denominator in expressions of the form $\displaystyle \frac{a+b\sqrt n}{c+d\sqrt n}$. This procedure, when the numerator is taken as $1\ ( a=1, b=0)$ proves that $\mathbf{Q}[\sqrt n]$ is a field.

In case you are not aware of this procedure it simply means muliply the numerator and the denominator by the 'conjugate' of the denominator, ie by $c-d\sqrt n$.

Answer 3

I believe you are thinking about results of simple algebraic extensions. $F[x]/(p(x))$ will be a field containing a root to $p(x)$ as long as $p(x)$ is irreducible, thus maximal. $R/M$ is a field when $M$ is maximal. So you are thinking about $\mathbb{Q}[X]/(X^2-2)$

http://sierra.nmsu.edu/morandi/OldWebPages/Math331Spring2003/Chapter5.pdf

This seems a decent writeup with plenty of examples to refresh you.

It is like the construction of $\mathbb{C} \cong \mathbb{R}[X]/(X^2+1)$