The basic result which we want to put into a larger context...
---- 拟将某个基本结果置于更大的上下文中...
.
...is the following canonical isomorphism of Galois groups, due to Fontaine and Wintenberger, [13].
---- 即如下的 Galois 群之规范同构.
---- 最初由 Fontaine 和 Wintenberger 提出,参[13].
.
评论:此文引用了33篇文献,其中引言部分出现18篇.
---- 此处[13]是原作引用的第一篇文献.
---- 该是起到了 “种子” 的作用.
.
A special case is the following result.
---- 马上将给出一个特例。
.
Theorem 1.1. The absolute Galois groups of Qp(p^δ) and lFp((t)) are canonically isomorphic.
注:δ=1/p^∞ (修改了原作的记号).
---- 大意是,谁和谁怎么地同构.
---- 提到了 Galois群,还有两个怪模样的符号.
---- "isomorphic" 同构,也就是一一映射.
---- "canonically " (副词先忽略它).
.
评论:Qp(p^δ) 和 lFp((t)) 之前没见过.
---- 这种情况下,认住大模样即可.
---- 暂时缩写为 Qp(·) 和 lFp(·).
---- 甚至略写为 Qp 和 lFp.
(心里知道还有别的零碎即可).
.
疑问:Qp 和 lFp 是什么?
---- 万能回答:它们是两个对象.
---- 而数学中只有两样东西:集合, 映射.
---- 我猜 Qp 和 lFp 都是映射.
---- 因为只有映射类的对象才会构成群.
.
加评:按照字面意思,Qp 和 lFp 有各自的 “绝对Galois群”,暂时记作 {Qp } 和 {lFp}.
---- 定理是说 {Qp } 和 {lFp} 同构,规范地.
---- 怎么个“规范地”?(待考).
.
疑问:什么是 “绝对Galois群” ?
---- 暂时当作某种集合.
.
小结:关于(绝对)Galois群的规范同构. 遇见了Qp(p^δ) 和 lFp((t)),记住大模样 Qp 和 lFp.