Lemma 10.156.2. Let R be a local ring with henselization R^ h. Let I \subset \mathfrak m_ R. Then R^ h/IR^ h is the henselization of R/I.
Henselization is compatible with quotients.
Proof. This is a special case of Lemma 10.156.1. \square
Henselization is compatible with quotients.
Lemma 10.156.2. Let R be a local ring with henselization R^ h. Let I \subset \mathfrak m_ R. Then R^ h/IR^ h is the henselization of R/I.
Proof. This is a special case of Lemma 10.156.1. \square
Comments (1)
Comment #2805 by Minseon Shin on