问询Lorenzini算术几何引理III.3.6的证明关键步骤

嘿，我太懂啃这种硬核算术几何教材卡壳一周的滋味了！先把引理原文明确下：

设$A$为交换环，$m\subset A$为极大理想。若$D\subset A\backslash m$是乘法集，则域$A/m$与$D^{-1}A/D{-1}m$同构。

你想确认的证明关键步骤确实可以拆解成两大核心部分：

• 第一步：证明D⁻¹m是D⁻¹A的极大理想
  这里要用到局部化理想与原环理想的对应关系：假设D⁻¹A中存在理想I满足D⁻¹m ⊂ I ⊂ D⁻¹A，则I可表示为D⁻¹J（其中J是A中满足J ∩ D = ∅的理想）。结合m是A的极大理想，推导出J只能是m或A，进而得到I只能是D⁻¹m或D⁻¹A，以此证明D⁻¹m的极大性。
• 第二步：通过环同态复合建立剩余域同构
  具体操作逻辑是：
  1. 先取自然满同态π: A → A/m，由于D ⊂ A\m，π(D)中的元素都是域A/m里的可逆元；
  2. 利用局部化的泛性质，将π唯一延拓为环同态φ: D⁻¹A → A/m，映射规则为φ(a/d) = π(a)π(d)⁻¹；
  3. 验证kerφ = D⁻¹m：若a/d ∈ kerφ，则π(a)=0即a ∈ m，故a/d ∈ D⁻¹m；反之D⁻¹m中元素必然被φ映射到0；
  4. 最后依据环的第一同构定理，因φ是满同态，直接得出D⁻¹A/D⁻¹m ≅ A/m。

内容的提问来源于stack exchange，提问作者rationalbeing