1: \begin{abstract}
2: Let $G_0$ be a either $\SL{n}{q}$, the special linear group over the finite field with $q$ elements, or $\PSL{n}{q}$, its projective quotient, and let $\Sigma$ be a symmetric subset of $G_0$, namely, if $x \in \Sigma$ then $x^{-1} \in \Sigma$. We find a certain set $\specialRepresentationsSymbol(G_0)$ of irreducible representations of $G_0$ whose size is at most $5$, such that $\Sigma$ generates $G_0$ if and only if $\cardinality{\Sigma}$ is not an eigenvalue of ${\sum_{\sigma \in \Sigma} \rho(\sigma)}$ for every $\rho \in \specialRepresentationsSymbol(G_0)$.
3:
4: To achieve this result, let $G$ be either $\GL{n}{q}$ or $\PGL{n}{q}$. We consider $\specialCharacterSet{G}$, some set of irreducible nontrivial characters of $G$, whose size is at most $5$. We show that for every subgroup $K \subgroup G$ that does not contain $G_0$, the restriction to $K$ of at least one of the characters in $\specialCharacterSet{G}$ contains the trivial character as an irreducible summand. We then restrict the characters to $G_0$ and use standard arguments about the Cayley graph of $G$ to imply the result. In addition, we obtain slightly weaker results about the generation of symmetric subsets of $G$.
5:
6: We finish by considering $\symmetric{n}$, the symmetric group on $n$ elements, and presenting $\specialRepresentationsSymbol(\symmetric{n})$, a set of eight irreducible nontrivial representations of $\symmetric{n}$, such that a symmetric subset $\Sigma \subseteq \symmetric{n}$ generates $\symmetric{n}$ if and only if $\cardinality{\Sigma}$ is not an eigenvalue of ${\sum_{\sigma \in \Sigma} \rho(\sigma)}$ for every $\rho \in \specialRepresentationsSymbol(\symmetric{n})$, which is an improvement upon the previously known set of $12$ irreducible nontrivial representations of $\symmetric{n}$ that satisfies this condition.
7: \end{abstract}
8: