Wiki. 形式邻域 [形式邻域]

定义

仿射概形

仿射概形 $\operatorname{Spec} A$ 的闭子概形 $\operatorname{Spec} (A/I)$ 的形式邻域为 $R$ 关于理想 $I$ 的完备化的形式谱 $$ \operatorname{Spf}(\widehat {R}_I) =\operatorname{colim}_n\operatorname{Spec}(R/I^n). $$