加载中…
Neukirch has developed explicit and axiomatic class field theory, which applies to both local and global fields. One of the key ingredients in his theory is a -extension of the base field, and in the case of , he uses the maximal unramified extension. However has another -extension, which we shall denote by . Thus, it is natural to ask if we could verify all the axioms required by taking as the central object instead. We prove this is possible and the two reciprocity maps induced from the two distinct -extensions are the same.

生成讲解博客的中文版本

生成AI智能校验的中文版本