Classical Algebra (Math 326)
Written Assignment No. 5

due Tuesday, December 12, 2006

Directions

Written assignments must be typeset.

While it is neither necessary nor desirable to show small details of computation, you must indicate what you are doing, give major steps in computation, and explain any reasoning used.

Accuracy is important. With 5 problems in an assignment worth 5 points, there will be no room for partial credit on a problem.

If you are in the writing intensive division of the course, you must complete each written assignment in a satisfactory way. This may require re-submission, possibly more than once, after the initial evaluation.

Please remember that no collaboration is permitted on this assignment.

Problems

  1. Find the monic greatest common divisor over the finite field F5 of the two polynomials x41andx43x2+1.

  2. The monic greatest common divisor of the polynomials fx=x5x+1andgx=x3x+1, regarded as polynomials with rational coefficients, is the constant polynomial 1. Express 1 as a polynomial linear combination of f and g. (Be sure to verify the correctness of your answer by expanding the linear combination.)

  3. Find the order of the congruence class of the polynomial fx modulo the polynomial mx when the field of coefficents is Fp in the following cases:

    1. fx=x, mx=x2+1, and p=5.

    2. fx=x, mx=x2x+1, and p=5.

    3. fx=x2, mx=x2+5x+1, and p=7.

    4. fx=x+1, mx=x3x2+1, and p=3.

  4. Find a polynomial ft in F5[t] whose congruence class modulo mt is a primitive element for the field F5[t]/mtF5[t] when mt=t2t+1.

  5. Write a proof of the following proposition: If F is a field and ft is in the ring F[t] of polynomials with coefficients in F, then the polynomial t and the polynomial ft have no (non-constant) common factor if and only if f00.

  6. F4 is defined to be the field F2[t]/t2+t+1F2[t].

    1. How many congruence classes are there of polynomials in F4[x] modulo the polynomial x3+x+1 ?

    2. Explain why the polynomial x3+x+1 is irreducible over F4.

    3. Find a primitive element for the ring F4[x]/x3+x+1F4[x] of congruence classes.