Wiki. 局部环化空间 [局部环化空间]

定义

局部环化空间是指每个茎为局部环的环化空间.

使用环化意象的语言, 局部环化空间是一个环化意象 $(\mathcal E,R)$, 使得 $R$ 在 $\mathcal E$ 的内语言中是局部环 (注意内语言中的局部环不用极大理想定义, 而是用可逆元定义).