1. 概述 于 Galois 理论 中, 不动域 是被一族域自同构逐点固定的元素组成的子域. 它把 Galois 群的子群反向转换为中间域. 2. 定义 定义 1 (不动域) 设 为 域扩张, 为 子群. 称集合： 对所有 为 在 中的 不动域. 记号 2 (不动域) 不动域 记为 . 3. 例子 例子 3 (复共轭的不动域) 复数 域 中复共轭生成的子群的不动域是 实数 域 . 4. 相关性质 命题 4 (不动域是中间域) 若 , 则其 不动域 满足 . 证明 5 (不动域是中间域) 每个 固定 , 故 . 自同构保持四则运算, 因而共同不动元素对加减乘除封闭. 5. 相关概念 Galois 群 Galois 对应 子群 中间域 6. 术语翻译 中文英文不动域fixed field