# Is Every Set Fieldable?

This is the first in a hopefully long series on some of the most
absolutely stupid questions I came across while studying mathematics.
The idea is presenting a stupid toy problem, the context behind it and
how I came across a solution. My expectation is that none of the
questions posed in this series will be of any significance. The first
question we will explore is set-theoretic in nature (because of course):
can every *infinite* set be endowed with the structure of a
field? In other words, given an infinite cardinal number
$\kappa$, are there fields of cardinality
$\kappa$?

Notice that the statement is clearly false for finite sets. It is a well known fact that all finite fields are finite extensions of the fields of prime order $\mathbb{F}_p = \mathbb{Z} / p \mathbb{Z}$. In particular, the order of a finite field must be a prime power.

I first asked myself a similar question while trying to apply a result
from Group Theory to an unrelated problem. Specifically, I unfortunately
found myself in the position of trying to apply a theorem about groups
to a set
$X$
which did not posses a natural group structure. The question then
becomes natural: does
$X$
have *any* group structure at all? Using
Cantor’s normal form
I was able to show that
$X$
is in bijection with the additive group of a certain commutative ring
$A$. If we fix a bijection
$X \rightarrow A$
we can thus endow
$X$
with the structure of an Abelian group by declaring that this bijection
is actually a group isomorphism.

In fact, the same argument goes to show that every infinite set can be endowed with the structure of a commutative ring! Unfortunately this argument falls short of a proof of our statement about fields, since the ring $A$ I constructed turned out to contain divisors of zero. The question then came: can I somehow improve this proof to account for fields? Coming up with an answer required me to develop a new method, which I would now like to share. Explicitly, we will show that, given a cardinal $\kappa$, the field

of rational functions in $\kappa$ variables is in bijection with $\kappa$.

To be clear, the fact that there are fields of cardinality $\kappa$ is an immediate corollary of the Löwenheim–Skolem theorem, but we will alternatively present a constructive proof. As it turns out, much of the delicacies of this proof come down to one of the many pathologies of cardinal arithmetics. Specifically, throughout this article we will use the the fact that, given two infinite cardinals $\kappa$ and $\lambda$, $\kappa \cdot \lambda = \text{max} \left ( \kappa , \lambda \right )$. Our proof has two primary steps, the first of which consists of showing that…

## Taking the polynomial ring doesn’t change the cardinality

Denote by $\mathbb{Q} \left [ \kappa \right ]$ the ring of rational polynomials in $\kappa$ variables $x_\alpha$, $\alpha < \kappa$. We want to establish $\left | \mathbb{Q} \left [ \kappa \right ] \right | = \kappa$. Clearly $\kappa \le \left | \mathbb{Q} \left [ \kappa \right ] \right |$. Indeed, there is a natural injection

The challenge thus is showing that $\left | \mathbb{Q} \left [ \kappa \right ] \right |$ is no larger than $\kappa$ itself. We start by bounding the cardinality of the set of monomials in the variables $x_\alpha$. Given a non-negative integer $n$, there is a canonical surjection

Hence $\# \{ \text{monomials in } x_\alpha \text{ of degree } n \} \le |\kappa^n| = \kappa$. Since the union of countably many sets of size $\kappa$ has size no larger than $\kappa$, this implies

By the same token, it follows from the fact $\mathbb{Q}$ is countable that $\mathbb{Q} \left [ \kappa \right ]$, the set of rational combinations of the monomials in the variables $x_\alpha$, has cardinality $\kappa$. Next we show that formally inverting polynomials does not change the cardinality of our rings. In other words…

## Taking the field of fractions doesn’t change the cardinality

Let $\mathbb{Q} \left ( \kappa \right ) = \text{Frac} \left ( \mathbb{Q} \left [ \kappa \right ] \right )$ be the field of rational functions in the variables $x_\alpha$, $\alpha < \kappa$. We want to establish that $\left | \mathbb{Q} \left ( \kappa \right ) \right | = \left | \mathbb{Q} \left [ \kappa \right ] \right | = \kappa$. Once again, it is already clear that $\kappa \le \left | \mathbb{Q} \left ( \kappa \right ) \right |$. Indeed, there is a canonical injection

given by the composition of the canonical injection $\kappa \rightarrow \mathbb{Q} \left [ \kappa \right ]$ with the inclusion $\mathbb{Q} \left [ \kappa \right ] \rightarrow \mathbb{Q} \left ( \kappa \right )$.

On the other hand, there is a surjection

and therefore $\left | \mathbb{Q} \left ( \kappa \right ) \right | \le \left | \mathbb{Q} \left [ \kappa \right ] \times \left ( \mathbb{Q} \left [ \kappa \right ] \setminus \{ 0 \} \right ) \right | = \kappa^2 = \kappa$. It thus follows from the Cantor-Bernstein theorem that $\left | \mathbb{Q} \left ( \kappa \right ) \right |$ is precisely $\kappa$.

This concludes our proof. I would like to point out that this proof
also works for constructing fields of positive characteristic. Indeed,
if we take
${\mathbb{F}}_p \left ( \kappa \right )$
instead of
$\mathbb{Q} \left ( \kappa \right )$, the exact same argument show that
$\left | {\mathbb{F}}_p \left ( \kappa \right ) \right | =
\kappa$. In addition, I am strongly convinced that similar methods can be
used to show that every infinite set can be endowed with the structure
of a *algebraically closed* field — of
arbitrary characteristic!

On the other hand, I should note that most of what we discussed is nonsense unless we work under the assumption of the axiom of choice, for if the axiom of choice does not hold we can find a set $X$ which does not have a cardinal. I’m not entirely sure of whether or not I expect our result holds without the assumption of the axiom of choice, but I am inclined towards trying to disprove it. I’ll leave that for another post though. See you then!