From: Rupert on
Suppose that k is a field and that k' and F are extensions of k. Does
anyone know where I can read the proof that, in the tensor product
over k of F with k', prime ideals are minimal?
From: Hagen on
> Suppose that k is a field and that k' and F are
> extensions of k. Does
> anyone know where I can read the proof that, in the
> tensor product
> over k of F with k', prime ideals are minimal?

This statement is not true: the tensor product of two
rational function fields in one variable over k is
a domain but not a field. Hence there exist non-minimal
prime ideals.

H