The following theorem is the principal result on finite fields.

Classification theorem of finite fields

For every prime number p and positive integer a there exists a field of order pa. It is unique up to isomorphism.