Es sei
,
,
ein
endlicher Körper
und sei
eine
endlich erzeugte
-Algebra
Dann ist die
-lineare Fortsetzung
von gleich
-
Diese Abbildung ist wohldefiniert, da mit
auch
ist. Wegen
stimmt für der -te Frobenius mit dem linear fortgesetzten Frobenius überein.