习题 3, § 7

标签 06L6，永久不变。引用为 [Bourbaki, Tag 06L6]。

代数, V, p. 152

Google 翻译生成的粗略草稿，质量较低。术语依照术语表，但句子可能有误；之后会由仔细的译文取代。

令 K 为特征 p > 0 的域，K、E 的有限次数的 E 扩张，以及 E_s 最大的 p 根式扩展和 E 中包含的 K 的可分扩张。证明 E，\otimes_K E，与 E 中的相对可分闭包同构，将用它来识别；如果它不等于E，则E是E的例外扩张，并且E，\otimes_K E，是E的强可分扩张。

相反，令 E 为域 L 的例外扩张，令 K 为 L 的子域，使得 L 是 K 上的 p 根式，并且 [L:K] < +\infty；那么 L 是 E 中包含的 K 的最大的 p 根扩展。

解答

尚未写出解答。

被以下引用

无。

无。