# Extensions of $\mathbb{Q}$ [duplicate]

Let $$\mathbb Q[i]=\{a+ib|a, b\in \mathbb Q\}$$ Any nonzero element $a+ib\in\mathbb{Q}[i]$ has an inverse element because $$\frac{1}{a+ib}=\frac{a-ib}{a^2+b^2}\in\mathbb{Q}.$$

Is it true that $\mathbb{Q}(i)=\mathbb{Q}[i]$?

Thanks!

-

## marked as duplicate by Willie WongMay 24 '12 at 14:02

Yes, that is true. Of course, this follows from your explicit description of the inverse.

Also, $i$ has the minimal polynomial $X^2+1$ over $\mathbb{Q}$ and therefore the extension $\mathbb{Q}[i]|\mathbb{Q}$ is finite. Then it follows $\mathbb{Q}(i)=\mathbb{Q}[i]$. This is a general result for finite extensions.

-
Why from $[\mathbb{Q}[i]:\mathbb{Q}]<\infty$ follows $\mathbb{Q}[i]=\mathbb{Q}(i)$? – Aspirin May 24 '12 at 12:15

Yes. This is a general fact: if $\,\mathbb{F}\,$ is any field and $\,\alpha\,$ is an element in some field extension, then $\,\alpha\,$ is algebraic over $\,\mathbb{F}\,$ iff $\,\mathbb{F}[\alpha]=\mathbb{F}(\alpha)\,$ .

As $\,i\,$ is a root of the rational pol. $\,x^2+1\,$ , it is alg. over the rationals...

-
added The proof of the above is short and easy: – DonAntonio May 24 '12 at 12:07

Yes, for exactly the reason you cited.

-