When is a tensor product of two commutative rings noetherian?

In particular, I'm told if $k$ is commutative (ring), $R$ and $S$ are commutative $k$-algebras such that $R$ is noetherian, and $S$ is a finitely generated $k$-algebra, then the tensor product $R\otimes_k S$ of $R$ and $S$ over $k$ is a noetherian ring.

Even for algebras over finite fields, “tensor products of Noetherian rings are Noetherian” may fail dramatically. Assume for example that $K=F((x_i)_{i \in B})$ is a function field. When $B$ is finite, then $K \otimes_F K$ is a localization of $F[(x_i)_{i \in B}, (x'_i)_{i \in B}]$, thus noetherian. Now assume that $B$ is infinite. Then $\Omega^1_{K/F}$ has dimension $|B|$. Since it is isomorphic to $I/I^2$, where $I$ is the kernel of the multiplication map $K \otimes_F K \to K, x \otimes y \mapsto x \cdot y$, it follows that $I$ is not finitely generated, hence $K \otimes_F K$ is not noetherian.

The general case treated in the following paper:

P. Vámos, On the minimal prime ideals of a tensor product of two fields, Mathematical Proceedings of the Cambridge Philosophical Society, 84 (1978), pp. 25-35

Here is a selection of some results of that paper: Let $K,L$ be extensions of a field $F$.

• If $K$ is a finitely generated field extension of $F$, then $K \otimes_F L$ is noetherian.
• If $K,L \subseteq F^{\mathrm{alg}}$ are separable algebraic extensions of $F$, and $L$ is normal, then $K \otimes_F L$ is noetherian iff $K \otimes_F L$ is a finite product of fields iff $[K \cap L : F] < \infty$.
• If there is an extension $M$ of $F$ which sits inside $K$ and $L$, which has a strictly ascending chain of intermediate fields, then $K \otimes_F L$ is not noetherian.
• If $K \otimes_F L$ is noetherian, then $\min(\mathrm{tr.deg}_F(K),\mathrm{tr.deg}_F(L)) < \infty$.
• $K \otimes_F K$ is noetherian iff the ascending chain condition holds for intermediate fields of $K/F$ iff $K$ is a finitely generated field extension of $F$.

If $S$ is finitely generated as a $k$-algebra, we can write $S\cong k[x_1,\ldots,x_n]/I$ for some $n\in\mathbb{N}$ and some ideal $I$. It follows that $$ R\otimes_kS\cong R\otimes_k(k[x_1,\ldots,x_n]/I)\cong R[x_1,\ldots,x_n]/I $$ Since $R$ is noetherian, it follows from Hilbert's basis theorem that $R[x_1,\ldots,x_n]$ is noetherian. Finally, homomorphic images of noetherian rings are noetherian, so that $R[x_1,\ldots,x_n]/I$ is noetherian.