李毅伟
头脑中没有作品,好比飞机没有航向。
2019-4-21 20:19
阅读:559

 

······

大学的问题在于,它尚未成为单纯的学习场地,

课堂教学与学习无关。教科书与学习无关。学

的真正起点应该是进入作品。头脑中没有作品,

好比飞机没有航向。

······

调整了边框的宽度.

* * *

 

学习笔记(接前)。引言部分,1.3。

The theorem above generalizes to the following result.

---- 定理1.1推广为如下结果.

.

Theorem 1.3. The absolute Galois groups of K and K are canonically isomorphic.

---- 简记 {K} {K}.

---- 群的元素都是映射. 若由集合产生出群,则必然先产生(可逆)映射.

评论:后文似乎未给出明显的证明.(直接推广了?)

.

Our aim is to generalize this to a comparison of geometric objects over K with geometric objects over K.

---- 目的是将此推广,用于比较两个完域上的几何对象.

.

The basic claim is the following.

---- 基本结果如下.

---- (待续).

.

小结:表述定理 {K} {K},此处已经是完域了.


符号大全上下标.|| 常用:↑↓→← ∞π ΓΔΛΘΩμφΣ∈∉∪∩⊆⊇⊂⊃≤≥⌊ ⌋ ⌈ ⌉≠⁻⁰¹²³ᵈ ₀₁₂₃ᵢ

*

温习:定义1.2.(完域)

1. 完域:ndv(1)~K~(Φ)=K/p.

注:(·)标识值域. “·”标识映射. Φ 系 Frobenius. K是有界幂元.

---- 完全拓扑域带两个约束.

---- 其一,指定某种拓扑;其二,引入某类映射.

.

2. K(p) 关联到 K,其可乘幺半群为 K = lim<K (x x^p).

---- 方法:Fontaine 构造.

.

评论:此定义涉及到若干对象,其功用待考。


浓缩:

---- K°/p  K°/p.(para.3a)

---- K = lim<K, x x^p.(para.3b)

----  (x)d --> (x#)d

........分裂域 

      [K] ~>  [K]c

注: x:=akn.(para.3c)

转载本文请联系原作者获取授权,同时请注明本文来自李毅伟科学网博客。

链接地址:http://wap.sciencenet.cn/blog-315774-1174703.html?mobile=1

收藏

分享到:

当前推荐数:3
推荐人:
推荐到博客首页
网友评论0 条评论
确定删除指定的回复吗?
确定删除本博文吗?