Tensor Product of Fields is a Field

337 Views Asked by At

I have two questions about a construction introduced in Szamuely's "Galois Groups and Fundamental Groups" in the excerpt below (see page 122):

enter image description here

We fix an integral proper normal curve $X$ over a field $k$. We consider it's function field $K$ which is a finite extension of $k(t)$ and take an arbitrary field extension $L \vert k$.

The point of interest is the resulting tensor product $K \otimes L$. We know that $K \otimes L$ is finite dimensional $L(t)$-algebra.

Following two questions:

  1. Assume $K \otimes L$ is a finite direct product of fields $L_i$. Why these fields are finitely generated (as $L$-modules)?

  2. Assume non $k$ is algebraically closed. Why is $K \otimes L$ then a field?

  3. 1.