Open main menu

Groupprops β

Finite prime field


A finite prime field is a finite field satisfying the folloqing equivalent conditions:

  1. It contains no proper subfield.
  2. Its size is a prime number.

For any prime number p, there is a unique finite prime field of size p, and this is denoted \mathbb{F}_p or GF(p). This is the prime subfield (i.e., the unique smallest subfield) in any field of characteristic p.