群的反向极限中的共轭子群相关技术问题咨询

好的，咱们来拆解这个关于有限群反向极限里共轭子群的问题——结合你给出的满射转移映射、相容子群系统的前提，我整理了几个关键的性质和结论：

首先明确一下给定的条件，避免理解偏差：

• 我们有有限群的反向系统$(G_i){i\in I}$，所有转移映射$p{ji}: G_i \to G_j$（当$i\to j$时）都是满射；
• 子群系统$(H_i){i\in I}$和$(G_i)$完全相容：对任意转移映射，包含映射$H_i\hookrightarrow G_i$、$H_j\hookrightarrow G_j$与转移映射交换，也就是$p{ji}(H_i)=H_j$，而且这个限制在$H_i$上的转移映射也必然是满射（因为原转移映射是满射，且交换图要求像落在$H_j$里）。

因为$\varprojlim G_i$是投射有限群（profinite group），它的结构完全由有限层的$G_i$及其转移映射决定，共轭性也不例外：

• 有限层的共轭见证会传递到极限层：假设$K, L$是$\varprojlim G_i$中的子群，且在极限中共轭（存在$g\in\varprojlim G_i$使得$gKg^{-1}=L$），那么对几乎所有指标$i\in I$（也就是存在某个$i_0$，当$i\geq i_0$时），$K$在$G_i$上的投影$K_i=p_i(K)$和$L$的投影$L_i=p_i(L)$在$G_i$中是共轭的。反过来，如果每个$K_i$和$L_i$在$G_i$中共轭，且这些共轭元能构成反向系统（即存在$g_i\in G_i$满足$g_iK_ig_i^{-1}=L_i$，且$p_{ji}(g_i)=g_j$对所有$i\to j$），那么这些$g_i$的极限元$g=(g_i)$就能把$K$共轭到$L$。
• 闭子群的共轭性等价于有限层的相容共轭：$\varprojlim G_i$的拓扑是有限离散群乘积拓扑的子空间拓扑，闭子群是最常见的研究对象（比如$\varprojlim H_i$就是闭子群）。对于两个闭子群$K, L\leq \varprojlim G_i$，$K$和$L$共轭当且仅当：存在一个共尾的指标子集$J\subset I$，对每个$j\in J$，$K_j$和$L_j$在$G_j$中共轭，且这些共轭元可以相容地向上提升（也就是构成反向系统）。

记$H=\varprojlim H_i$，它是$\varprojlim G_i$的闭子群，我们来梳理它和其他子群的共轭情况：

• 共轭子群对应有限层的共轭子群系统：如果$H$和某个子群$K\leq \varprojlim G_i$共轭（存在$g\in\varprojlim G_i$使得$gHg^{-1}=K$），那么$K$一定是$\varprojlim g_iH_ig_i^{{-1}$，其中$g=(g_i)$，而且每个$g_iH_ig_i}{-1}$都是$G_i$的子群，这个新的子群系统也和$(G_i)$构成相容的反向系统。
• 正规性的等价刻画：$H$在$\varprojlim G_i$中正规，当且仅当每个$H_i$在对应的$G_i$中正规。这是反向极限的经典性质：如果$H\triangleleft \varprojlim G_i$，那么每个投影$p_i(H)=H_i$是$G_i$的正规子群（因为满同态会保持正规性）；反过来，如果每个$H_i\triangleleft G_i$，那么对任意$g\in\varprojlim G_i$，$gHg^{{-1}$的第$i$层是$g_iH_ig_i}{-1}=H_i$，所以$gHg^{-1}=H$，即$H$正规。
• 共轭的障碍来自有限层的不变量：如果存在某个指标$i$，使得$H_i$在$G_i$中不与某个子群$K_i$共轭，那么对应的极限子群$K=\varprojlim K_i$（假设$K_i$构成相容系统）绝对不可能与$H$共轭。反过来，如果所有$H_i$在$G_i$中的共轭类能“相容选择”——也就是存在$g_i\in G_i$满足$g_iH_ig_i^{-1}=K_i$，且$p_{ji}(g_i)=g_j$对所有$i\to j$——那么$H$和$K$在极限中共轭。
• 满射转移映射带来的提升优势：因为所有转移映射都是满射，所以如果在某个指标$j$，$H_j$和$K_j$共轭，那么对任意$i\geq j$，我们总能把$G_j$中的共轭元$g_j$提升到$G_i$中的$g_i$，使得$g_iH_ig_i^{-1}=K_i$。这意味着共轭性在指标集上是“向上保持”的，不会出现低层共轭但高层突然不共轭的情况。

内容的提问来源于stack exchange，提问作者asdq