Es sei X {\displaystyle {}X} ein normales noethersches integres Schema mit Funktionenkörper K {\displaystyle {}K} .
Dann ist die Zuordnung
ein Gruppenhomomorphismus.