Es sei ( X , O X ) {\displaystyle {}(X,{\mathcal {O}}_{X})} ein beringter Raum. Zeige, dass s ∈ Γ ( X , O X ) {\displaystyle {}s\in \Gamma (X,{\mathcal {O}}_{X})} genau dann eine Einheit ist, wenn der zugehörige O X {\displaystyle {}{\mathcal {O}}_{X}} -Modulhomomorphismus O X → O X {\displaystyle {}{\mathcal {O}}_{X}\rightarrow {\mathcal {O}}_{X}} ein Isomorphismus
