预层
令$X$为一个拓扑空间。一个$X$上的（集合）预层$A$是一个从$X$的开集和包含映射的范畴到集合范畴的逆变函子。 ...
58 次浏览0 个引用
层令$X$为一个拓扑空间。一个$X$上的集合层$\mathcal{F}$是一个集合预层，它满足以下额外特点：给定任意开覆盖$U = \bigcup _{i \in I} U_ i$和任意多的截面$s_ i \in \mathcal{F}(U_ i), i\in I$，使得他们满足对所有$i, j\in ...
42 次浏览1 个引用
局部赋环空间一个局部赋环空间是一个赋环空间$(X, \mathcal{O}_ X)$，使得$\mathcal{O}_ X$的茎都是局部环。 ...
23 次浏览0 个引用
赋环空间一个赋环空间是一个有序对$(X, \mathcal{O}_ X)$，其由一个拓扑空间$X$和一个$X$上的环层$\mathcal{O}_ X$组成。一个赋环空间态射$(X, \mathcal{O}_ X) \to (Y, \mathcal{O}_ Y)$是一个有序对，其由一个连续映射$f : X \ ...
21 次浏览0 个引用
Number theory暂无描述
10 次浏览1 个引用
凸秩令$(\Gamma,\cdot,\leq)$为一个有序阿贝尔群。$\Gamma$的凸秩是$\Gamma$凸子群链长度的上确界。$\Gamma$的一个子群$H$被称为它的凸子群，如果$x\in\Gamma,x'\in H$且$1\geq x\geq x'$，都有$x\in H$。 ...
41 次浏览0 个引用
概形一个概形是一个局部赋环空间，其性质是每个点都有一个开邻域是仿射概形。一个概形态射是一个局部赋环空间态射。概形范畴将被记作$Sch$。 ...
23 次浏览1 个引用
Valuation theory暂无描述
12 次浏览1 个引用
$p$-可除群一个$p$-可除群是一个仿射群概形塔$$G_{1}\subset G_{2}\subset G_{3}\subset G_{4}\subset \cdot\cdot\cdot$$并满足某些额外性质。 ...
49 次浏览1 个引用