习题 4, § 14

令 K 为与恒等式不同的 K 的交换域、$\sigma$ 自同构，且 D 域 $K((X))_{\sigma}$ (VIII, p. 19, 习题 21, e))。令 $\tau$ 为与 $\sigma$ 交换的 K 的自同构。证明存在唯一的 D 扩展 $\tau$ 并固定 X 的自同构。推导域自同构的例修复中心且不是内部。