$F$-finiteness of homomorphisms and its descent

Mitsuyasu Hashimoto

Let $p$ be a prime number. We define the notion of $F$-finiteness of homomorphisms of ${\mathbb{F}}_p$-algebras, and discuss some basic properties. In particular, we prove a sort of d…