302.S8B: Conjugate Roots Theorem
Channel: Matthew Salomone
Date: 2014-04-22

Automorphisms give a suitable generalization of "conjugate": in the same way that roots of real-coefficient polynomials come in conjugate pairs, roots in E of polynomials over F may be permuted by automorphisms of E over F.