Inertia group(惯性群):在代数数论与伽罗瓦理论中,给定一个素理想(或赋值)在扩张中的分解情形时,分解群(decomposition group)里的一个子群;它刻画“不改变剩余域、但可能引起分歧(ramification)”的自同构。常记作 \(I(\mathfrak{P}|\mathfrak{p})\) 或 \(I\)。
/ɪˈnɜːrʃə ɡruːp/
The inertia group measures ramification at a prime.
惯性群用来衡量某个素处的分歧情况。
In a Galois extension of local fields, the inertia group is the subgroup of the decomposition group that acts trivially on the residue field, and its filtration encodes wild ramification.
在局部域的伽罗瓦扩张中,惯性群是分解群中对剩余域作用平凡的子群,而其滤过结构刻画了野分歧。
inertia 源自拉丁语 inertia(“无活动、迟钝”),在数学语境里引申为“对某种变化不产生影响/保持不变”。group 来自近代欧洲语言中对“群”的用法,后成为抽象代数的核心术语。inertia group 作为术语出现在代数数论发展过程中,用“inertia(不动/保持)”来强调该子群对剩余域保持不变的特征。