习题 3, § 13

令K为交换域，令A和B为单K-代数。假设 A 的有限秩大于其中心 Z，Z 是 K 的代数扩张，并且 K-代数 B 绝对没有根式 (习题 1)。证明环 $A\otimes_KB$ 绝对平坦（VIII、p. 171、习题 27；观察$A\otimes_KB$ 属于的每元素到形式 $A_1\otimes_KB$ 的子代数，其中$A_1$ 是有限秩中的单代数超过 K）。