I am wondering what the structure of the automorphism group of the general affine group of the affine line over a finite field looks like. I'll make that a bit more precise:

If $k$ is a finite field, and $\operatorname{AGL}_1(k)$ its group of affine transformations, i.e. maps of the form $$k\ \longrightarrow\ k:\ x\ \longmapsto\ ax+b,$$ with $a\in k^{\times}$ and $b\in k$, then what is the isomorphism type of $\operatorname{Aut}(\operatorname{AGL}_1(k))$?

I know that $\operatorname{AGL}_1(k)\cong k\rtimes k^{\times}$, where the semi-direct product is given by the natural action of $k^{\times}$ on $k$ by multiplication. Also, as the center of $\operatorname{AGL}_1(k)$ is trivial, it is isomorphic to a subgroup of its isomorphism group. Any automorphism of $\operatorname{AGL}_1(k)$ restricts to a group automorphism of $k^{+}$, of which there are very many, unfortunately.

What is a good way to approach this problem?

  • $\begingroup$ Most folks would assume that you wanted to consider only those maps that come from the identity automorphism of $k$. Are you sure you want that full generality? $\endgroup$ – Lubin Feb 19 '15 at 4:09
  • $\begingroup$ What do you mean by 'come from' the identity automorphism of $k$? I would like to understand the structure of the entire automorphism group, so yes I would like that full generality. $\endgroup$ – user38292 Feb 19 '15 at 4:12
  • $\begingroup$ Then before all else, you have to decide on what the automorphism group of $k^+$ is. It’s a finite vector space over the prime field $\Bbb F_p$, so you’re talking about a general linear group over the prime field. These are well understood… $\endgroup$ – Lubin Feb 19 '15 at 4:15
  • $\begingroup$ I understand that the automorphism group of $\Bbb{F}_{p^k}$ is (isomorphic to) $\operatorname{GL}_k(\Bbb{F}_p)$. But I think not all automorphisms of a finite field can 'extend' to automorphisms of the affine group? $\endgroup$ – user38292 Feb 19 '15 at 4:17
  • $\begingroup$ Why not? Do you have an example of an unextendable one? $\endgroup$ – Lubin Feb 19 '15 at 4:18

Let $G = {\rm AGL}_1(k)$. Then ${\rm Aut}(G) = {\rm A \Gamma L}_1(k) \cong G\langle \gamma \rangle$, where $\gamma$ is a generator of the group of field automorphisms of $k$. So if $|k|=p^e$ with $p$ prime, then $|\gamma|=e$ and you $\gamma:x \mapsto x^p$ for $x \in k$.

Here is a sketch proof. Any $\alpha \in {\rm Aut}(G)$ must fix the normal subgroup $k$ of the semidirect product and, since the complements are all conjugate in $G$, we can assume (by multiplying $\alpha$ by an inner automorphism) that if fixes the principal complement $k^\times$. Since $k^\times$ acts transitively by conjugation on $k \setminus \{0\}$, by multiplying $\alpha$ by an inner automorphism again, we can assume that $\alpha(1)=1$.

For $0 \ne a \in k < G$, I will use $\bar{a}$ to denote the corresponding element of the complement $k^\times$. So the semidirect product action is $\bar{a}b\bar{a}^{-1} = ab$.

Now, for $0 \ne a \in K$, using $\alpha(1)=1$, we have $$\alpha(a) = \alpha(\bar{a}1\bar{a}^{-1}) =\alpha(\bar{a})1\alpha(\bar{a})^{-1},$$ so $\overline{\alpha(a)} = \alpha(\bar{a})$. In other words $\alpha$ is acting in the same ways on $k -\{0\}$ and on $k^\times$.

So, for $a,b \in k \setminus \{0\}$, $$\alpha(a)\alpha(b) = \overline{\alpha(a)} \alpha(b) \overline{\alpha(a)} ^{-1} = \alpha(\bar{a}) \alpha(b)\alpha(\bar{a})^{-1} = \alpha(\bar{a}b\bar{a}^{-1}) = \alpha(ab)$$ and hence $\alpha$ is acting as a field automorphism of $k$.

  • $\begingroup$ Ah, that’s good. This looks more like the situation with collineations of the (desarguesian) projective plane. Thank you. $\endgroup$ – Lubin Feb 19 '15 at 13:55

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy