Isomorphism of tensor product+field extension Let $k$ be a field, $f(x)\in k[x]$ be an irreducible polynomial over $k$, and $\alpha$ be a root of $f$. If $L$ is a field extension to $k$, what does $k(\alpha)\otimes_k L$ isomorphic to? 
I'm trying to use the fact that $k(\alpha)\otimes_k L$ isomorphic to $k[x]/(f(x))\otimes_k L$ to drive some formulas, but I get struck at the beginning. Any help?
 A: I'll give you a hint. So, you have the exact sequence
$$0\to (f(x))\xrightarrow{i} k[x]\xrightarrow{\pi} k(\alpha)\to0$$
Tensoring you get the exact sequence
$$L\otimes_k (f(x))\xrightarrow{1\otimes i} L\otimes_k k[x]\xrightarrow{1\otimes \pi} L\otimes_k k(\alpha)\to0$$
Thus, $L\otimes_k k(\alpha)\cong (L\otimes_k k[x])/\ker(1\otimes \pi)$. But, by exactness $\ker(1\otimes \pi)=\text{im}(1\otimes i)$. It's trivial that $L\otimes_k k[x]=L[x]$ and that when you consider this isomorphism one finds that $\text{im}(1\otimes i)=(f(x))$. 
I leave the rest to you.
A: Following Alex's hint, you can prove a more general statement: let $\phi \colon A \to B$ be a ring homomorphism and let $I \subseteq A[x_1, \dots, x_n]$ be the ideal generated by the polynomials $f_1, \dots, f_r \in A[x_1, \dots, x_r]$. Then
$$
\frac{A[x_1, \dots, x_n]}{I} \otimes_A B \simeq \frac{B[x_1, \dots, x_n]}{(\bar{f_1}, \dots, \bar{f_r})},
$$
where $\bar{f_i} \in B[x_1, \dots, x_n ]$ is the image of $f_i$ after $\phi$.
A once more general statement is the following: if $R \to S$ is a ring homomorphism and $I \subseteq R$ is an ideal, then
$$
\frac{R}{I} \otimes_R S \simeq \frac{S}{IS}.
$$
