In this blog post we will discuss the construction of finite fields (also known as Galois fields, named so in honour of Évariste Galois). We will see how to construct fields of order \(p^k\) using irreducible polynomials over the field \(\mathbb{F}_p\), and furthermore see that all fields have order of this form.