>>640
代数閉体k上の整域のk上のテンソル積はまた整域になるが
(Zariski-Samuel,1,Ch3§15)
非常に特別なケースだ