The tensor product $F_1 \otimes_F F_2$ is not 0, hence it has a quotient which is a field. This contains the images of both $F_i$.
Angelo
- 27k
- 6
- 92
- 112