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

定义

局部环化空间是茎为局部环的赋环空间.

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