 Frobenius endomorphism of an algebraic group

For an algebraic group defined over ${\mathbb{F}}_q$, its Frobenius morphism acts as entrywise $q$th powers in a standard matrix realization. Its differential is zero, and its fixed-point group is finite. A conjugate $F^{\prime }=\phi F{\phi }^{-1}$ defines an isomorphic rational structure. This group morphism must be distinguished from a field Frobenius endomorphism alone and from the convention called geometric Frobenius in Galois theory, which is inverse to the arithmetic generator on field points.