Intereting Posts

For holomorphic functions, if $\{f_n\}\to f$ uniformly on compact sets, then the same is true for the derivatives.
System of equations: $x^2+y=7, y^2+x=11$
Making some standard theoretical physics argument rigorous
Can a group have more subgroups than it has elements?
What numbers are integrally represented by $4 x^2 + 2 x y + 7 y^2 – z^3$
If $f=F'$ and $|f|$ is Riemann integrable, how to show that $f$ is Riemann integrable?
Idempotent Modules and Ideals
Solving for the closed term solution of a third order recurrence relation with real constant coefficients
Unique intermediate subgroup and double coset relation I
In how many ways 3 numbers can be chosen from a from the set {1, …, 18} so that their sum is divisible by 3?
Maximum value of $f(x) = \cos x \left( \sin x + \sqrt {\sin^2x +\sin^2a}\right)$
Is every monomorphism an injection?
Square of a second derivative is the fourth derivative
Infinite Series -: $\psi(s)=\psi(0)+\psi_1(0)s+\psi_2(0)\frac{s^2}{2!}+\psi_3(0)\frac{s^3}{3!}+.+.+ $.
How to convince a math teacher of this simple and obvious fact?

Does there exist a field which has infinitely many subfields? Does there exist an enormous supply of such fields?

I don’t know how to begin.

- Why is the extension $k(x,\sqrt{1-x^2})/k$ purely transcendental?
- Non-algebraically closed field in which every polynomial of degree $<n$ has a root
- Example of a group where $o(a)$ and $o(b)$ are finite but $o(ab)$ is infinite
- If $k>0$ is a positive integer and $p$ is any prime, when is $\mathbb Z_p =\{a + b\sqrt k~|~a,b \in\mathbb Z_p\}$ a field.
- $\operatorname{Ext}$ and injectives, respectively projectives
- $L$-function, easiest way to see the following sum?

- Let $\alpha \in \overline{\Bbb Q}$ a root of $X^3+X+1\in\Bbb Q$. Calculate the minimum polynomial of $\alpha^{-1}$ en $\alpha -1$.
- When each prime ideal is maximal
- I don't understand what a Pythagorean closure of $\mathbb{Q}$ is; how are these definitions equivalent?
- When are nonintersecting finite degree field extensions linearly disjoint?
- Why do we say the group of order $p^3$ is not always abelian?
- $\mathbb Z_p^*$ is a group.
- A group $G$ is Abelian iff $(ab)^n = a^n b^n$ for all $a,b \in G$ and $n \in \Bbb Z$
- What are zero divisors used for?
- Unique normal subgroups of every possible order
- Can a group of order $55$ have exactly $20$ elements of order $11$?

The complex numbers $\mathbb{C}$ is an example of such a field. It has infinitely many subfields, since you can adjoin family of irrational numbers (pick your favourite ones!) to $\mathbb{Q}$. My favourites would be roots of $\sqrt[n]{2}$ for each $n\in\mathbb{N}$. So in this case, the infinite family of subfields would be $\{\mathbb{Q}(\sqrt[n]{2})\}_{n=1}^{\infty}$

Recall the notion of *prime subfield* $K_0$ of a field $K$: this is the unique smallest subfield of $K$. If $1+\ldots + 1 = 0$ for some $n$, then the least such $n$ is a prime number $p$ and the prime subfield is $\mathbb{F}_p$. Otherwise the prime subfield is the rational numbers $\mathbb{Q}$. Now here is the full answer to your question:

A field $K$ has finitely many subfields iff $K/K_0$ has finite degree.

Proof: $K/K_0$ has finite degree, then $K$ is either a finite field or a number field. The first case is obvious; the second case can be done e.g. by replacing $K$ with its Galois closure over $\mathbb{Q}$ (showing that a larger field has only finitely many subfields will be sufficient!) and using the Galois correspondence.

Now suppose $K/K_0$ has infinite degree.

Case 1: If $K/K_0$ is algebraic, then choose $x_1 \in K \setminus K_0$. Then $K_0(x_1)$ has finite degree over $K_0$ so is proper in $K_1$. Repeating this argument generates an infinite ascending chain of finite degree subfields of $K$.

Case 2: If $K/K_0$ is not algebraic, let $t \in K$ be transcendental over $K_0$. Then $\{K_0(t^n)\}_{n=1}^{\infty}$ are infinitely many subfields of $K$.

**Afterthought**: Let $L/K$ be any field extension, and consider the **lattice** $\operatorname{Sub}(L/K)$ of subextensions, i.e., fields $F$ with $K \subset F \subset L$. Then the OP’s original question asks about when for a field $K$, $\operatorname{Sub}(K/K_0)$ is infinite, and my answer characterizes when this happens. But upon further reflection, in each of Cases 1 and 2 I am showing the failure of a different weaker finiteness property. Namely, if $K/K_0$ is infinite degree algebraic, then $\operatorname{Sub}(K/K_0)$ contains an infinite ascending chain of subfields, so it is not Noetherian (this is just the definition of a Noetherian partially ordered set: it doesn’t contain infinite ascending chains). If $K/K_0$ is transcendental, then $\operatorname{Sub}(K/K_0)$ contains an infinite descending chain — if $t$ is transcendental over $K_0$, take $F_n = K_0(t^{2^n})$ — so it is not Artinian (again, by definition).

In fact this part of the answer doesn’t use any special properties of $K_0$. In fact it shows that if $L/K$ is infinite degree algebraic then $\operatorname{Sub}(L/K)$ is not Noetherian, and if $L/K$ is transcendental then $\operatorname{Sub}(L/K)$ is not Artinian. (The converse works when $K_0$ is perfect but not in general; see Jyrki’s answer and my comments on it below.)

You can check that it doesn’t work the other way around.

Claim: Let $K_0$ be any prime field (i.e., $\mathbb{F}_p$ or $\mathbb{Q}$). Then:

a) There is an infinite algebraic field extension $K/K_0$ such that $\operatorname{Sub}(K/K_0)$ is Artinian.

b) There is a transcendental field extension $K/K_0$ such that $\operatorname{Sub}(K/K_0)$ is Noetherian.

I leave the verifications to you (if you care to do them), with the following hints: a) take a $\mathbb{Z}_p$-extension. b) Use Luroth’s Theorem.

Maybe we should ask for characterizations of field extensions $L/K$ such that $\operatorname{Sub}(L/K)$ is Noetherian, or Artinian?

Note that Jyrki’s answer also fits into this framework: he shows that $L/K$ having finite degree need not imply that $\operatorname{Sub}(L/K)$ is finite (although it is evidently Noetherian and Artinian, i.e., of finite length). As I like to mention, I got a PhD in arithmetic geometry / number theory before I learned about this example: up until not so very long ago I was sure that basic field theory showed that such examples could not exist.

Adding an example of infinitely many intermediate fields of a finite extension $L/K$.

Let be $F$ be an algebraic closure of $\mathbb{F}_2$, so $F$ is infinite. Let $x$ and $y$ be algebraically independent trascendental elements over $F$. Let $L=F(x,y)$ and $K=F(x^2,y^2)$. We easily see that $[L:K]=4$. A basis for this extension consists of $\{1,x,y,xy\}$. Let $\alpha\in F$ be arbitrary. Consider the intermediate space $L_\alpha$ spanned over $K$ by $\{1,x+\alpha y\}$. We have

$$

L_\alpha\cap L_{\alpha’}=K

$$

whenever $\alpha\neq\alpha’$ (linear algebra), so the spaces $L_\alpha$ are distinct. The key is that $L_\alpha$ is also a subfield. This is because

$$

(x+\alpha y)^2=x^2+2\alpha xy+\alpha^2y^2=x^2+\alpha^2y^2\in K.

$$

This does not contradict the argument in Pete L. Clark’s answer, because the extension $L/K$ is purely inseparable, and thus cannot be contained in a Galois extension. And that was the key in his argument in the case of number fields.

Let $K$ be any field and let $X$ be any infinite set. For each choice of subset $Y\subseteq X$, we get a different subfield $K(Y)\subseteq K(X)$.

Let $K$ be any field and let $t$ be an indeterminate. For each choice of integer $n\geq 1$, we get a different subfield $K(t^n)\subseteq K(t)$.

In case you’re not familiar with it, here is the definition of $K(X)$: it is the field of fractions of $K[X]$, the ring of polynomials in the indeterminates $X$ over $K$. That is, the elements of $K[X]$ are polynomials where the coefficients are elements of $K$, and the “variables” or “indeterminates” are the elements of $X$. Thus for example, if $K=\mathbb{Q}$ and $X=\{s,t\}$, then $K[X]=\mathbb{Q}[s,t]$ consists of polynomials such as $\frac{1}{2}+5s+t^2+3st$, and $K(X)=\mathbb{Q}(s,t)$ consists of rational functions such as

$$\frac{\frac{1}{2}+5s+t^2+3st}{7-3s^3+4st^2}.$$

- Cauchy functional equation with non choice
- Why are the solutions of polynomial equations so unconstrained over the quaternions?
- “Unsolvable” Equations
- When to use the contrapositive to prove a statment
- About Lusin's condition (N)
- Finding the angle of rotation of an ellipse from its general equation and the other way around
- How to prove $I-BA$ is invertible
- Does $|x|^p$ with $0<p<1$ satisfy the triangle inequality on $\mathbb{R}$?
- Proof Verification: $\lim (a^n + b^n)^{\frac 1 n} = b$ for $ 0 \lt a \le b$
- Putnam and Beyond AM-GM help
- Detail in the proof that sheaf cohomology = singular cohomology
- Looking for a proof of Cleo's result for ${\large\int}_0^\infty\operatorname{Ei}^4(-x)\,dx$
- Learning mathematics as if an absolute beginner?
- Moebius band not homeomorphic to Cylinder.
- Finite sum of reciprocal odd integers