2
$\begingroup$

I have been thinking on the following for a while and can't seem to crack it.

Let $F, F_1, F_2$ be function fields of one variable over a fixed perfect field, $F_i$ contain $F$, and $P_1, P_2$ are places of $F_1,F_2$ such that $P_1\cap F=P_2\cap F$. Also, assume $[F_1F_2:F_2]=[F_1:F]$. Show that there is a place of $F_1F_2$ above $P_1$ and $P_2$.

If $F_1F_2/F$ isn't separable we can first prove for the separable part, and then there is a unique lift to $F_1F_2$. So, assume everything is separable.

  • 0
    of $F_1$ and $F_2$ into $\overline{{\mathbf Q}_{41}}$ can't possibly all be compatible with each other because that would provide us with 8 embeddings of $F_1F_2$ into $\overline{{\mathbf Q}_{41}}$, but there are only 4 such embeddings because there are only 4 primes over 41 in $F_1F_2$.2012-04-15

0 Answers 0