拓扑

主要还是为了使其成为某个拓扑群G的分类空间.

比如我们思考L|F_p上的Galois群作用于自身.若L|F_p有限(可分)，则实际上可以赋予G_L以离散拓扑，因其作用于1即可生成整个G_L.

而当L为代数闭包时，G_L便不再能赋予离散拓扑，如Frobenius同态的不动域即为F_p，然而Frobenius同态并不能生成整个G_L.这是因为G_L作用于1的开邻域，而非1本身，这个过程可以类比成群作用于商掉收敛为一个点的Cauchy列的Cauchy列构成的拓扑空间.此时G_L的分类空间作为F_p上的线性空间就须要赋予与有限可分时不同的拓扑.

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。