Let G\mathbf G be a connected over F‾p\overline{\mathbb F}_p. For an algebraic-group endomorphism FF such that Fa=FpbF^a=F_{p^b} for some positive integers a,ba,b, the Steinberg fixed-point group and its central quotient are

GF={g∈G(F‾p):F(g)=g},GF/Z(GF).\mathbf G^F=\{g\in\mathbf G(\overline{\mathbb F}_p):F(g)=g\}, \qquad \mathbf G^F/Z(\mathbf G^F).

Here FpbF_{p^b} is the of a chosen split model and ZZ is the . The fixed points form a under inherited multiplication. A specific twisted family includes the choice of G\mathbf G and FF as part of its definition.

Graph and exceptional twists

For a pinned Dynkin-diagram automorphism γ\gamma of order aa commuting with FqF_q, the choice F=γFqF=\gamma F_q has Fa=FqaF^a=F_{q^a}. An exceptional endomorphism τ\tau in the Suzuki–Ree cases instead satisfies τ2=Fp\tau^2=F_p. With F=τFpmF=\tau F_{p^m}, one has F2=Fp2m+1F^2=F_{p^{2m+1}}.

These two constructions use different field conventions. Here 2An−1(q){}^2A_{n-1}(q) uses matrices over Fq2\mathbb F_{q^2}, while 3D4(q){}^3D_4(q) and 2E6(q){}^2E_6(q) use the indicated graph–Frobenius parameter qq. Some sources put q2q^2 or q3q^3 in those names instead.

References
  1. Robert Steinberg, Lectures on Chevalley Groups (Yale, 1967), §11, especially Theorems 34–35, PDF pp. 193–196; notation for field and twisting parameters differs.
  2. Robert A. Wilson, On the simple groups of Suzuki and Ree (24 April 2010), Introduction; §5.1 orders, §5.2 simplicity, and §5.3 the groups over the prime fields, pp. 24–30.