1.
True/False: The coefficients of the minimal polynomial with respect to \(F\) of \(\alpha\) a nonzero element of an extension field \(E\) of \(F\) are elements of \(F\text{.}\)
Print preview
Worksheet Weekly Practice 12
Instructions: You may type up or handwrite your work, but it must be neat, professional, and organized and it must be saved as a PDF file and uploaded to the appropriate Gradescope assignment. Use a scanner or scanning app to convert handwritten work on paper to PDF. I encourage you to type your work using the provided template.
All tasks below must have a complete solution that represents a good-faith attempt at being right to receive engagement credits. If your submission is complete and turned in on time, you will receive full engagement credit for the assignment. All other submissions will receive zero engagement credit. Read the guidelines at Grading Specifications carefully.
To abide by the class academic honesty policy, your work should represent your own understanding in your own words. If you work with other students, you must clearly indicate who you worked with in your submission. The same is true for using tools like generative AI although I strongly discourage you from using such tools since you need to build your own understanding here to do well on exams.
True/False, Multiple Choice, & Fill-In.
For these problems a justification is not required for credit, but it may be useful for your own understanding to include one. True/False problems should be marked True if the statement is always true, and False otherwise. Multiple choice problems may have more than one correct answer if that is indicated in the problem statement; be sure to select all that apply. Fill-in problems require a short answer such as a number, word, or phrase.
2.
Fill-In: Suppose \(p(x)\in F[x]\) has \(\alpha\) as a root. Then \(M_{\alpha}(x) \fillinmath{\div} p(x)\text{.}\)
3.
True/False: The factors of \(Q(x)=x^{q^n}-x\) in \(F[x]\) with \(|F|=q\) are exactly the monic irreducible polynomials in \(F[x]\) with degree dividing \(n\) and these are the same as the minimal polynomials of the elements of \(E\) the field of roots of \(Q\) over \(F\text{.}\)
Short Response.
Your responses to these questions should be complete solutions with justifications, as per the Grading Specifications.
4.
In this problem you will investigate the structure of a field \(K\) of order \(2^6\) with primitive element \(\beta\text{.}\) It may be useful to recall that the irreducible polynomials of degree 4 or lower over \(\F_2\) are
\begin{gather*}
x, x+1\\
x^2+x+1 \\
x^3+x+1, x^3+x^2+1 \\
x^4+x+1, x^4+x^3+1, x^4+x^3+x^2+x+1 \text{.}
\end{gather*}
(a)
What sizes of subfields can \(K\) have?
(b)
What degrees can minimal polynomials of elements of \(K\) have?
(c)
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{.}\)
(d)
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{.}\)
(e)
What is the intersection of these two subfields?
(f)
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{?}\)
5.
Let \(K\) be the field \(\GF(2^3)\) and let \(\beta\) be an element of multiplicative order 9 in the extension field \(E\) of \(K\) with extension degree \([E:K]=2\text{.}\)
(a)
Partition the set of powers
\begin{equation*}
\{1,\beta,\beta^2,\dots,\beta^8\}
\end{equation*}
into conjugacy classes (with respect to \(K\)).
(b)
For each element \(\beta^i\text{,}\) find the degree of the minimal polynomial \(M_{\beta^i}(x)\) (with respect to \(K\)).
(c)
For each minimal polynomial \(M_{\beta^i}(x)\text{,}\) find its constant coefficient (i.e., the value of \(M_{\beta^i}(x)\) at \(x=0\)).
(d)
(e)
Find the value of \(\beta^3+\beta^{-3}\text{.}\)
(f)
Identify the minimal polynomials \(M_{\beta^i}(x)\) (with respect to \(K\)) whose coefficients are in \(\GF(2)\) and explicitly give their coefficients.
