形式概型与无穷小邻域

本文旨在给出环关于一个理想完备化的严格几何解释。为此,我们将形式概型的浸入的无穷小邻域定义为最大可能的加厚。进一步,我们证明局部为形式有限呈现的形式概型浸入存在无穷小邻域,其在局部上由关于一个理想的完备化给出。