An isomorphism of ringed spaces between locally ringed spaces is an isomorphism of locally ringed spaces.

Lemma 26.2.2. Let $X$, $Y$ be locally ringed spaces. If $f : X \to Y$ is an isomorphism of ringed spaces, then $f$ is an isomorphism of locally ringed spaces.

Proof. This follows trivially from the corresponding fact in algebra: Suppose $A$, $B$ are local rings. Any isomorphism of rings $A \to B$ is a local ring homomorphism. $\square$

Comment #1277 by on

Suggested slogan: An isomorphism of ringed spaces between locally ringed spaces is an isomorphism of locally ringed spaces.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).