Fields of arbitrary cardinality

Let $F$ be a finite field, and $X$ an infinite set, let $\hat X$ be the set of all finite strings of things in $X$ where two strings are equal if they differ only by their order (e.g. $x_1x_3x_2=x_1x_2x_3$). Then let $A$ be the set of formal sums $\{\sum_{i=1}^n f_ix_i\mid n\in\Bbb N,\ f_i\in F\ \forall i,\ x_i\in \hat X\ \forall i\}$. Then $A$ is a (commutative) ring and its field of fractions is a field with cardinality equal to $X$.


On the question of whether choice is required: as Gregory Grant's answer shows, the following is a theorem of ZF:

$$\text{Suppose $\kappa$ is a cardinality. Then there is a field $F$ with $\vert F\vert \ge \kappa$ - in particular, $\kappa$ injects into $F$.}$$

Moreover, if $\kappa$ is equinumerous with $\kappa^{<\omega}$ (the cardinality of finite sequences from $\kappa$), $\vert F\vert=\kappa$.

What if we drop the hypothesis $\kappa=\kappa^{<\omega}$? Well, the only well-orderable cardinalities which don't satisfy this are the finite ones, so for well-orderable cardinalities nothing changes. Moreover, it is consistent that there are sets which are not well-orderable but are in bijection with their finite sequences - for example, $\mathbb{R}$. So this applies to a broader class of cardinalities than just the well-orderable ones.

NOTE: this is different from saying that the global theorem doesn't imply AC. There are principles which don't imply AC "locally" but do "globally" - for example, GCH (http://math.bu.edu/people/aki/7.pdf) for which as far as I know the question of "local implication" is still open. Still, I suspect that the statement is strictly weaker than choice.

However, it is consistent that there are sets which are infinite but not in bijection with their set of finite sequences. A strong example of such a set is an amorphous set - this is a set which cannot be written as the disjoint union of two infinite sets.

This leads to a really interesting question:

Is it consistent with $ZF$ that there is a field of amorphous cardinality?

In general, the question of what structure amorphous sets can have has been thoroughly studied on the combinatorial side; see the answers to https://mathoverflow.net/questions/86654/what-sort-of-structure-can-amorphous-sets-support. However, on the algebraic and model-theoretic side much less is known; the only paper I'm aware of is http://www.researchgate.net/profile/Agatha_Walczak-Typke/publication/38338949_The_first-order_structure_of_weakly_Dedekind-finite_sets/links/0c960524ac2860b857000000.pdf.

However, this paper proves a remarkable result: among other things, it shows that a complete theory with no finite models has an amorphous model if and only if it is $\aleph_0$-categorical (exactly one countably infinite theory up to isomorphism) and strongly minimal (in every model of the theory, every set which is definable from parameters is either finite or co-finite). So the above question boils down to:

Is there a theory, extending the theory of infinite fields, which is $\aleph_0$-categorical and strongly minimal?

I believe the answer is "yes," but I don't know.

EDIT: Some partial results:

  • Say an amorphous set $A$ is bounded if there is some $n$ such that, given any partition of $A$ into infinitely many nonempty pieces, each piece has size $<n$. Then no bounded amorphous set can carry a group structure, let alone a field, by a simple coset argument.

  • Meanwhile, there are unbounded amorphous sets with group structures: indeed there can be amorphous vector spaces! (Over a finite field, of course.) Axiom of choice and automorphisms of vector spaces


There are of course analogous questions for other finite-ish cardinalities (generally called "Dedekind-finite").


The claim that there are fields of every infinite cardinality depends essentially on "choicy methods".

Without the Axiom of Choice, it is consistent that there may exist an amorphous set, that is, an infinite set that does not have two disjoint infinite subsets. Such a set cannot be given a field structure.

An amorphous field cannot contain any nonzero element of infinite multiplicative order, because the odd and even powers of such an element would be two disjoint infinite subsets of the field.

On the other hand if every nonzero element has finite order, then the field is a countable disjoint union of finite sets: $$ F = \bigcup_{n\in\mathbb N}\{ x\in F \mid x\text{ has order }n \}$$ (because a field has at most $n$ elements of order $n$), and a countable disjoint union of finite sets cannot be amorphous.


This approach was suggested by Noah Schweber's answer.