$1+\sqrt{2}$ is a unit in $\mathbb{Q}[\sqrt{2}]$. True or False

271 Views Asked by At

I believe that the statement is True, and this is my argument:

Since there exists an element $((1-\sqrt{2})/(1-(\sqrt{2})^2)\in\mathbb{Q}[\sqrt{2}]$ such that their products gives $1$ (multiplicative identity), therefore ( $1+\sqrt{2}$ ) is a unit.

A $unit$ is an element $a\in R|ab=1$ where as $b\in R$. Where $b$ is known as the multiplicative inverse of $a$.

Is my argument reasonable enough? And if there is/are any other possible argument, It would be really helpful to know.

2

There are 2 best solutions below

9
On BEST ANSWER

As noted in the comments, you have a field, so all non-zero elements are units.

But since you asked: to show that $1+\sqrt{2}$ is a unit, you just have to find an element $b$ such that $(1+\sqrt{2})b = 1$. And you can do $$ (1 + \sqrt{2})(-1+\sqrt{2}) = -1 - \sqrt{2} + \sqrt{2} + 2 = 1. $$ And that is it. You don't have to say anything else. It just has to be clear that the $b$ is indeed an element of $\mathbb{Q}[\sqrt{2}]$. And since $\mathbb{Q}[\sqrt{2}] = \{a + b\sqrt{2}: a,b\in \mathbb{Q}\}$, it is very clear that $-1 + \sqrt{2} \in \mathbb{Q}[\sqrt{2}]$.

0
On

Probably this exercise is a warmup for the proof that $\,\Bbb Q[\sqrt{2}]\,$ is a field. The key idea is simple: to invert $\,w = 1+\sqrt{2}\,$ simply rationalize the denominator of $\,\dfrac{1}{1+\sqrt 2},\,$ i.e. multiply the numerator and denominator by the conjugate $\,w' = 1-\sqrt{2}\,$ to force the denominator to be rational $\,ww' = r.\,$ Being a nonzero rational, $\,r\,$ is invertible, which yields the sought inverse $\, \dfrac{1}w = \dfrac{w'}{ww'}= r^{-1} w'$

Thus, by taking norms $\,w\to ww',$ this method transforms the problem of inverting a quadratic irrational to the simpler problem of inverting a rational. Since the same method works for any irrational $\,w = a + b\sqrt{2} \in \Bbb Q[\sqrt{2}]\,$ we infer that $\Bbb Q[\sqrt{2}]$ is a field. Note that in this general proof it is crucial to show that the denominator $\,ww'= a^2-2b^2 \ne 0.\,$ But if it $=0\,$ then $\, 2 = (a/b)^2\Rightarrow\!\Leftarrow$