Algebraic Extension¶
A field extension in which every element of the larger field satisfies a nonzero polynomial with coefficients in the embedded base field.
Core Idea¶
A field extension \(L/K\) is algebraic when every \(\alpha\in L\) is a root of some nonzero polynomial in \(K[x]\). The witness may vary with \(\alpha\); its unique monic irreducible minimal polynomial is more specific than an arbitrary witness. This all-elements condition narrows the live Field Extension relation and excludes any extension containing an element transcendental over \(K\).[^ref-f69c40b65955]
Scope of Application¶
\(\mathbb Q(\sqrt2)/\mathbb Q\) is algebraic because its basis \(\{1,\sqrt2\}\) gives finite dimension and \(\sqrt2\) has minimal polynomial \(x^2-2\). \(\mathbb F_{p^n}/\mathbb F_p\) is algebraic because each element obeys \(a^{p^n}=a\), so \(x^{p^n}-x\) is a common witness. These are unlike characteristic-zero and finite-characteristic cases, not claims that all algebraic extensions have one common polynomial.[ref-f69c40b65955][ref-35da6aa16778]
Clarity¶
Read the quantifiers as “for every element of the larger field, there exists a polynomial over the specified base.” Showing one chosen element is algebraic does not classify a larger field unless that element generates it. Changing the base field can change the answer.[^ref-f69c40b65955]
Manages Complexity¶
Finite degree proves algebraicity without listing every witness, but infinite algebraic extensions exist. The field of all algebraic numbers over \(\mathbb Q\) has infinite total degree while each member is individually algebraic. Algebraic also does not mean algebraically closed; closure adds a separate root-completeness condition.[^ref-f69c40b65955]
Abstract Reasoning¶
The pattern is field embedding plus universal polynomial dependence over the base. A finite \(\mathbb Q\)-basis proves the first example; the finite-field identity \(a^q=a\) proves the second. In a tower \(K\subseteq E\subseteq L\), algebraicity of \(L/K\) is equivalent to algebraicity of both \(E/K\) and \(L/E\).[ref-f69c40b65955][ref-35da6aa16778]
Knowledge Transfer¶
Across number and finite fields, ask which field supplies coefficients, which extension is being classified, and what covers every element. Transfer that test, not a particular degree or polynomial formula. Degree of a Field Extension measures size; it is not a strict genus of the algebraic relation.[ref-f69c40b65955][ref-35da6aa16778]
[^ref-f69c40b65955]: Romyar Sharifi, Abstract Algebra, Chapter 6: “Field Theory and Galois Theory,” UCLA, §§6.2 and 6.8. [^ref-35da6aa16778]: Sophie Huczynska, with small changes by Max Neunhoffer, Finite Fields course notes (2011/12), Chapter 3 §6, printed pp. 23–25.
Relationships to Other Abstractions¶
Current abstraction Algebraic Extension Domain-specific
Parents (1) — more general patterns this builds on
-
Algebraic Extension is a kind of Field Extension Domain-specific
Every algebraic extension is a field extension satisfying an additional all-elements polynomial condition.
Hierarchy path (1) — routes to 1 parentless root
- Algebraic Extension → Field Extension
Neighborhood in Abstraction Space¶
Algebraic Extension sits in a sparse region of the domain-specific corpus (73rd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Field Extensions & Galois-Theoretic Structures (18 abstractions)
Nearest neighbors
- Quadratic extension — 0.87
- Hensel's Lemma — 0.83
- Fermat's Little Theorem — 0.83
- N-Square Identity — 0.83
- Quasi-Finite Field — 0.83
Computed from structural-signature embeddings · 2026-10-08