Varietät/Endlicher Körper/Erweiterung/Fixpunkte/Fakt
Es sei eine Varietät über einem endlichen Körper , . Es sei
den -lineare Frobenius des absoluten -ten Frobenius auf .
Dann gilt für einen Punkt die Beziehung genau dann, wenn von einem Punkt herrührt.