Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

This question already has an answer here:

For example, $\mathbb N$ is equipotent to $\mathbb Q$ which is a field.

$\mathbb R$ is equipotent to itself, which is a field.

But what about $\mathbb R^{\mathbb R}$, $P(\mathbb R^{\mathbb R})$ etc.?

share|cite|improve this question

marked as duplicate by Najib Idrissi, Henning Makholm, Eric Wofsey, Stefan, hardmath Mar 1 at 2:14

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

Well, $\Bbb R^{\Bbb N}$ is equipotent to $\Bbb R$, so perhaps that's a bad example. – Omnomnomnom Feb 29 at 16:13
@Omnomnomnom thanks – Mageek Feb 29 at 16:15
Also, tip for LaTeXing: \Bbb R gives you $\Bbb R$ – Omnomnomnom Feb 29 at 16:16
Relevant: Fields of arbitrary cardinality. – Alex Provost Feb 29 at 16:17
@MichaelHardy By $\mathbb Q(\omega_1)$ I mean the quotient field of the polynomial ring $\mathbb Q[X_\alpha \mid \alpha < \omega_1]$ with $\omega_1$ many variables. – Stefan Feb 29 at 16:49
up vote 7 down vote accepted

Is it true that for any infinite set $E$, the cardinal of the field $\mathbb Q(E)$ is equal to the cardinal of $E$?

What is $\mathbb Q(E)$?
Here $E$ is considered to be a set of "indeterminates". Or, if that is not convenient, invent a set of indeterminates perhaps with some notation like $X_e$, one for each element $e \in E$. Then $\mathbb Q[E]$ is the set of polynomials in these indeterminates, with coefficients in $\mathbb Q$. (Of course each polynomial involves only finitely many of the elements of $E$.)

So $\mathbb Q(E)$ is a ring. It is an algebra over $\mathbb Q$. It is an integral domain.

And $\mathbb Q(E)$ is the set of rational functions in these indeterminates. In other words, formulas of the type $f/g$, where $f,g \in \mathbb Q[E]$ and $g \ne 0$.

So $\mathbb Q(E)$ is a field. It has the set $E$ (or a set $\{X_e : e \in E\}$ identified with $E$) of mutually algebraically independent elements that generate it (as a field over $\mathbb Q$).

To compute the cardinality of $\mathbb Q(E)$, compute in turn: how many monomials in $E$ are there; how many linear combinations of monomials (i.e. polynomials); how many quotients of those (rational functions).

share|cite|improve this answer
My first reaction was to downvote and flag to delete as "not an answer" (fortunately I withheld both in time). I don't think phrasing your answers as questions is a good idea... – Najib Idrissi Feb 29 at 16:33
I think your answer can be phrased in a "non-rhetorical" fashion. – user2902293 Feb 29 at 16:50
+1 for Socratic Method. – John Feb 29 at 19:03
A remark: This theorem relies on the axiom of choice (in this case, in the cardinal arithmetic needed to establish $|\Bbb Q(E)|=|E|$), and is in fact equivalent to the axiom of choice, since it implies the related theorem that every set is equipotent to a group. – Mario Carneiro Feb 29 at 20:26
So you are saying that not only this proof, but the result itself is equivalent to AC. – GEdgar Feb 29 at 22:46

The field axioms are a countable set over a countable language. Since there is an infinite model of the field axioms, there is (by Lowenheim-Skolem) a model of every infinite cardinality.

share|cite|improve this answer
Note that the cardinal arithmetic required here is the same as that required in GEdgar's (Gregory Grant's) answer, since one can easily see that the size of the model built by adding $κ$ new constants axiomatized to be all distinct is going to be between $κ$ and $|\mathbb{Q}| \cdot κ$. – user21820 Mar 1 at 0:11

For every infinite set $X$ there is a field $\mathbb F$ which is equipotent to $X$. In fact, much more is true. This is an immediate consequence of the Upward Löwenheim-Skolem Theorem. Fix a countable field $K$ (e.g. $\mathbb Q$). By the Löwenheim-Skolem Theorem there is some $\mathbb F$ such that $\mathbb F$ is equipotent to $X$ and $K \prec \mathbb F$. This implies that $K$ and $\mathbb F$ have the same theory and since $K$ is a field, $\mathbb F$ is a field as well.

share|cite|improve this answer

I think this answer by Gregory Grant is in some ways better than any relying on the Löwenheim–Skolem theorem, since it gives an explicit construction of a field of arbitrary infinite cardinality.

share|cite|improve this answer
While this link may answer the question, it is better to include the essential parts of the answer here and provide the link for reference. Link-only answers can become invalid if the linked page changes. - From Review – Jonas Mar 1 at 1:58
Since this link refers to a post on math.stackexchange, I don't think that the "This is a link-only answer" argument for closure applies as it will (most likely) remain accessible. – Stefan Mar 1 at 2:07

Not the answer you're looking for? Browse other questions tagged or ask your own question.