Tensor product of fields may not be a field

Solution 1:

Given any proper field extension $K \subset L$, the tensor product $L \otimes_K L$ is never a field, because the kernel of the multiplication map $L \otimes_K L \to L$ is a nonzero proper ideal.