Exercise 8, § 13

Let E be an algebraic extension of a commutative field K. Prove that the ring $E\otimes_KE$ is Noetherian if and only if E has finite degree over K (reduce to the case of a purely inseparable extension using the method of Exercise 6, and then apply Exercise 7).