Galois Theory: Field Extensions & Algebraic Numbers

Added:

Field Extensions
Algebraic Numbers
Transcendental Elements
Explicit Polynomial
Algebraic Criterion
Tower Degree Rule
Closure Properties
Algebraic Coefficients

Field Extensions

0:01
Playing Section
  • 1

    Defines field extensions as pairs of fields, one contained in another.

  • 2

    Explains the degree of an extension as a vector space dimension.

  • 3

    Distinguishes between finite and infinite extensions.

Basic Field Theory: Understanding the definition of a field, subfields, and field homomorphisms.
Polynomial Rings: Familiarity with polynomial rings over a field, including irreducible polynomials and the division algorithm.
Linear Algebra Concepts: Mastery of vector spaces, bases, and dimension, which are essential for understanding the degree of a field extension.
Minimal Polynomials: The definition and properties of the minimal polynomial of an algebraic element over a base field.
Splitting Fields and Algebraic Closures: Learning how to construct fields where a given polynomial splits completely into linear factors.
Normal and Separable Extensions: Exploring the structural properties of extensions that behave well under field automorphisms.
Galois Groups and the Fundamental Theorem of Galois Theory: Establishing the Galois correspondence between subfields of an extension and subgroups of its automorphism group.
Applications to Solvability and Geometric Constructions: Using Galois theory to analyze the solvability of polynomial equations by radicals and classical ruler-and-compass constructions.
47.3K views892likes27:30@richarde.borcherds7998Original Release: 2020-12-27

In field theory, a field extension L/K is a pair of fields where K is contained in L, and the degree [L:K] is the dimension of L as a vector space over K. An element α in L is algebraic over K if it is a root of some non-zero polynomial with coefficients in K; equivalently, α is algebraic if and only if it is contained in a finite extension of K. The degree of a field extension is multiplicative in towers: if K ⊆ L ⊆ M, then [M:K] = [M:L] × [L:K]. Consequently, the sum, product, and quotient of algebraic numbers over K are also algebraic, and any root of a polynomial with algebraic coefficients is algebraic.