No Hilton-Milner type results for linear groups of degree two

TL;DR

This paper proves that for the group igl;GL_2(\u00bb;F_q)igr; acting on igl;igr;\u03a9_q, maximal intersecting sets are of maximum size, establishing a complete Erd6s-Ko-Rado theorem without Hilton-Milner type exceptions.

Contribution

It demonstrates that Hilton-Milner type results do not apply to igl;GL_2(\u00bb;F_q)igr; acting on igl;igr;9_q, showing all maximal intersecting sets are of maximum size.

Findings

Maximal intersecting sets in igl;GL_2(bb;F_q)igr; are of maximum size.

The complete Erd6s-Ko-Rado theorem holds for igl;GL_2(bb;F_q)igr;.

Hilton-Milner type results do not hold for this group.

Abstract

A set of permutations $\mathcal{F}$ of a finite transitive permutation group $G\leq \operatorname{Sym}(\Omega)$ is \emph{intersecting} if any pair of elements of $\mathcal{F}$ agree on an element of $\Omega$. We say that $G$ has the \emph{EKR property} if an intersecting set of $G$ has size at most the order of a point stabilizer. Moreover, $G$ has the \emph{strict-EKR} property whenever $G$ has the EKR property and any intersecting set of maximum size is a coset of a point stabilizer of $G$. It is known that the permutation group $\operatorname{GL}_2(\mathbb{F}_q)$ acting on $\Omega_q := \mathbb{F}_q^2\setminus\{0\}$ has the EKR property, but does not have the strict-EKR property since the stabilizer of a hyperplane is a maximum intersecting set. In this paper, it is proved that the Hilton-Milner type result does not hold for $\operatorname{GL}_2(\mathbb{F}_q)$ acting on $\Omega_q$. Precisely, it is shown that a maximal intersecting set of $\operatorname{GL}_2(\mathbb{F}_q)$ is of maximum size. As a result, we prove the Complete Erd\H{o}s-Ko-Rado theorem for $\operatorname{GL}_2(\mathbb{F}_{q})$.