习题 4, § 3

设 B 为 B 的整环，A 子环。假设 B 存在 $n \geq 1$ 元素 $t_1, \ldots, t_n$，它们在代数上独立于 A，且 B 在 $A[t_1, \ldots, t_n]$ 上积分。令$n$为B和$p = n \cap A$的最大理想。那么$n$中包含B的素理想q，与$n$和包含$p$不同。 （约化首先考虑A整闭的情况，考虑A的整闭A'（包含在B的分数的域中）和环$B' = B[A']$；在A整闭的情况下，使用§ 2, no. 4的定理3。）