In layperson’s terms, what is a general affine group

abstract-algebradefinitiongroup-theorysymmetric-groups

I am trying to calculate the total number of subgroups for each subgroup in $S_5$. One subgroup in $S_5$ is the general affine group $GA(1, 5)$.

The same website provides a definition of the general affine group. For someone new to group theory, the page is not too beginner friendly. The Wikipedia page isn't too much better. I have tried picturing a Cayley graph, but I do not know where to begin.

What is a general affine group in simple terms?

Best Answer

$GA(n,q)$ for $q$ a prime power is the matrix group consisting of matrices in $\mathbb M_{(n+1)×(n+1)}(\mathbb F_q)$ of the form $$\begin{bmatrix}A&v\\\mathbf 0&1\end{bmatrix}$$ where $A$ is an invertible $n×n$ matrix and $v$ is of length $n$. $GA(n,F)$ for $F$ an arbitrary field is much the same, $F$ replacing $\mathbb F_q$.

$GA(1,5)$ may therefore be represented as the group of $5×4=20$ matrices with entries in $\mathbb F_5$ of the form $$\begin{bmatrix}a&b\\0&1\end{bmatrix}$$ with $a\ne0$; that it is a subgroup of $S_5$ holds only in the abstract sense. $GA(2,\mathbb R)$ is famous in SVG as the group of all (invertible) transform strings: $$\text{matrix(a,b,c,d,e,f)}=\begin{bmatrix}a&c&e\\b&d&f\\0&0&1\end{bmatrix}$$ When applied to a 2D point $(x,y,1)^T$, $a=b=c=d=0$ gives a translation, $e=f=0$ gives a linear transformation (rotation, reflection, shearing, etc.) and the general case performs the linear part and then the translation.