Finite fields, I believe, were introduced by Galois in his paper "Sur la théorie des nombres", found on page 398 of his Oeuvres. In this paper Galois introduces the idea of taking a polynomial equation $f(x)=0$ having no solution modulo some prime, and introducing an imaginary number $i$ to act as its solution, giving a very concrete construction of a finite field.

Galois simply says he was led to this idea "by some researches on incommensurable solutions", and that the goal of the paper is "the classification of these imaginaries, and their reduction to the smallest possible number".

While the idea of studying how adjoining imaginary roots behaves in the structure $\mathbb Z/p\mathbb Z$ is interesting in its own right, are there any particular applications that Galois might have had in mind? What applications were made of his ideas immediately after their diffusion? Was anyone else studying and applying the concept of finite fields independently of Galois? Or were they introduced purely for their own sake, and had to wait a long time before applications were stumbled upon?


In Cox's "Galois Theory" (2nd edition) he explains in Chapter 14 why Galois created finite fields: it was to construct solvable primitive permutation groups. Solvable groups were a big deal to Galois, for his theorem on solvability by radicals, and in those days all groups were groups of permutations. See in particular the Historical Notes to sections 14.3 and 14.4 as well as Theorems 14.4.9 and 14.4.10 of Cox's book. The slides https://dacox.people.amherst.edu/lectures/bilbao.pdf from a talk by Cox may be a better place to look first.

  • $\begingroup$ Can you recover the link on slides. The link in the answer is broken now after five years. Is it still possible to reach the slides somewhere? I can't even search for slides on internet since there is no title provided. $\endgroup$ – Evgeny Kuznetsov Apr 15 '20 at 6:42
  • 2
    $\begingroup$ I updated the link (if you search on "cox bilbao finite fields" it is one of the top hits). $\endgroup$ – KCd Apr 15 '20 at 13:53
  • $\begingroup$ For future reference, the title of Cox's talk is "Evariste Galois and Solvable Permutation Groups". $\endgroup$ – KCd Jun 21 '20 at 16:35

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.