关于p进数域极大分圆扩张绝对Galois群的无限拓扑生成性的问询

你好！很高兴能解答你的问题。首先直接给出结论：p进数域的极大分圆扩张的绝对Galois群确实是无限拓扑生成的。

结合你提到的已知背景展开说明：

• 我们已经明确p进数域的绝对Galois群的 wildly ramified 子群是无限拓扑生成的，而对于p进数域$F$的极大分圆扩张$F^{{cyc}$，它的绝对Galois群$G_{F}{cyc}}$有几个关键性质支撑结论：
  • $F^{{cyc}$已经包含了$F$的所有非分歧扩张（因为有限域的任何有限扩张都可通过添加单位根实现），因此$G_{F}{cyc}}$是一个pro-p群——它的所有有限商群都是p群。
  • 这个pro-p群无法被有限个元素拓扑生成：$G_{F^{{cyc}}$对应$F}{cyc}$上所有p幂次分歧扩张，这类扩张存在无限多个“独立”分支，有限生成元无法覆盖全部Galois作用，因此必然是无限拓扑生成的。

从理论依据来看，局部类域论与Iwasawa理论中的相关结果可作为佐证：比如$G_{F^{cyc}}$的有限商群族的性质，以及其同调群的结构，都能说明它不可能是有限拓扑生成的pro-p群。

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