Back to A Complete Introduction to Abstract Algebra

Finite Fields

The classification of finite fields of prime-power order, unique up to isomorphism and realized as the splitting field of a fixed polynomial over the integers modulo a prime.

A Complete Introduction to Abstract Algebra, Finite Fields

Status
FlagsLoading your progress…

12 exercises

Exercise 2

Find all the zeroes of f(x)=x4+x+1f(x)=x^{4}+x+1 over the field FF described in 1.6, using α\alpha as one possible zero of f(x)f(x) in FF.

3.0

Exercise 4

Prove 1.9.

3.0

Exercise 5

Consider the finite field FF in 1.7. What are its subfields?

3.0

Problem 1

Is

Justify your answer using a concise argument.

3.0

Problem 2

Let α\alpha be a zero of x3+x2+1x^{3}+x^{2}+1 in some extension field of Z2\mathbb{Z}_{2}.

  1. Find (α2+α+1)−1(\alpha^{2}+\alpha+1)^{-1} in Z2(α)\mathbb{Z}_{2}(\alpha).

  2. Hence solve the equation

    for xx over Z2(α)\mathbb{Z}_{2}(\alpha).

(Hint: refer to the conversion formulae given in 1.7.)

3.0

Problem 3

Explain why every element of a finite field of characteristic pp can be written in the form apa^{p}, where aa is an element of the same finite field.(Hint: Consider the proof of 1.51.)

3.0

Problem 4

Consider the irreducible polynomial f(x)=x2+2x+2f(x)=x^{2}+2x+2 over Z3\mathbb{Z}_{3}. Let α\alpha be a zero of f(x)f(x) in some extension field of Z3\mathbb{Z}_{3}. Find the other zero(es) of f(x)f(x) in Z3(α)\mathbb{Z}_{3}(\alpha).

3.0

Problem 5

Let p(x)=x3+2x+2∈Z3[x]p(x)=x^{3}+2x+2\in\mathbb{Z}_{3}[x].

  1. Show that p(x)p(x) is irreducible over Z3\mathbb{Z}_{3}.

  2. Let α\alpha be a zero of p(x)p(x) in the field F=Z3[x]/⟨p(x)⟩F=\mathbb{Z}_{3}[x]/\left\langle p(x)\right\rangle. Show that α\alpha is not a generator of F∗F^{\ast}.

  3. Find a generator of F∗F^{\ast}, and prove that your answer is indeed a generator of F∗F^{\ast}. Express your answer in terms of α\alpha.

3.0

Problem 6

Prove that any irreducible factor of x32−xx^{32}-x over Z2\mathbb{Z}_{2} has a degree of 1 or 5.

3.0

Problem 7

Prove that every finite extension of a finite field is simple.

3.0

Problem 8

Prove that no finite field is algebraically closed.

3.0

Problem 9

Let FF be a field. We say that a∈Fa\in F is a square if and only if there exists a b∈Fb\in F such that a=b2a=b^{2}. If a∈Fa\in F is not a square it is called a non-square.

Now let pp be an odd prime. Show that if any non-square in GF(p)\mathrm{GF}(p) is still a non-square in GF(pn)\mathrm{GF}(p^{n}), then nn is an odd positive integer.(Hint: consider the polynomial f(x)=x2−af(x)=x^{2}-a, where aa is a non-square.)

3.0

Adapted from A Complete Introduction to Abstract Algebra © 2022–2026 Kan Onn Kit. Licensed under CC BY-SA 4.0. Source: A Complete Introduction to Abstract Algebra. Imported at revision a559e8b.