Today weβll see more properties of minimal polynomials of finite field elements and actually prove our claim from early in the semester that there is only one finite field structure for each possible order of finite field.
In the next series of problems, you will investigate the structure of a field \(E\) of order \(2^4\text{,}\) constructed as \(GF(2)[\alpha]/(\alpha^4+\alpha+1)\text{.}\)
Verify that the product of the linear and quadratic irreducible polynomials is \(x^4-x\) and use this to identify the subfield \(K\) of \(E\) of size \(4\text{.}\)
Because \(p(\alpha)=0\) implies \(p(\alpha^q)=0\) it suffices to check whether one element in each conjugacy class is a root of a given irreducible polynomial; you do not need to multiply out the product in the definition of minimal polynonial.
Draw a diagram showing the subfields of \(E\text{.}\) Include labels for which field is which and which conjugacy classes live in which parts of the diagram.
Identify the minimal polynomials which are factors of \(x^4-x\) and corresponding elements (as powers of \(\beta\)) that comprise the subfield of size \(4\) in \(K\text{.}\)
Identify the minimal polynomials which are factors of \(x^8-x\) and corresponding elements (as powers of \(\beta\)) that comprise the subfield of size \(8\) in \(K\text{.}\)
Based on your work above, how many elements of \(K\) have minimal polynomials of degree \(6\text{?}\) What does this tell you about the number of monic irreducible polynomials of degree \(6\) over \(\GF(2)\text{?}\)