MAT3004 Abstract Algebra I · Fields

Statement

Let E/FE/F be a finite field extension of prime degree pp. If α∈E∖F, \alpha\in E\setminus F, then E=F(α). E=F(\alpha).

Proposed proof

Consider the FF-linear transformation Tα:E⟶E,Tα(v)=αv. T_\alpha:E\longrightarrow E, \qquad T_\alpha(v)=\alpha v. Let mα(x)m_\alpha(x) be the minimal polynomial of α\alpha over FF. This is also the minimal polynomial of the linear transformation TαT_\alpha.

By the Cayley-Hamilton theorem, mα(x)m_\alpha(x) divides the characteristic polynomial χTα(x)\chi_{T_\alpha}(x). Since deg⁡χTα=[E:F]=p, \deg\chi_{T_\alpha}=[E:F]=p, it follows that deg⁡mα∣p. \deg m_\alpha\mid p. Because α∉F\alpha\notin F, we have deg⁡mα>1\deg m_\alpha>1. Since pp is prime, this forces deg⁡mα=p\deg m_\alpha=p. Therefore [F(α):F]=p=[E:F], [F(\alpha):F]=p=[E:F], and hence E=F(α)E=F(\alpha).