数环扩张中素理想“split（分裂）”的精确定义及标准化含义问询

嘿，这个问题问到点子上了——代数数论里的术语有时候确实会因为不同文献的习惯产生混淆，尤其是素理想分解这块！

先给你梳理下两种常见的语境，以及现在主流的标准化定义：

• 宽泛语境（较少用）：有些早期文献会把“split”作为“inert（惰性）”的对立面，意思是只要素理想在扩张中不是保持素理想不变（也就是分解成了多个因子，不管是否分歧），都统称为split。这种情况下，split包含了分歧（ramified）和非分歧的多因子分解。
• 主流标准化定义（现在大部分教材采用）：“split”特指素理想在扩张中分解成至少两个不同的素理想因子。具体来说，假设我们有数环$\mathcal{O}_L$到$\mathcal{O}_K$的扩张，素理想$\mathfrak{p} \subset \mathcal{O}_L$，它在$\mathcal{O}_K$中的分解式为：
  $\mathfrak{p}\mathcal{O}_K = \mathfrak{P}_1^{e_1}\mathfrak{P}_2^{e_2}\dots\mathfrak{P}_g^{e_g}$
  当$g \geq 2$（也就是至少有两个不同的素理想$\mathfrak{P}_i$）时，我们就说$\mathfrak{p}$在$K/L$中split。这里不管指数$e_i$是否大于1（也就是不管是否分歧）——比如一个素理想分解成两个不同的分歧素理想，它依然属于split的范畴，只是同时是ramified的。

你编辑里提到的“at least two distinct factors”，其实正好对应这个主流的标准化定义。不过要注意少数例外：有些教材会把split限定为非分歧的多因子分解（也就是$g \geq 2$且所有$e_i=1$），这时候他们会把分歧且多因子的情况单独称为“ramified split”或者其他表述。但这种情况现在已经比较少见了，大部分现代代数数论教材（比如Neukirch的《Algebraic Number Theory》、Lang的《Algebraic Number Theory》）都采用“只要因子数≥2且不同就算split”的定义。

总结一下：如果你是看现代主流教材，“split”的核心就是分解为至少两个不同的素理想因子，和是否分歧无关；只有当明确提到“split completely”或者“unramified split”时，才特指非分歧且每个因子的指数都是1的情况。

备注：内容来源于stack exchange，提问作者Jacob Lewis