Let $\mathbb{A}^3 = \mathbb{F}_q^3$. Consider the following three functions $\mathbb{A}^3$: \begin{eqnarray*} h: (x, y, z) &\mapsto& (x, y, xy - z) \\ u: (x, y, z) &\mapsto& (y, x, z) \\ v: (x, y, z) &\mapsto& (x, z, y) \end{eqnarray*} It immediately follows that those three morphisms are involutions, and hence are permutations in $Sym(\mathbb{A}^3) \cong S_q^3$. If we have enough points in the space, it follows that $\langle h, u \rangle \cong \mathbb{Z}_2 \times \mathbb{Z}_2$ (as $h$, and $u$ commute), $\langle u, v\rangle \cong S_3$ (we can identify $u$ and $v$ with the permutations $(12)$ and $(23)$), and $\langle h, v\rangle \cong D_4$ (exhaustion). How can I figure out $\langle h, u, v \rangle$? It is some finite quotient of $\mathbb{Z}_2 \ast \mathbb{Z}_2 \ast \mathbb{Z}_2$.