Definition 1
Let be a field of positive characteristic.
Then for any
-algebra homomorphism.
,
the geometric degree
of is
defined to be the index
of the corresponding
field extension.
Note that if the geometric degree is finite, then by comparing the transcendent
degree we see that is actually injective and the geometric degree
is equal to
.