Lemma 79.9.7. In Situation 79.9.2. If $r : \mathop{\mathrm{Spec}}(k) \to R$ is a morphism such that $s \circ r, t \circ r$ are automorphisms of $\mathop{\mathrm{Spec}}(k)$, then the map
\[ R \longrightarrow R, \quad x \longmapsto c(r, x) \]
is an automorphism $R \to R$ which maps $e$ to $r$.
Comments (0)