Reasoning about subgroups $H \le PSL(2,q)$ based on knowledge about subgroups of normalizers in it

89 Views Asked by At

Suppose that $G$ is a finite permutation group acting transitively and non-regularly on $\Omega$. Also suppose that each non-trivial element has at most two fixed points and $|\Omega| \ge 4$.

Let me note that for a group acting that way, if $1 \ne X \le G_{\alpha}$, then as $N_G(X)$ acts on the set of fixed points of $X$, because if $X^g = X$ then $X\le G_{\alpha^g}$, and as $X$ has at most two fixed point we have that $|N_G(X) \cap G_{\alpha} : N_G(X)| \le 2$ by the orbit-stabilizer theorem. Also if $p \in \pi(G_{\alpha})$ and $p$ is odd, then $G_{\alpha}$ contains a full Sylow $p$-subgroup of $G$, for if $P$ contains a Sylow $p$-subgroup of $G_{\alpha}$, then $$|G:G_{\alpha}| \equiv \mbox{number of fixed points on }\alpha^G \pmod{p}$$ and hence is not divisible by $p$.

These facts are used in the following arguments, for which I ask this question:

Let $G \cong PSL(2, q)$ with $q = r^m \ge 13$. Suppose $q \equiv 1 \pmod{4}$. Let $\alpha \in \Omega$ and set $H := G_{\alpha} \ne 1$. Suppose $r$ divides $|H|$. Then $H$ contains a Sylow $r$-subgroup of $G$ and hence a subgroup of index at most two of its normalizer. This means that $H$ contains a subgroup of order $\frac{q-1}{4}$. As $q \ge 7$ and as $q-1$ is divisible by $4$, we know that $q-1 \ge 8$. Hence $H$ contains a subgroup of order $(q-1)/2$ of $G$. Now by looking at the subgroup structure of $G$ we find that $H$ is the normalizer of a Sylow $r$-subgroup of $G$ whence $|\Omega| = q + 1$. Also if we let $\Omega$ denote the set of cosets of the normalizer of a Sylow $r$-subgroup in $G$, then $\Omega$ has $q+1$ elements and acts in the way described above.

How does the fact that $H$ contains a subgroup of index at most two of a normalizer of a Sylow $r$-subgroup implies that $H$ contains a subgroup order $(q-1)/4$? And further why does the fact that $H$ contains a subgroup of order $(q-1)/2$ implies it must be the normalizer of a Sylow $r$-subgroup, and why does this implies that $|\Omega| = q + 1$?

The subgroup structure of $PSL(2,q)$ I have posted here, but it could also be seen in this paper.