If a subset S of the elements of a field F satisfies the field axioms with the same operations of F, then S is called a subfield of F. In a finite field of field order p^n, with p a prime, there exists a subfield of field order p^m for every m dividing n.

extension field | field | prime subfield | subspace