Bourbaki

Example 1

Tag 06HM, permanent. Cite it as [Bourbaki, Tag 06HM].

Algebra, V, p. 17, § 3. Algebraic extensions

In the field of complex numbers C\mathbf{C}, the number ii is algebraic of degree 2 over the prime field Q\mathbf{Q}; for if f(X)=X2+1f(X) = X^2 + 1, then f(i)=0f(i) = 0, and x2+1≠0x^2 + 1 \neq 0 for all x∈Qx \in \mathbf{Q}, hence i∉Qi \notin \mathbf{Q}. The field Q(i)\mathbf{Q}(i) is thus an extension of degree 2 of Q\mathbf{Q}; it consists of all numbers a+bia + bi, where a,ba, b are rational. Likewise ii is algebraic of degree 2 over the field R\mathbf{R} of real numbers, and C\mathbf{C} is an extension of degree 2 of R\mathbf{R}. \*

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Transcribed from the printed edition, 2003, Springer. Not translated.