How Many Subfields Does a Given Field Have?

The number of subfields is a property of the particular field, so the question has no single answer without more information. A useful standard case is a finite field: its subfields are completely classified by divisors of its extension degree.

The finite-field answer

Every finite field has order $p^n$ for a prime $p$ and a positive integer $n$. It contains exactly one subfield of order $p^d$ for every positive divisor $d$ of $n$, and no other subfields. Therefore,

$$\text{number of subfields of } \mathbb{F}_{p^n}=\tau(n),$$

where $\tau(n)$ is the number of positive divisors of $n$. This count includes the prime subfield $\mathbb{F}_p$ and the whole field $\mathbb{F}_{p^n}$.

If you want only proper subfields, exclude the whole field, giving $\tau(n)-1$ when $n>1$. If you want only proper, nontrivial subfields—excluding both the prime field and the whole field—the count is $\tau(n)-2$ when $n>1$. When $n=1$, the field is already its own prime subfield, so it has no proper subfields.

Why divisors determine the subfields

Suppose $K=\mathbb{F}_{p^n}$ contains a subfield $L$. Every subfield of a finite field is itself a finite field, so it has order $p^d$ for some positive integer $d$. Viewing $K$ as a vector space over $L$ gives

$$[K:\mathbb{F}_p]=[K:L][L:\mathbb{F}_p].$$

The left side is $n$, and $[L:\mathbb{F}_p]=d$, so $d$ must divide $n$. Conversely, for every divisor $d$ of $n$, there is exactly one subfield with $p^d$ elements. One way to describe it is as the set of roots in $K$ of $x^{p^d}-x$.

Thus counting subfields reduces to counting divisors. The word “exactly” matters: two different subfields cannot have the same size in a finite field.

Worked example: a field with $p^{12}$ elements

The positive divisors of $12$ are

$$1,\ 2,\ 3,\ 4,\ 6,\ 12.$$

So $\mathbb{F}_{p^{12}}$ has six subfields, with orders

$$p,\ p^2,\ p^3,\ p^4,\ p^6,\ p^{12}.$$

The field of order $p$ is the prime subfield, and the field of order $p^{12}$ is the whole field. The other four are proper, nontrivial subfields. For a concrete example, $\mathbb{F}_{2^{12}}$ has subfields of orders $2, 4, 8, 16, 64,$ and $4096$—six in total.

For a relative finite-field extension $\mathbb{F}_{q^n}/\mathbb{F}_q$, the same divisor rule applies: there is exactly one intermediate field of degree $d$ over $\mathbb{F}_q$ for every divisor $d$ of $n$. Its size is $q^d$.

What if the field is not finite?

For a general field, its characteristic and size alone do not give a universal subfield count. If the field has characteristic zero, every subfield contains its prime field $\mathbb{Q}$; in characteristic $p$, every subfield contains $\mathbb{F}_p$. Beyond that, the answer depends on the field’s structure.

For example, $\mathbb{Q}$ has just one subfield, namely itself. In contrast, $\mathbb{R}$ has infinitely many: for each prime number $r$, the set $\mathbb{Q}(\sqrt{r})$ is a subfield of $\mathbb{R}$, and these give infinitely many distinct subfields. So infinite fields may have very different subfield counts.

There is one useful general fact: a finite separable field extension has only finitely many intermediate fields. To see why, take its finite Galois closure. The intermediate fields correspond to certain subgroups of the finite Galois group, and a finite group has only finitely many subgroups. The actual count, however, depends on the extension and is not given by the finite-field divisor formula in general.

Common counting mistakes

• Forgetting the endpoints: The total for $\mathbb{F}_{p^n}$ includes both $\mathbb{F}_p$ and $\mathbb{F}_{p^n}$. Remove one or both only if the question asks for proper or nontrivial subfields.
• Counting divisors without requiring divisibility: A field of order $p^d$ occurs inside $\mathbb{F}_{p^n}$ only when $d$ divides $n$, not merely when $d<n$.
• Assuming the formula applies to every field: The divisor count is specific to finite fields (or to counting intermediate fields in a finite-field extension). For another field, identify the field and the intended meaning of “subfield” before counting.