“回到分圆 zp扩张的情形. kn的理想类群是有限交换群，记其 p部分是an.一方面，由于它是p阶群，有zp的作用;而另一方面 kn/k的伽罗瓦群作用在它上面，故 an是环 zp[gn]的有限模.由于 kn+1到 kn有自然的映射，我们可以得到 an+1到 an的自然映射.”“从ch(a)= ch(e/c).可以看出， a说明的是数域的理想类群，是一个纯粹的代数对象.而分圆单位本质上是一个解析对象。”
“从这个角度来看，想要用一个合适的伽罗德域作为有限交换群，进而等同代数和p进数恐怕是一件很难的事情。”
闻言，陶哲轩陷入了沉思中，半响后才道：“但域群的有限扩张应该可以解决这个问题，这可以利用舒尔茨教授的类似完备空间理论，这套理论能做到将局部域上的算术问题简化表示为特定的特征及特征域的组合”
徐川耸了耸肩，道：“抱歉，这方面我就不清楚了，舒尔茨教授的‘p·s进域-几何理论’我并不熟悉，不然今天我也不会坐到这里学习了。”
这方面他的确不熟悉，p·s进域-几何理论是代数与几何方面的东西，而p进数更是纯数论方面的，上辈子他基本没多少了解，刚刚他说的这些东西还是过年之前学些域扩张时了解的一些知识。
听到这话，陶哲轩才猛然惊醒过来：“哦，我差点忘了伱今年才上大一，舒尔茨教授的类似完备空间理论对于大学生来说的确有点难懂。”
“不过你的学识真是让我吃惊，没想到除了谱渐近和具分形边界连通区域外，你对在群环和有限域上的理解也这么深刻。”
“你真的是一名还在读本科的大学生吗？或许你在未来可以更多的尝试深入了解一下这方面的内容。”
徐川笑了笑，道：“我正在这么做。”
闻言，陶哲轩感叹道：“看来在不久的将来，我们又将迎来一名数学界的新星。”
顿了顿，陶哲轩又接着道：“徐，不如你来加州大学读博如何？关于岩泽理论的主猜想我这边有一些思路，如果你感兴趣的话，我们可以一起来解决这个问题。”
“关于群域这方面的东西，我需要一个人帮助，你很合适，而且我们交流和愉快不是吗？”
一旁，一名来自阿根廷的数学教授一脸懵逼的看着陶哲轩和徐川。
