Accordingly, σ and the restriction of ρ to NExtGrz are called the Blok–Esakia isomorphism.
因此，σ 与 ρ 受 NExtGrz 的限制叫做 Blok–Esakia 同构。