Die Abbildung F, die auf dem zugrundeliegenden Raum X die Identität induziert und auf den lokalen Ringen \(\mathcal{O}_{X,x}\rightarrow \mathcal{O}_{X,x}\) durch a ↦ a p definiert ist, heißt ...