Algebraic Numbers and Minimal Polynomials

Central Question

How does one polynomial capture an algebraic element and determine the size of its field extension?

Why This Matters

Minimal polynomials connect equations to vector-space dimension, giving a structural meaning to the complexity of adjoining a number.

Mathematical Notes

The minimal polynomial contains every polynomial relation

An element $\alpha$ is algebraic over $F$ if some nonzero polynomial in $F[x]$ vanishes at it; otherwise it is transcendental. For algebraic $\alpha$ , its minimal polynomial $m_\alpha$ is the unique monic polynomial of least positive degree that vanishes at $\alpha$ .

It is irreducible: a factorization into smaller positive-degree factors would force one factor to vanish. Division by $m_\alpha$ also proves

f(\alpha)=0\quad\Longleftrightarrow\quad m_\alpha\mid f.

Consequently,

F(\alpha)\cong F[x]/(m_\alpha),\qquad [F(\alpha):F]=\deg m_\alpha.

If the degree is $n$ , the powers $1,\alpha,\ldots,\alpha^{n-1}$ span by reduction modulo $m_\alpha$ . They are independent because a dependence would be a lower-degree polynomial relation. Degree counts independent coordinates, not the number of elements in the field.

Examples with certified degrees

Element over $\mathbb Q$	Minimal polynomial	Degree	Reason
$\sqrt2$	$x^2-2$	2	No rational root
$\sqrt[3]2$	$x^3-2$	3	Eisenstein at 2
$\sqrt[4]2$	$x^4-2$	4	Eisenstein at 2
$\sqrt2+\sqrt3$	$x^4-10x^2+1$	4	Generates the degree-four biquadratic field

For the last row, if $\beta=\sqrt2+\sqrt3$ , then $\beta^{-1}=\sqrt3-\sqrt2$ . Thus

\sqrt3=\frac{\beta+\beta^{-1}}2,\qquad \sqrt2=\frac{\beta-\beta^{-1}}2.

So $\mathbb Q(\beta)=\mathbb Q(\sqrt2,\sqrt3)$ , whose degree is established in the tower session. Squaring twice supplies the displayed quartic relation; the degree proves it is minimal.

Irreducibility tools worth retaining

For a primitive integer polynomial, Gauss's lemma equates irreducibility over $\mathbb Q$ with irreducibility over $\mathbb Z$ . Eisenstein applies when a prime divides every nonleading coefficient, does not divide the leading coefficient, and its square does not divide the constant coefficient. An irreducible reduction modulo a prime also certifies rational irreducibility if the degree is preserved. Reducible reduction does not prove rational reducibility.

The base field matters: $\sqrt2$ has degree two over $\mathbb Q$ but degree one over $\mathbb Q(\sqrt2)$ . If $\alpha$ is transcendental, evaluation embeds $F[x]$ and extends to an isomorphism $F(x)\cong F(\alpha)$ ; no finite power basis exists.

Learning Prompt

Teach algebraic versus transcendental elements as the natural next step from adjoining roots. Develop minimal polynomials and extension degree from first principles. Explain why $[\mathbb Q(\sqrt2):\mathbb Q]=2$ , then explore examples of degrees 3, 4, etc. Connect extension degree to vector spaces.

Ideas

Examples

Questions

Connections

One Thing That Surprised Me

Further Rabbit Holes

Sources

Ian Stewart, Galois Theory, fifth edition, CRC Press, §§3.2–3.5, 5.1–5.4; §6.2. Publisher and edition details.

Session 04 — Algebraic Numbers and Minimal Polynomials