Wiki. “非分歧的局部环同态” [非分歧的局部环同态]

定义

称局部环同态 $f\colon A\to B$ 非分歧是指如下等价的条件之一成立:

• $B/f(\mathfrak m_A)B$ 是 $A/\mathfrak m_A$ 的有限可分扩域;
• $f(\mathfrak m_A)B=\mathfrak m_B$, 且 $B/\mathfrak m_B$ 是 $A/\mathfrak m_A$ 的有限可分扩域.

相关概念

非分歧概形态射