Field extensions with(out) a common extension

Question

Let $K$ be a field having two field extensions $L\supseteq K$ and $M\supseteq K$. Does there exist a field $N$ along with embeddings $L\to N$ and $M\to N$, such that the diagram $$ \require{AMScd} \begin{CD} K @>>> L\\ @V V V @VV V\\ M @>>> N \end{CD} $$ is commutative? To put it less formally, do $L$ and $M$ have a common field extension $N$ (with $K$ lying in the intersection)?

If yes, consider this side question (but do leave an answer even if you can only answer the main question!): Does the above property of fields generalise to the following, stronger property? Let $p$ be either $0$ or a prime number. Does there exist a sequence of fields $$ \mathbb F_p = L_0\subseteq L_1\subseteq L_2\subseteq L_3\subseteq L_4\subseteq\cdots$$ (where I use the convention $\mathbb F_0 = \mathbb Q$) such that any field $K$ of characteristic $p$ has an extension field among the $L_\alpha$? This sequence should be understood as enumerated by ordinal numbers. In other words, what I need is a function that assigns to each ordinal number $\alpha$ a field $L_\alpha$ containing all $L_\beta$ with $\beta < \alpha$. (Intuitively, I suspect that this might depend on the Axiom of Choice.)

If the second property holds, it shows that you can essentially only extend a field in one "direction." It also shows that the class (it is obviously not a set) $\mathbb M_p = \bigcup_\alpha L_\alpha$ is a field (class). We can define all the usual field operations (addition, multiplication, division) here since all pairs of elements lie in $L_\alpha$ for a sufficiently large $\alpha$. This "monster field" of characteristic $p$ then contains all other set fields of that characteristic.

Answer 1

I believe the answer to both questions is yes. I will assume we fix one characteristic $p$ (possibly $0$) and stick to it, because there are no morphisms/embeddings between fields of different characteristic.

First note that we may embed every field in an algebraic closure (in fact even in an algebraic closure of the same cardinality if the field is infinite) and restrict ourselves to algebraically closed fields.

One should show the following lemma:

Lemma. If $X,Y$ are algebraically closed fields with transcendence degree $\kappa_X$ and $\kappa_Y$, where $|X|\leq|Y|$ and $\kappa_X \leq \kappa_Y$, then there exists an embedding $X\to Y$.

To see this, adapt the proof of Theorem 1 here. What is different is that the map $f$ from the proof of the theorem is now injective and one needs a theorem that an embedding of fields can be extended to an embedding of their algebraic closures. This is for instance the content of theorem V.2.8 in Lang's Algebra.

With this result it follows easily that both $L$ and $M$ (by assumption algebraically closed) embed into a common algebraically closed field of cardinality $\mathrm{max}(|K|,|L|)$ and transcendence degree $\mathrm{max}(\kappa_K,\kappa_L)$.

For your second question, let $\alpha \geq\omega $ be an ordinal number and define $L_\alpha$ to be an algebraically closed field of cardinality and transcendence degree both equal to $|\alpha|$. (This will certainly exist, for instance the algebraic closure of $\Bbb F_p(\{t_i\mid i\in\alpha\})$. Define $L_\alpha = \mathbb F_p$ if $\alpha < \omega$. Then by the lemma and the observation that the transcendence degree cannot exceed the cardinality of the field, every field of characteristic $p$ must be embedded in one of these fields.

(The situation is in fact simpler if one is willing to apply a result that two algebraically close fields of the same characteristic and the same uncountable cardinality are isomorphic, so you can stop worrying about the transcendence degree in larger fields.)

Finally, all of this (not just the second question) depends heavily on the axiom of choice. Maybe not crucially so (see this MO question) but in the absense of choice and with weaker axioms in place this clearly becomes much harder.

Answer 2

It is not clear what is meant by the question, because it is not clear where $M,L$ live and what it means to have a common extension field. As stated, I would be inclined to say the answer to the question is no, by the following example. Let $K=\Bbb R$, and let inside the quaternions $L=\Bbb C=\Bbb R[\mathbf i]$ and $M=\Bbb R[\mathbf j]$, isomorphic to but distinct from $L$. Then no extension field of $\Bbb R$ can contain both $L$ and $M$, because the polynomial $X^2+1$ would have at least $4$ roots. But of course you can find an extension of $\Bbb R$ that contains subfields isomorphic to $L,M$.

Answer 3

The $K$-algebra $A=L\otimes_K M$ has, like all non-zero rings, a maximal ideal $\mathfrak m\subset A$ .
The quotient algebra $N=A/\mathfrak m $ is then an extension field of both $L$ and $M$, via the composed morphisms $L\to A\to N$ and $M\to A\to N$ .
[Recall that any morphism of rings with source a field is injective.]