\section{\@startsection {section}{1}{\z@}{-5.5ex plus -.5ex
minus -.2ex}{1ex plus .2ex}{\large \bf}}

\pagestyle{fancy}
\renewcommand{\sectionmark}[1]{\markboth{ #1}{ #1}}
\renewcommand{\subsectionmark}[1]{\markright{ #1}}
\fancyhf{}

\fancyhead[LE,RO]{\slshape\thepage}
\fancyhead[LO]{\slshape\rightmark}
\fancyhead[RE]{\slshape\leftmark}

\addtolength{\headheight}{0.5pt}
\renewcommand{\headrulewidth}{0pt}

\newtheorem{thm}{Theorem}[section]
\newtheorem{mainthm}[thm]{Main Theorem}
\newtheorem*{T}{Theorem 1'}

\newcommand{\ZZ}{{\mathbb Z}}
\newcommand{\GG}{{\mathbb G}}
\newcommand{\Z}{{\mathbb Z}}
\newcommand{\RR}{{\mathbb R}}
\newcommand{\NN}{{\mathbb N}}
\newcommand{\GF}{{\rm GF}}
\newcommand{\QQ}{{\mathbb Q}}
\newcommand{\CC}{{\mathbb C}}
\newcommand{\FF}{{\mathbb F}}

\newtheorem{lem}[thm]{Lemma}
\newtheorem{cor}[thm]{Corollary}
\newtheorem{pro}[thm]{Proposition}
\newtheorem*{proposi}{Proposition \ref{pro:pro63}}
\newtheorem*{thm_notag}{Theorem}
\newtheorem{problem}{Problem}
\newtheorem*{Cassels}{Cassels' question}

\newtheorem{proprieta}[thm]{Property}
\newcommand{\pf}{\noindent \textbf{Proof.} \ }
\newcommand{\eop}{${\Box}$  \relax}
\newtheorem{num}{equation}{}

\theoremstyle{definition}
\newtheorem{rem}[thm]{Remark}
\newtheorem{rems}[thm]{Remarks}
\newtheorem{D}[thm]{Definition}
\newtheorem{Not}{Notation}

\newtheorem{Def}{Definition}

\newcommand{\nsplit}{\cdot}
\newcommand{\GGG}{{\mathfrak g}}
\newcommand{\GL}{{\rm GL}}
\newcommand{\SL}{{\rm SL}}
\newcommand{\SP}{{\rm Sp}}
\newcommand{\LL}{{\rm L}}
\newcommand{\Ker}{{\rm Ker}}
\newcommand{\la}{\langle}
\newcommand{\ra}{\rangle}
\newcommand{\PSp}{{\rm PSp}}
\newcommand{\Uni}{{\rm U}}
\newcommand{\GU}{{\rm GU}}
\newcommand{\GO}{{\rm GO}}
\newcommand{\Aut}{{\rm Aut}}
\newcommand{\Alt}{{\rm Alt}}
\newcommand{\Sym}{{\rm Sym}}

\newcommand{\isom}{{\cong}}
\newcommand{\z}{{\zeta}}
\newcommand{\Gal}{{\rm Gal}}
\newcommand{\SO}{{\rm SO}}
\newcommand{\SU}{{\rm SU}}
\newcommand{\PGL}{{\rm PGL}}
\newcommand{\PSL}{{\rm PSL}}
\newcommand{\loc}{{\rm loc}}
\newcommand{\Sp}{{\rm Sp}}
\renewcommand{\O}{{\rm O}}
\newcommand{\PUni}{{\rm PU}}
\newcommand{\Id}{{\rm Id}}
\newcommand{\I}{{\rm I}}
\newcommand{\Ind}{{\rm Ind}}
\newcommand{\s}{{\sigma}}

\newcommand{\F}{{\mathbb F}}
\newcommand{\Q}{{\mathbb Q}}
\newcommand{\R}{{\mathbb R}}
\newcommand{\N}{{\mathbb N}}
\newcommand{\E}{{\mathcal{E}}}
\newcommand{\G}{{\mathcal{G}}}
\newcommand{\A}{{\mathcal{A}}}
\newcommand{\C}{{\mathcal{C}}}
\newcommand{\modn}{{\rm \hspace{0.1cm} (mod \hspace{0.1cm} }}
\newcommand{\bmu}{{\textbf \mu}}
\newcommand{\hloc}{{\rm loc}}
\newcommand{\f}{{\mathfrak f}}
\newcommand{\g}{{\mathfrak g}}
\newcommand{\h}{{\mathfrak h}}
\newcommand{\cost}{{\mathfrak c}}

\newcommand\ddfrac[2]{\frac{\displaystyle #1}{\displaystyle #2}}

\vskip 0.5cm

\title{Cohomology of groups acting on \\   vector spaces over finite fields}
\author{Laura Paladino}
\date{  }
\maketitle

\vskip 1.5cm

\begin{abstract}
Let $p$ be a prime and $m,n$ be positive integers. Let
$G$ be a group acting faithfully on a vector space of dimension $n$ over the finite field $\FF_q$ with $q=p^m$ elements.
A famous theorem proved by Nori in 1987 states that if $m=1$ and $G$ acts semisimply on $\FF_p^n$, then there
exists a constant $c(n)$ depending only on $n$, such that if $p>c(n)$ then  $H^1(G,\FF_p^n)=0$.
We give an explicit constant $c(n)=(2n+1)^2$ and prove a more general version of Nori's theorem, by
showing that if $G$ acts semisimply on $\FF_q^n$ and $p>(2n+1)^2$, then $H^1(G,\FF_q^n)$ is trivial, for all $q$.
As a consequence, we give sufficient conditions to have an affirmative answer to a classical
question posed by Cassels in the case of abelian varieties over number fields.
\end{abstract}

\textbf{MSC}: 20J06, 11G10

\section{Introduction} \label{sec0}
Let $p$ be a prime and $m,n$  positive integers. Let
$G$ be a group acting on a vector space  of dimension $n$ over the finite field $\FF_q$ with $q=p^m$ elements.
There is a great interest on the cohomology $H^1(G,\FF_q^n)$.
Many mathematicians have
given sufficient conditions to have the triviality of $H^1(G,M)$ in some particular
cases, as for instance when $G$ is a group of Lie type and $M$ is a  minimal irreducible $G$-module \cite{CPS} \cite{CPS2} or
when $G$ is a group of Lie type and $M=L(\lambda)$ is a simple $G$-module of highest weight $\lambda$
\cite{Georgia} or when $q=p$ and $G$ acts semisimply on $M=\FF_p^n$ \cite{Nori}. Anyway there is no general criterium for the
triviality of $H^1(G,\FF_q^n)$. From the mentioned
papers it seems that the irreducibility of $\FF_q^n$ as a $G$-module could play a fundamental r\^ole to get the triviality of $H^1(G,\FF_q^n)$.
Here we prove that this is indeed true by showing that if $G$ acts faithfully and irreducibly over $\FF_q^n$, then $H^1(G,\FF_q^n)$
is trivial for all but finitely many primes $p$.
A deep theorem of Nori \cite[Theorem E, page 271]{Nori} gives the following sufficient conditions
to the triviality of  $H^1(G,\FF_q^n)$, when $p=q$.

\begin{thm}[Nori, 1972]
There exists a constant $c(n)$ depending only on $n$ such that if
$p>c(n)$ and $G\leq \GL_n(\FF_p)$ acts faithfully and semisimply on $\FF_p^n$, then
$$H^1(G,\FF_p^n)=0.$$
\end{thm}

\noindent According to our knowledge, there are no results in the literature showing an explicit $c(n)$.
Here we show that it suffices to take $c(n)=(2n+1)^2$, for all $n$. In addition we prove a
more general statement concerning the cohomology of groups acting faithfully and semisimply on $\FF_q^n$.

\begin{thm} \label{P1_bis}
Let $p$ be a prime number and let $m, n$ be positive integers.
Let $\FF_q$ be the field with $q=p^m$ elements and
let $G$ be a group acting faithfully and semisimply on $\FF_q^n$. If $p>(2n+1)^2$, then $H^1(G,\FF_q^n)=0$.
\end{thm}

\noindent In particular, Theorem \ref{P1_bis} holds if $G$ acts faithfully and irreducibly (or simply) on $\FF_q^n$.
The techniques of proof of Theorem \ref{P1_bis} are different from the ones used by Nori. Here we
take into account Aschbacher's Theorem on the classification of subgroups of $\GL_n(p^m)$
and consider the cohomology of each class of subgroups acting irreducibly
on $\FF_q^n$.
A consequence of the proof of Theorem \ref{P1_bis}
is the next statement on the cohomology of non-cyclic simple groups.

\begin{cor} \label{simple}
Let $p$ be a prime number and let $m,n$ be positive integers.
Let $\FF_q$ be the field with $q=p^m$ elements and
let $S$ be a non cyclic simple group acting faithfully and semisimply on $\FF_q^n$. If $p>(2n+1)^2$, then $H^1(S,\FF_q^n)=0$.
\end{cor}

\noindent Corollary \ref{simple} gives a generalization of the results in \cite{CPS} and \cite{CPS2}.
\par  In next section we  briefly resume Aschbacher's classification and some other
well-established results in group theory. Then we will proceed with the proof of Theorem
\ref{P1_bis}, which is divided into various lemmas and
cases. At the end of the paper we
show an application of Theorem
\ref{P1_bis} to the following question,
posed by Cassels in 1962, in the third paper of his remarkable series on the arithmetic of curves of genus one  \cite{Cas}.

\begin{Cassels}
Let $k$ be a number field, with algebraic closure $\overline{k}$, and $\E$  an abelian variety of dimension 1 defined over $k$.
Let $G_k$ be the absolute Galois group $\Gal(\overline{k}/k)$ and $\Sha(k,\E)$
the Tate-Shafarevic group of $\E$ over $k$. Are the
elements of $\Sha(k,\E)$ infinitely divisible by a prime $p$ when considered as elements of the Weil-Ch\^{a}telet group
$H^1(G_k,\E)$ of all classes of homogeneous spaces for $\E$ defined over $k$?
\end{Cassels}

\noindent This question remained open for decades. Only in 2012, we got an affirmative answer over
$k$ for all $p\geq  ( 3^{[k:\Q] /2} + 1 )^2$, implied by the results in \cite{PRV}. In addition,
the results in \cite{PRV2} imply an affirmative answer over
$\QQ$ for all $p\geq 5$. Since 1972
Cassels' question has been considered in the more general setting
of an abelian variety $\A$ defined over $k$, instead of an elliptic curve $\E$ \cite{Bas}, \cite{CS}, \cite{Cre2}, \cite{GR}.
In \cite{Cre2} Creutz shows the existence of counterexamples
in infinitely many nonisomorphic abelian varieties defined over $\QQ$, for every $p$.
Let $\A[p^m]$ denote the $p^m$-torsion subgroup of $\A$ and
$\A[p^m]^{\vee}$ its Cartier dual. Both the results of Creutz \cite[Theorem 3]{Cre2}
and of Ciperiani and Stix \cite[Proposition 13]{CS} show that the triviality of $\Sha(k,\A[p^m]^{\vee})$,
for every $m$, is a sufficient condition to have an affirmative answer to Cassels' question for $p$ in $\A$.
In addition \c{C}iperiani and Stix produce a criterium \cite[Theorem D]{CS} to
have the triviality of $\Sha(k,\A[p^m])$, for all $m$. Then in particular they
give sufficient conditions to have an affirmative answer to Cassels' question in the case
of principally polarized abelian varieties.
As a consequence of Theorem \ref{P1_bis} we are able to give a criterium
to have the triviality of both $\Sha(k,\A[p^m])$ and $\Sha(k,\A[p^m]^{\vee})$ at the same time,
for every $m$. As a consequence, we will prove the following statement giving sufficient conditions to have
an affirmative answer to Cassels' question in every $\A$ over $k$.

\begin{thm} \label{cor_cass}
Let $\A$ be an abelian variety of dimension $g$ defined over a number field $k$.
For every $p>(4g+1)^2$, if $\A[p]$ is an irreducible $G_k$-module, then Cassels' question has an affirmative answer
for $p$ in $\A$.
\end{thm}

\noindent In particular Theorem 	\ref{cor_cass} shows that, given an abelian variety $\A$ over
$k$, then for all but finitely many primes $p$, the reducibility of $\A[p]$ as a $G_k$-module
is the only obstruction to the $p^m$-divisibility of the elements of  $\Sha(k,\A)$ in the Weil-Ch\^{a}telet group
$H^1(G_k,\A)$, for every $m$. As we will see in Section \ref{last}, the hypotheses of Theorem \ref{cor_cass} are also sufficient to assure
the validity of a local-global principle for the divisibility by $p^m$ of elements in $H^1(G_k,\A)$, for all $m$.

\section{Subgroups of $\GL_n(q)$} \label{sec1}

From now on let $V=\FF_q^n$. We recall some standard notations in group theory, that we will keep in the rest of the paper.

\begin{Not} \label{not_1}
Let $n,m$ be  positive integers, let $p$ be a prime number and let $q=p^m$.
 We use the standard notations for the projective general linear group $\PGL_n(q)$, the special linear group
 $\SL_n(q)$, the projective special linear group $\PSL_n(q)$,
the  unitary group $\Uni_n(q)$ (defined over the extension $\FF_{q^2}/\FF_q$ \cite[Definition 1.5.30]{BHR}), the projective unitary group $\PUni_n(q)$,
the symplectic group $\Sp_n(q)$, the projective symplectic group $\PSp_n(q)$, the symmetric group $S_n$ and the alternating group $A_n$.
By $C_n$ we denote a cyclic group of order $n$
and by $p^{1+2n}$ an extraspecial group of order $p^{1+2n}$.
Furthermore, if $n$ is odd or both $n$ and $q$ are even, then we denote by $\textrm{O}_n(q)$ the orthogonal group and by $\textrm{SO}_n(q)$ the  special orthogonal group. Let $\omega_q$ be a primitive element of $\F_q^*$.
If $n$ is even and $q$ is odd  we denote by  (see \cite{BHR})
\begin{description}
\item[ ]  $\O_n^+(q)$ the stabilizer of the non-degenerate symmetric bilinear antidiagonal form \par $\textrm{antidiag}(\underbrace{1,...,1}_{n})$;
\item[ ]  $\SO_n^+(q)$ the subgroup of $\O_n^+(q)$ formed by the matrices with determinant 1;
\item[ ]  $\O_n^-(q)$ the stabilizer of the non-degenerate symmetric bilinear form $\I_n$, when $n\equiv 2 \textrm{ (mod 4})$ and
$q\equiv 3 \textrm{ (mod 4})$ and the stabilizer of the non-degenerate symmetric bilinear diagonal form $\textrm{diag}(\underbrace{\omega_q,1,...,1}_{n})$, when $n\not\equiv 2 \textrm{ (mod 4})$ and
$q\not\equiv 3 \textrm{ (mod 4})$;
\item[ ]  $\SO_n^-(q)$ the subgroup of $\O_n^-(q)$ formed by the matrices with determinant 1.
\end{description}

\noindent  For $n$ even and  $\epsilon\in\{+,-\}$, we denote by $\Omega_n^{\epsilon}(q)$ the unique subgroup of index 2 of $\O_n^{\epsilon}(q)$, which is obtained as the kernel of the spinor norm on $\SO_n^{\epsilon}(q)$ (see \cite[Equation (2.5.9), Proposition 2.5.7, pag. 29]{KL},  \cite[Definition 1.6.13, pag. 29]{BHR}) and by  $\textrm{P}\Omega_n^{\epsilon}(q)$ we denote the image of $\Omega_n^{\epsilon}(q)$ in $\PGL_n(q)$. Similarly for $n$ odd, we denote by $\Omega_n(q)$ the unique subgroup of index 2 of $\O_n$, which is obtained as the kernel of the spinor norm on $\SO_n(q)$ and by $\textrm{P}\Omega_n(q)$ the image of $\Omega_n(q)$
in $\PGL_n(q)$.
 \end{Not}

\bigskip
\begin{Not}
 Let $H, K$ be two groups. By the standard notations in group theory, we denote by

\begin{description}
\item[ ] $H\rtimes K$, the semidirect product of  $H$ with $K$;
\item[ ] $H\circ K$,  the central product of $H$ and $K$;
\item[ ] $H\wr K$, the wreath product of $H$ and $K$;
  \item[ ] $H.K$, a group that is an extension of  its normal subgroup $H$ with the group $K$,
in the case when we do not know if it is
a split extension or not;
\item[ ] $H^{.}K$, a group that is a non-split extension of its normal subgroup $H$ with the group $K$.
\end{description}
 \end{Not}

\noindent In 1984,
Aschbacher proved that the maximal subgroups of $\GL_n(q)$  could be divided into 9 classes \cite{Asc}, that we denote by $\C_i$, $1\leq i\leq 9$
 (by $\C_9$ we denote the class that was originally called $\mathcal{S}$ by Aschbacher).
 The geometric properties and the general group structures
of the maximal subgroups of $\GL_n(q)$ of class $\C_i$, with $1\leq i\leq 8$, have been described for every $n$ (see \cite{KL}).
On the contrary, we do not know explicitly neither a geometric property, nor the general
group structure of the maximal subgroups of type $\C_9$. It is a hard problem to find explicitly these groups when $n$
is big. We have a complete list of such groups only for $n\leq 12$ (see \cite{BHR}).
Anyway, Aschbacher's Theorem gives a characterization of the maximal subgroup  of class $\C_9$, that we recall in the following,
together with the classification of the maximal subgroups of geometric type:

\begin{description}

\item[maximal subgroups of class $\C_1:$] stabilizers of totally singular or non-singular subspaces, i.e. maximal parabolic groups;
\item[maximal subgroups of class $\C_2:$] stabilizers of direct sum decompositions  $V =\bigoplus_{i=1}^{r} V_i$, with each $V_i$ of dimension $t$, i.e. wreath products $\GL_t(q)\wr S_r$, with $ n=rt$;
\item[maximal subgroups of class $\C_3:$] stabilizers of  extension fields of $\FF_q$ of prime index $r$, i.e.
group extensions $\GL_t(q^r).C_r,$ with $n=rt, r$ prime;
\item[maximal subgroups of class $\C_4:$] stabilizers of  tensor product decompositions $V=V_1\otimes V_2$, i.e.
central products $\GL_t(q)\circ \GL_r(q)$ with $n=rt$;
\item[maximal subgroups of class $\C_5:$] stabilizers of  tensor product decompositions $V=V_1\otimes V_2$, i.e.
groups $\GL_n(q_0)$, where $q=q_0^r$, with $r$ prime;
\item[maximal subgroups of class $\C_6:$] normalizers of symplectic-type  $r$-groups in absolutely  irreducible representations, i.e.
group extensions $(C_{q-1}\circ r^{1+2t}).\Sp_{2t}(r)$, with $r\neq p$ a prime and $n=r^{t}$;
\item[maximal subgroups of class $\C_7:$]  stabilizers of tensor product decompositions  $V=\bigotimes_{i=1}^t V_i, \textrm{dim}(V_i)=r$, i.e. group extensions
$\underbrace{ (\GL_r(q)\circ ... \circ \GL_r(q)) }_{t} .S_t$, with $n=r^t $;
\item[maximal subgroups of class $\C_8:$] classical groups,  i.e. symplectic groups, ortogonal groups,
unitary groups;
\item[maximal subgroups of class $\C_9:$]  if $G$ is a maximal subgroup of $\GL_n(q)$ of class $\C_9$ and $Z(G)$ denotes its center, then $G/ Z(G)$ is almost simple, its socle $T$ is a nonabelian simple group and its normal subgroup $ Z(G) T$ acts absolutely
irreducibly, preserves no nondegenerate classical form, is not a subfield group, and does not contain $\SL_n(q)$.
\end{description}

\begin{Not}
From now on we will say that a subgroup $G$ of $\GL_n(q)$ (respectively of $\SL_n(q)$) is of class $\C_i$ or of type $\C_i$, with $1\leq i\leq 9$, if $G$ is contained in a maximal subgroup of $\GL_n(q)$ (respectively of $\SL_n(q)$) of class $\C_i$.
\end{Not}

\bigskip\noindent In the proof of Theorem \ref{P1_bis}, we will use the description of the properties of the maximal subgroups of class $\C_i$, with $1\leq i\leq 9$, stated above. In the part concerning the groups of class $\C_9$, at a certain point we will deal with finite simple groups, whose
 classification is well-known, as well as the list of their automorphisms
groups. One of the most complete references in the literature is Wilson's book on finite simple groups \cite{Wil}.  Following that
textbook,  we will divide the simple groups in four classes:  alternating groups, sporadic groups,  classical groups and exceptional groups. We will also call groups of Lie type the classical and the exceptional groups.

\begin{Not}
We keep the standard notations
used in \cite{KL}, \cite{Wil} and in \cite{GLS} for the exceptional groups of Lie type associated to the
exceptional non twisted Lie algebras $G_2(q)$ ($q\geq 3$), $F_4(q)$, $E_6(q)$, $E_7(q)$, $E_8(q)$; for
the exceptional groups of Lie type associated to the
exceptional  twisted Lie algebras $^2E_6(q)$ and $^3D_4(q)$; for the Suzuki groups
$\textrm{Suz}(q)$, $q=2^{2h+1}$ with $h$ a positive integer, and for the Ree groups
$^2F_4(q)$, $q=2^{2h+1}$ and $^2G_2(q)$, $q=3^{2h+1}$.
\end{Not}

\noindent In the literature the groups of Lie type are also divided into two classes, with respect to the characteristic of their field
of definition. A group of Lie type $S\leq \GL_n(p^m)$ is in cross characteristic (or coprime characteristic), when
the characteristic of its field of definition is different from $p$.  The group  $S$ is in defining characteristic, when the characteristic of its field of definition  is equal to $p$.
Assume that we are in the cross characteristic case and the
field of definition of  $S$ is ${\mathfrak{p}}\neq p$ and let $w={\mathfrak{p}}^{\alpha}$, where $\alpha$ is a positive integer.
The minimal degree $n$ of a representation of $S$ in $\GL_n(q)$ is well-known.
By \cite[Table 5.3.A, pag. 188]{KL}, when ${\mathfrak{p}}>3$, the minimal degrees for the representation of $S$ in $\GL_n(p^m)$
(and in $\SL_n(p^m)$) are the following (see also \cite{Land} and \cite{Hoff}).

\begin{center}

{\small

\begin{tabular}{ll}
\hline
\hline
 Group & Minimal Degree   \\
\hline
\hline
$\PSL_2(w)$ &  $\ddfrac{w-1}{\gcd(2,w-1)}$\\
\hline
 $\PSL_t(w)$, $t\geq 3$ &  $w^{t-1}-1$ \\
\hline
$\PSp_{2t}(w)$, $t\geq 2$ &  $\ddfrac{1}{2}(w^{t}-1)$ \\
\hline
$\Uni_{t}(w)$, $t\geq 3$ &  $w\ddfrac{w^{t-1}-1}{w+1}$, $t$ odd  \\
 &  $\ddfrac{w^{ t}-1}{w+1}$, $t$ even \\
\hline
$\textrm{P}\Omega_{2t}^{+}(w)$, $t\geq 4$ &  $(w^{t-1}-1)(w^{t-2}+1)$, $w\neq 5$ \\
 &  $w^{t-2}(w^{t-1}-1)$, $w= 5$\\
\hline
$\textrm{P}\Omega_{2t}^{-}(w)$, $t\geq 4$ &  $(w^{t-1}+1)(w^{t-2}-1)$ \\
\hline
$\Omega_{2t+1}(w)$, $t\geq 3$, $r$ odd \hspace{0.1cm} &  $w^{2(t-1)}-1$, $w\neq 5$\\
 &  $w^{ t-1}(w^{t-1}-1)$, $w=5$\\
\hline
$E_6(w)$ &  $w^{9} (w^{2}-1)$\\
\hline
$E_7(w)$ &  $w^{15} (w^{2}-1)$\\
\hline
$E_8(w)$ &  $w^{27} (w^{2}-1)$\\
\hline
$F_4(w)$ &  $w^{6} (w^{2}-1)$\\
\hline
$^2E_6(w)$ &  $w^{9} (w^{2}-1)$\\
\hline
$G_2(w)$ &  $w (w^{2}-1)$\\
\hline
$^3D_4(w)$ &  $w^{3} (w^{2}-1)$\\
\hline
$^2F_4(w)$ &  $w^{4} \sqrt{\ddfrac{w}{2}}(w-1)$\\
\hline
$\textrm{Suz}(w)$ &  $\sqrt{\ddfrac{w}{2}}(w-1)$\\
\hline
$^2G_2(w)$ &  $w (w-1)$\\
\hline
\hline
\multicolumn{2}{c}{  }\\

\multicolumn{2}{c}{Table 1: \begin{minipage}[t]{8cm}
 Lower bounds for the degrees of the representations of \par
the finite simple groups in cross characteristic ${\mathfrak{p}}>3$ \end{minipage}}
\end{tabular}
}
 \end{center}

\bigskip\noindent For instance, if $S=\PSL_t(w)\leq \GL_n(q)$, then $n\geq w^{t-1}-1$.

\bigskip\par All through the paper, we will denote by $G_p$ a $p$-Sylow subgroup of $G$. With abuse of notation we will often
refer to the $p$-Sylow subgroup of $G$ instead of  a $p$-Sylow subgroup of $G$, by considering
$G_p$ up to isomorphism.
In various parts of the proof of Theorem \ref{P1_bis}, we will consider the cohomology of the $p$-Sylow subgroup $G_p$
of $G$ with values in $V$. In fact we have the following lemma assuring the vanishing of $H^1(G, V)$,
when $H^1(G_p, V)$ vanishes.

\begin{lem} \label{Sylow}
Let $G_p$ be a $p$-Sylow subgroup of $G$.  If $H^1(G_p, \FF_q^n)=0$, then $H^1(G, \FF_q^n)=0$.
\end{lem}

\begin{proof}
The restriction map $res: H^1(G, M) \rightarrow H^1(G_p, M)$ is injective on the $p$-primary part of
$H^1(G, M)$. When $V=\F_{p^m}^n$, the $p$-primary part of $H^1(G, V)$
is the whole group and $res: H^1(G, V) \rightarrow H^1(G_p, V)$ is injective.
\end{proof}

\section{The proof}

The proof of Theorem \ref{P1_bis} is divided into various steps.
The first step is to investigate the cohomology of a normal subgroup $H\unlhd G$ with values in $V$ in relation to the
cohomology of $G$ itself.  Then we will consider the cases when $V$ has a tensor product
decomposition and we apply those results to the case when $G$ is isomorphic to a proper subgroup
of $\GL(V)$ equal to a classical group. In Subsection \ref{subsec2} we prove Theorem \ref{P1_bis}
for $n\leq 3$. In the last subsection we produce the proof of Theorem \ref{P1_bis}
for all $n\geq 4$, by dividing it into two parts concerning the subgroups of $\GL_n(\FF_q)$
of geometric type and respectively the subgroups of type $\C_9$. This last step
in particular considers the cohomology of a simple group $S$ with values in $\FF_q^n$
and gives a proof of Corollary \ref{simple}.
The techniques of proof are similar to those used in \cite{Pal19}, where
the investigation is about the triviality of a subgroup of $H^1(G,\FF_q)$, under
stronger hypotheses. Anyway here there is an important improvement in the results
of every step and there are also additional steps that are fundamental
to get the new conclusion.
The proofs of some of the lemmas in the next subsection can be deduced from the
results in \cite{Pal19}, but we prefer to
state all of them explicitly here, in order to have a more self-contained paper
for the reader's convenience.

\subsection{Normal subgroups}
Let $G$ be isomorphic to a subgroup of $\GL_n(p^m)$, which acts faithfully and irreducibly on $V$.
Next lemma and its corollaries deal with the case
when $G$ has a nontrivial normal subgroup $S$ with trivial cohomology.

\begin{lem} \label{extension}
Assume that a group $G$ acts faithfully and
irreducibly on $V=\FF_q^n$ as a subgroup of $\GL_{n}(q)$ which is an extension $H.K$, where
$H$ is a nontrivial normal subgroup of $G$.
If  $H^1(H,V)=0$, then $H^1(G,V)=0$.
\end{lem}

\begin{proof}
 Consider the inflation-restriction
exact sequence

\begin{equation} \label{infres} 0\rightarrow H^1(K,V^H)\rightarrow H^1(G,V)\rightarrow H^1(H,V)^{K}. \end{equation}

\noindent Since $H^1(H,V)=0$, then $H^1(G,V)\simeq H^1(K,V^H)$.
We are going to show that $V^H$ is a $G$-submodule of $V$.
Let $w\in V^H$ and $\sigma\in G$. We have $\sigma(w)\in V^H$ if and only if $\tau \sigma(w) =\sigma(w)$,
for all $\tau\in H$, if and only if $\sigma^{-1}\tau\sigma(w)=w$, for all $\tau\in H$. Since $H$ is a normal
subgroup of $G$, then   $\sigma^{-1}\tau\sigma\in H$, for all $\tau\in H$ and $\sigma\in G$.
Thus $V^H$ is a $G$-submodule of $V$.
Owing to $V$ being an irreducible $G$-module, we have that $V^H$ is trivial or that $V^H=G$. If $V^H$ is trivial,
then $H^1(K,V^H)=0$, implying  $H^1(G,V)=0$.
If $V^H=G$, then $H$ is trivial and we have a contraddiction with our assumptions.
Then $H^1(G,V)=0$.
\end{proof}

\noindent Being  $H^1(G,.)$ an additive functor, for every fixed group $G$, we deduce the following corollary.

\begin{cor} \label{extension_sem}
Assume that  $G$ acts faithfully and semisimply on $V=\FF_q^n$ as a subgroup of $\GL_{n}(q)$, which is an extension $H.K$, where
$H$ is a nontrivial normal subgroup of $G$.
If  $H^1(H,V)=0$, then $H^1(G,V)=0$.
\end{cor}

\noindent The hypothesis that $V$ is an irreducible $G$-module in the statement of Lemma \ref{extension} can be replaced by the
hypothesis that $V$ is an irreducible $H$-module, as showed in the next statement.

\begin{cor} \label{extension_sn}
Assume that $G$ acts faithfully on $V$ as a subgroup of $\GL_{n}(\FF_q)$ that is an extension $H.K$, where $H$ is a nontrivial normal subgroup of $G$, acting irreducibly on $V$. If  $H^1(H,V)=0$, then  $H^1(G,V)=0$.
\end{cor}

\begin{proof}
Suppose that $V$ is a reducible $G$-module. Then $V$ has a nontrivial submodule $W$ that is stable under the
action of $G$. In particular $W$ is stable under the action of $H$ and this is a contradiction
with $V$ being an irreducible $H$-module.
Then $V$  is an irreducible $G$-module and the conclusion follows by Lemma \ref{extension}.
\end{proof}

\bigskip\noindent With the next corollary we observe that the hypothesis about the irreducibility of $V$ as a $H$-module
in Corollary \ref{extension_sn} can be replaced by the hyphotesis of the existence of $\tau\in H$, such that
$\tau-1$ is invertible.

\begin{cor} \label{extension_sn_cor}
Assume that $G$ is isomorphic to a subgroup of $\GL_{n}(\FF_q)$ that is an extension $H.K$, with $H$ nontrivial.
If  $H^1(H,V)=0$ and there exist $\tau\in H$ such that $\tau-1$
is invertible, then  $H^1(G,V)=0$.
\end{cor}

\begin{proof}
 Obviously $V^H$ is a $H$-module.
Since $\tau-1$ is invertible,
then it fixes no element in $V^H$. Therefore $V^H=\{0\}$
and  $H^1=(K,V^H)=0$. The conclusion follows by the triviality of  $H^1(H,V)$ and by using the
 inflation-restriction
exact sequence \eqref{infres}.
\end{proof}

\noindent Both Corollary \ref{extension_sn} and Corollary \ref{extension_sn_cor} hold as well when $V$ is
a semisimple $H$-module, owing to $H^1(H,.)$ being an additive functor.
 We recall the following important statement \cite[Proposition 24]{Ser4}.

\begin{pro} \label{S_rep}
Let $H$ be a normal subgroup of a group $G$, and let $\rho:  G\rightarrow \GL(V)$ be an irreducible representation of $G$. Then:
\begin{description}
\item[a)]
either there exists a subgroup $J$ of $G$, unequal to $G$ and containing $H$, and an irreducible representation $\theta$ of $J$
such that $\rho$ is induced by $\theta$;
 \item[b)] or else the restriction of $\rho$ to $H$ is a direct sum of isomorphic irreducible representations.
\end{description}
\end{pro}

\noindent In view of Proposition \ref{S_rep} and Corollary \ref{extension_sn}, we will be able to
prove the next fundamental statement.

\noindent
\begin{lem} \label{normal} Assume that $G$ acts faithfully and irreducibly on $V$. Let $H$ be a nontrivial normal subgroup
of  $G$. Then there exists a submodule $\widetilde{W}$ of $V$ such that $H$ acts irreducibly
on $\widetilde{W}$ and such that if $H^1(H,\widetilde{W})=0$, then $H^1(G,V)=0$.
\end{lem}

\begin{proof}
Let $\rho$ be the representation of $G$ in $\GL(V)$.
We are under the hypotheses of Proposition \ref{S_rep}. Since $H^1(H,.)$ is an additive functor,
if we are in case \textbf{b)}, then the conclusion follows by Corollary \ref{extension_sn}.
If we are in case \textbf{a)}
then there exist a subgroup $J$ of $G$, a $J$-invariant subspace $W$ of $V$ and an irreducible
representation $\theta: J\rightarrow \GL(W)$, such that $H\unlhd J\lneq G$, $\rho=\Ind_{J}^G \theta$ and
$V=\bigoplus_{i=1}^{r} \sigma_i W$, where $\sigma_1W, ..., \sigma_rW$ is a full system of representatives
of the left cosets of $J$ in $G$ and $\sigma_i W$ is an isomorphic copy of $W$, for all $1\leq i\leq r$.
Then $H^1(G,V)=H^1(G,\bigoplus_{i=1}^{r} \sigma_i W)$. Being $H^1(G,.)$ an additive functor,
it suffices that $H^1(J,W)=0$ to get  $H^1(G,V)=0$. Since $W$ is an irreducible $J$-module and
$H\unlhd J$, we may apply Proposition \ref{S_rep} to $J$, $W$, $\theta$ and $H$.
If we are in case \textbf{b)}, then we immediately get the conclusion as above. If we are in case
\textbf{a)}, then there exists a subgroup $J'\lneq J$ containing $H$, a $J'$-invariant
subspace $W'$ of $W$ and an irreducible
representation $\theta': J'\rightarrow \GL(W')$, such that $\theta=\Ind_{J'}^{J} \theta'$ and
$W=\bigoplus_{i=1}^{r'} \sigma'_i W'$, where $\sigma'_1W', ..., \sigma'_rW'$ is a full system of representatives
of the left cosets of $J'$ in $J$ and $\sigma'_i W'$ is an isomorphic copy of $W'$, for all $1\leq i\leq r'$.
Since $G$ is a finite group, by proceeding in this way, at a certain point either we will be in case
\textbf{b)}, or we will be in case \textbf{a)} with $J=H$ and $W=\widetilde{W}$.
The conclusion then follows by
the additivity of $H^1(H,.)$ as a functor and by Corollary \ref{extension_sn}.
\end{proof}

\noindent Owing to Lemma \ref{normal}, we can study the cohomology of
normal subgroups of $G$ instead of the cohomology of $G$ itself.

\begin{rem} \label{rem_normal}
Assume that $G$ acts faithfully and irreducibly on $V$ and $H\unlhd G$.
By the arguments used in the proof of Lemma \ref{normal},
from now on we may assume without loss of generality that $V$ is a faithful and irreducible $H$-module.
\end{rem}

\noindent This is very important especially in view of the next remark.

\begin{rem} \label{SL_n}
\hspace{0.3cm}
\begin{description} \item[i)]
Let $G$ be a subgroup of $\GL_{n}(p^m)$ and
let $\widetilde{G}:=G\cap \SL_n(p^m)$. The special linear group $\SL_n(p^m)$ is a normal subgroup of $\GL_n(p^m)$
which is an extension of $\SL_n(p^m)$ by a cyclic group.
Then by Lemma \ref{extension}, Lemma \ref{normal} and Remark \ref{rem_normal},
it suffices to prove Theorem \ref{P1_bis}, for every subgroup $G$ of $\SL_n(p^m)$.
\item[ii)] Moreover, observe that, owing to $|\GL_n(p^m)|=(p^m-1)|\SL_n(p^m)|$,
 the $p$-Sylow subgroup of $\GL_n(p^m)$ coincides with the $p$-Sylow subgroup of $\SL_n(p^m)$.
So if the $p$-Sylow subgroup of $\widetilde{G}$ is trivial, then the $p$-Sylow subgroup of $G$
is trivial, implying $H^1(G,V)=0$, by Lemma \ref{Sylow}.
\end{description}
\end{rem}

\noindent   Because of Remark \ref{SL_n}, in the proof of Theorem \ref{P1_bis},
we will often  assume, without loss of generality, that $G$ is a
proper subgroup of $\SL_n(p^m)$. Since Lemma \ref{normal} allows us to deal with normal subgroups of $G$ instead of
$G$ itself, then one can think to reduce the
study to the cohomology of simple groups acting on $V$. Anyway this is
not sufficient, since the cohomology of a cyclic group of prime order acting on $V$ is not always trivial.
Thus, we will more generally investigate the cohomology of all possible subgroups of $\SL_n(p^m)$
acting faithfully and irreducibly on $V$. In the last part of the proof of Theorem \ref{P1_bis},
by considering the groups of class $\C_9$, we will deal with the cohomology of simple groups
that are not cyclic (and prove Corollary \ref{simple}, as mentioned above).

\subsection{Tensor products and classical groups}

\noindent We are going to investigate the cohomology of $G$ with values in $V$, when
$V$ has a tensor product decomposition. Next lemma considers the case when $V\simeq (\FF_q)^n=V_1 \bigotimes V_2$, where $V_1$, $V_2$ are vector spaces over $\F_{p^m}$, with dimension respectively $t$ and $r$, such that $rt=n$.
This case does not occur when $n$ is a prime.   Let
$\GL(V_i)$ be the group of the linear transformations of $V_i$, for $i\in \{1,2\}$. Let $x\in V_1$ and $y\in V_2$. As in \cite[\S 4.4]{KL},
for every $\sigma\in \GL(V_1)$ and $\tau\in \GL(V_2)$ we denote by $\sigma\otimes \tau$
the map acting on elements $x\otimes y\in V$ as $(\sigma\otimes \tau)(x\otimes y)=
\sigma(x)\otimes \tau(y)$ and then acting on the whole $V$, with the action extended by linearity.
The group  $\GL(V_1)\otimes \GL(V_2)$ is formed by the maps $\sigma\otimes\tau$, with $\sigma\in \GL(V_1)$ and $\tau\in \GL(V_2)$.
 We recall that $\GL_t(p^m)\circ \GL_r(p^m)\simeq \GL(V_1)\otimes \GL(V_2)\leq \GL(V)$ by \cite[\S 4.4]{KL}.
Every subgroup of $\GL_t(p^m)\circ \GL_r(p^m)$ is itself a central product of two groups (where one of the two
groups or both can be trivial).
In particular, if $G=G_t\circ G_r\leq \GL_t(p^m)\circ \GL_r(p^m)$, then $G_t$ is a subgroup of $\GL_t(p^m)$ acting on $V_1$ and $G_r$ is a subgroup of $\GL_t(p^m)$
acting on $V_2$  (see also \cite[\S 4.4]{KL}). We denote by $\overline{G_t}$ and $\overline{G_r}$ the images of $G_t$ and
respectively $G_r$ in the quotient $G=G_t\circ G_r$. Observe that in particular
 $\overline{G_t}$ and $\overline{G_r}$ are quotients of  $G_t$ and respectively $G_r$ (by subgroups of their centers).
\bigskip

\begin{lem} \label{tensor}
Let $V=V_1 \bigotimes V_2$, where $V_1$, $V_2$ are vector spaces
 over $\F_{p^m}$, with dimension respectively $t$ and $r$.  Assume that $G=G_t\circ G_r$ acts faithfully and semisimply on $V$
as a subgroup of $\GL_t(p^m)\circ \GL_r(p^m)$.
Assume that $H^1(G_t,V_1)=0$ and $H^1(G_r,V_2)=0$.
Then $H^1(G,V)=0$.
\end{lem}

\begin{proof}
As before, owing to $H^1(G,.)$ being an additive functor, we may assume without loss of generality
that $G$ acts irreducibly on $V$. Since $\overline{G_t}$ is a quotient of $G_t$, then by the inflation-restriction exact sequence,
the triviality of $H^1(G_t,V_1)$ implies $H^1(\overline{G_t},V_1)=0$. In the same way the
triviality of $H^1(G_r,V_2)$ implies $H^1(\overline{G_r},V_2)=0$.
On the other hand the groups $\overline{G_t}$ and $\overline{G_r}$ are isomorphic to normal subgroups
of $G$. Thus we also have the following inflation-restriction exact sequence

\begin{equation} \label{infres3} 0\rightarrow H^1(\overline{G_t},V^{\overline{G_r}})\rightarrow H^1(G,V)\rightarrow H^1(\overline{G_r},V)^{\overline{G_t}}
\rightarrow H^2(\overline{G_t},V^{\overline{G_r}}). \end{equation}

\noindent Since  $V$ is an irreducible $G$-module and ${\overline{G_r}}$ is isomorphic to a normal
subgroup of $G$, we can use Lemma \ref{normal}. To ease notation, instead of introducing
a submodule $\widetilde{W}$ of $V$, which is an irreducible ${\overline{G_r}}$-module, and
rewrite the exact sequence \eqref{infres3} with $\widetilde{W}$ instead of $V$, we
use Remark \ref{rem_normal} and assume without
loss of generality that  $V$ is an irreducible ${\overline{G_r}}$-module.
Therefore $V^{\overline{G_r}}$ is the whole $V$ or it is trivial.
If $V^{\overline{G_r}}=V$, then $\overline{G_r}$ is trivial.
By the exact sequence \ref{infres3}, then $H^1(\overline{G_t},V)\simeq H^1(G,V)$.
We may identify $G$ with $\overline{G_t}\otimes \langle \I_r\rangle \simeq \overline{G_t}$.
Let $\sigma\in \overline{G_t}$, such that

$$\sigma = \left(
    \begin{array}{ccc}
       \alpha_{1,1} & \hdots & \alpha_{1,t} \\
 \vdots &  & \vdots \\
        \alpha_{t,1} &  \hdots &\alpha_{t,t} \\
    \end{array}
  \right),$$

\medskip\noindent then

$$\sigma\otimes \I_r= \left(
    \begin{array}{c|c|c}
       \alpha_{1,1} \I_r &  \hdots & \alpha_{1,t}\I_r  \\
\hline
 \vdots &  & \vdots \\
\hline
        \alpha_{t,1} \I_r &  \hdots &\alpha_{t,t} \I_r \\
    \end{array}
  \right).$$

\medskip\noindent By abuse of notation, we will denote a class  in $H^1(G,V)$ with one of its representative.
 Let $Z\in H^1(G,V)$, such that

$$Z_{\sigma\otimes \I_{r}}=\left(
    \begin{array}{c}
         x_{\sigma,1}  \\
 x_{\sigma,2} \\
        \vdots \\
  x_{\sigma,tr} \\
    \end{array}
  \right).$$

\medskip\noindent with $x_{\sigma,h}\in \FF_q$, for all $1\leq h\leq tr$. For $1\leq j\leq r$, we define

$$Z_{\sigma}^j:=\left(
    \begin{array}{c}
         x_{\sigma,j}  \\
 x_{\sigma,r+j}  \\
 x_{\sigma,2r+j}  \\
        \vdots \\
 x_{\sigma,(t-1)r+j}  \\
    \end{array}
  \right).$$

\medskip\noindent If

$$\tau = \left(
    \begin{array}{ccc}
       \beta_{1,1} & \hdots & \beta_{1,t} \\
 \vdots &  & \vdots \\
        \beta_{t,1} &  \hdots &\beta_{t,t} \\
    \end{array}
  \right).$$

\medskip\noindent then

$$\sigma\tau = \left(
    \begin{array}{ccc}
       \alpha_{1,1} \beta_{1,1} +...+  \alpha_{1,t} \beta_{t,1} &  \hdots &  \alpha_{1,1} \beta_{1,t} + ... +\alpha_{1,t} \beta_{t,r} \\
\vdots & & \vdots \\
       \alpha_{t,1} \beta_{1,1} + ... + \alpha_{t,t} \beta_{t,1} & \hdots &  \alpha_{t,1} \beta_{1,t} + ... +  \alpha_{t,t} \beta_{t,r} \\
    \end{array}
  \right)$$

\noindent and

$$\sigma\tau\otimes \I_r = \left(
    \begin{array}{c|cc|c}
       (\alpha_{1,1} \beta_{1,1} +...+  \alpha_{1,t} \beta_{t,1})\I_r &  \hdots & \hdots &  (\alpha_{1,1} \beta_{1,t} + ... +\alpha_{1,t} \beta_{t,r})\I_r \\
\hline
\vdots & & & \vdots \\
\hline
       (\alpha_{t,1} \beta_{1,1} + ... + \alpha_{t,t} \beta_{t,1})\I_r & \hdots & \hdots &  (\alpha_{t,1} \beta_{1,t} + ... +  \alpha_{t,t} \beta_{t,r})\I_r \\
    \end{array}
  \right)$$

\medskip\noindent Let

$$Z_{\sigma\tau\otimes \I_r}= \left(
    \begin{array}{c}
       x_{\sigma\tau,1} \\
        x_{\sigma\tau,2} \\
\vdots \\
x_{\sigma\tau,tr}\\
    \end{array}
  \right) \hspace{0.5cm} \textrm{and} \hspace{0.5cm}  Z_{\tau\otimes \I_{r}}=\left(
    \begin{array}{c}
         x_{\tau,1}  \\
 x_{\tau,2} \\
        \vdots \\
  x_{\tau,tr} \\
    \end{array}
  \right),$$

\medskip\noindent with $x_{\sigma\tau,h}\in \FF_q$ and  $x_{\tau,h}\in \FF_q$, for all $1\leq h\leq tr$.
Since $Z\in H^1(G, V)$, then $Z_{\sigma\tau\otimes \I_r}=Z_{(\sigma\otimes \I_r)(\tau\otimes \I_r)}=
Z_{(\sigma\otimes \I_r)}+(\sigma\otimes \I_r)Z_{(\tau\otimes \I_r)},$ i.e.

$$ \left(
    \begin{array}{c}
       x_{\sigma\tau,1} \\
        x_{\sigma\tau,2} \\
\vdots \\
x_{\sigma\tau,tr}\\
    \end{array}
  \right)=\left(
    \begin{array}{c}
       x_{\sigma,1} \\
        x_{\sigma,2} \\
\vdots \\
x_{\sigma,tr}\\
    \end{array}
  \right)+ \left(\begin{array}{c}
       \alpha_{1,1}x_{\tau,1} + \alpha_{1,2}x_{\tau,r+1} +... + \alpha_{1,t}x_{\tau,(t-1)r+1}\\
 \alpha_{1,1}x_{\tau,2} + \alpha_{1,2}x_{\tau,r+2}+... + \alpha_{1,t}x_{\tau,(t-1)r+2}  \\
         \vdots\\
  \alpha_{t,1}x_{\tau,t} + \alpha_{t,2}x_{\tau,r+t}+... + \alpha_{t,t}x_{\tau,tr}\hspace{0.8cm}\\
    \end{array}
  \right). $$

\medskip\noindent In particular we deduce $Z_{\sigma\tau}^j=
Z_{\sigma}^j+\sigma(Z_{\tau}^j)$, for all $1\leq j\leq r$. Therefore $Z^j\in H^1(\overline{G_t},V_1)$, for all $1\leq j\leq r$.
 Being $H^1(\overline{G_t},V_1)=0$, then there exist $y_1,y_2,...,y_{tr}\in \FF_q$ such that

$$Z_{\sigma}^j=(\sigma-\I_r)\left(
    \begin{array}{c}
       y_{j} \\
y_{r+j} \\
\vdots \\
y_{(t-1)r+j} \\
    \end{array}
  \right).$$

\medskip\noindent Thus

$$ Z_{\sigma\otimes \I_r}=(\sigma\otimes \I_r-\I_t\otimes \I_r)\left(
    \begin{array}{c}
       y_{1} \\
     y_{2} \\
\vdots\\
y_{tr}\\
    \end{array}
  \right), $$

\medskip\noindent implying  $H^1(G,V)=0$.
\par
If $V^{\overline{G_r}}=0$, then   $H^1(\overline{G_t},V^{\overline{G_r}})$ and
 $H^2(\overline{G_t},V^{\overline{G_r}})$ are both trivial. From the inflation-restriction exact sequence
\eqref{infres3}, we have  $H^1(G,V)\simeq H^1(\overline{G_r},V)^{\overline{G_t}}$.
In particular $H^1(G,V)$ is isomorphic to a subgroup of $H^1(\overline{G_r},V)$. By identifying an element
$\tau\in\overline{G_r}$ with $\I_t\otimes \tau$, we can proceed as above, when $G\simeq \overline{G_t}\otimes \langle \I_r\rangle$,
to get $H^1(G,V)=0$, by using $H^1(\overline{G_r},V_2)=0$.
\end{proof}

\bigskip \noindent With a very similar proof, we have the following result about the first cohomology group
of a group acting on a tensor product in the way described by Steinberg's Tensor Product Theorem (see \cite{Ste}),
with the only difference that here the representation of $G$ is not projective.

\begin{lem} \label{tensor3}
Let $t$, $r$ be positive integers.
Let $V=\bigotimes_{i=1}^t V_i$, where, for every $1\leq i\leq t$, $V_i$ is a vector space  over $\F_{p^m}$ of dimension $r$.
Let $\f: x\mapsto x^p$ be the Frobenius map of $\F_{p^m}$. For every $\sigma_i\in \GL( V_i)$ and every integer $0\leq j\leq m$,
let $\f^j(\sigma_i)$ denote
the matrix obtained by raising the entries of $\sigma_i$ to their $p^j$-th powers. In particular $\f^0(\sigma)=\sigma$. Let $\tau$
be a permutation in $S_t$.
Assume that $G$ is a subgroup of $\GL(V)$ formed by elements $\f^{j_1}(\sigma_1)\otimes  ... \otimes \f^{j_t}(\sigma_t)$
acting on $v_1 \otimes v_2\otimes ... \otimes v_t\in V$ in the following way $(\f^{j_1}(\sigma_1)\otimes ... \otimes \f^{j_t}(\sigma_t))(v_1 \otimes v_2\otimes ... \otimes v_t)=
\f^{j_1}(\sigma_1)(v_{\tau(1)}) \otimes ...\otimes \f^{j_t}(\sigma_t)(v_{\tau(t)})$, where $0\leq j_i\leq m$, for every $1\leq i\leq t$. Consider the action of $G$ extended by linearity to the whole $V$. For a fixed $i$, let $G_i$ be the subgroup of $\GL(V_i)$ formed by the maps $\sigma_i$ (appearing in the $i$-th position) as above.
Assume that $V$ is a faithful and irreducible $G$-module.
If  $H^1(G_i, V_i)=0$, for all $1\leq i\leq t$, then
$H^1(G,V)=0$.
\end{lem}

\begin{proof}
The same arguments used in the proof of Lemma \ref{tensor} work as well in this case with the only differences
that here the entries $\alpha_{i,j}$ in $\sigma$ are now raised to their $p^j$-th powers, for some $0\leq j\leq m$ and the
$x_{\sigma,i}$, with $1\leq i\leq n$, are permuted.
\end{proof}

\noindent Observe that Lemma \ref{tensor3} holds when $\tau=\Id$ too.
We state explicitly the particular case when $\tau=\Id$ and
$j_i=0$, for all $1\leq i\leq t$, since we will use it in the proof of Theorem \ref{P1_bis}.

\begin{cor} \label{tensor_2}
Let $V=\bigotimes_{i=1}^t V_i$, where $V_i$ is a vector space  over $\F_{p^m}$ of dimension $d_i$, for every $1\leq i\leq t$.
Assume that $G$ is a subgroup of $\GL(V)$ formed by elements $\sigma_1\otimes  ... \otimes \sigma_t$
acting on $v_1 \otimes v_2\otimes ... \otimes v_t\in V$ in the following way $(\sigma_1\otimes ... \otimes\sigma_t)(v_1 \otimes v_2\otimes ... \otimes v_t)=
\sigma_1(v_1) \otimes ...\otimes \sigma_t(v_t)$. Consider the action of $G$ extended by linearity to the whole $V$. For a fixed $i$, let $G_i$ be the subgroup of $\GL(V_i)$ formed by the maps $\sigma_i$ (appearing in the $i$-th position) as above. Assume that $V$ is a faithful and irreducible $G$-module.
If  $H^1(G_i, V_i)=0$, for all $1\leq i\leq t$, then
$H^1(G,V)=0$.
\end{cor}

\begin{rem} \label{tensor4}
Note that Lemma \ref{tensor3} and Corollary \ref{tensor_2} hold as well when $G\leq \PGL(V)$, instead of $G\leq \GL(V)$.
As mentioned above, when $G$ has a projective representation we are exactly in the situation described by Steinberg's Tensor Product Theorem for tensor products (see \cite{Ste}).
\end{rem}

\bigskip
Another important step is to investigate the triviality of $H^1(G,V)$ when
 $G$ is one of the whole classical groups $\SL_t(p^m)$,
$\Sp_{2t}(p^m)$, $\O_{2t+1}(p^m)$, $\O_{2t}^{\epsilon}(p^m)$, with $\epsilon \in \{+,-\}$ or $\Uni_t(p^m)$, for some positive integer $t$.
\bigskip

\begin{lem} \label{whole}
Assume that $G$ is one of the groups $\SL_t(p^m)$, $\Uni_t(p^m)$, $\O_{2t}^{\epsilon}(p^m)$, with $\epsilon \in \{+,-\}$,  $\O_{2t+1}(p^m)$, or $\Sp_{2t}(p^m)$, for some positive integer $t\leq n$. If $V$ is a faithful and irreducible $G$-module, then  $H^1(G,V)=0$, for all $p> t+1$.
\end{lem}

\begin{proof} Let $p>t+1$. In particular $p\neq 2$.
Observe that since $\Omega_{2t+1}(q)$ has index 2
in $\O_{2t+1}(q)$, then

$$0\rightarrow H^1(C_2,V^{\Omega_{2t+1}(q)})\rightarrow H^1(\O_{2t+1},V)\rightarrow H^1(\Omega_{2t+1}(q),V)^{C_2},$$

\noindent and it suffices to prove $H^1(\Omega_{2t+1}(q),V)=0$ to deduce $H^1(\O_{2t+1},V)=0$. The same
argument works for $\Omega_{2t}^{\epsilon}(q)$, that has index 2 in $\O_{2t}^{\epsilon}(q)$. So we will consider
the group $\Omega_{2t+1}(q)$ (resp. $\Omega_{2t}^{\epsilon}(q)$) in the place of $\O_{2t+1}$ (resp. $\O_{2t}^{\epsilon}(q)$).
 Let $S$ be the quotient by scalar matrices of the classical matrix group $G$. We have $S=G/Z(G)$, where $Z(G)$ is the center of $G$. Since no scalar matrix
has order dividing $p$, for every $p>2$, then the $p$-Sylow subgroup of $Z(G)$ is trivial
and $H^1(Z(G),V)=0$, by Lemma \ref{Sylow}. If $Z(G)$ is nontrivial,
then we are in the situation described in Corollary \ref{extension_sn_cor} and
 $H^1(G,V)=0$. If $Z(G)$ is trivial, then $G=S$.
We will prove $H^1(S,V)=0$. It is well-known that the group $S$ is a simple group (see for instance \cite{Wil}), in particular
it is a group of Lie type.
We recall that in the setting of the groups of Lie type the common notations are $A_{t-1}(p^m)$ for the projective special linear group
$\PSL_{t}(p^m)$, $^2A_{t-1}(p^m)$ for the projective unitary group $\PUni_{t}(p^{m})$, $C_{t}$ for the projective symplectic group $\PSp_{2t}(p^m)$,
$B_t$, $D_t$ and $^2D_t$ respectively for the projective orthogonal groups
$\textrm{P}\Omega_{2t+1}(q)$, $\textrm{P}\Omega_{2t}^+(q)$ and $\textrm{P}\Omega_{2t}^-(q)$ \cite[Remark 1.3.18]{Smi},
\cite[Part 1, Chap. I, \S 1]{GLS}.
Then, by \cite{CPS} (see in particular Table (4.5) at page 186) and \cite{CPS2}
(see in particular Table (4.3) at page 193), the cohomology
group $H^1(S,V)$ is trivial, for all $p>t+1$, when $n$ is the  minimal degree of the representation of $S$ in $\GL_n(q)$
and when $n$ is the dimension of the Lie algebra with automorphism group $S$ (in this case $S$ has a natural
representation in dimension $n$ and  this often coincides with the representation of $S$ with minimal degree).
If the representation of $S$ is neither the minimal nor the natural one, then we can proceed as follows.
Assume first that $S$ is not a projective symplectic group $\PSp_{2t}(p^m)$.
Let
$L(\lambda)$ denote the irreducible $S$-module of highest weight $\lambda$.
In \cite[Theorem 1.2.3]{Georgia} the authors prove that for all $p>3$ the first cohomology group
$H^1(S,L(\lambda))$ is trivial, when $\lambda$ is a fundamental
dominant weight (or it is less than a fundamental dominant weight).
In particular, we have  $H^1(S,L(\lambda))=0$.
In 1950 Chevalley proved that if $S$ acts irreducibly on the $S$-module $V$, then $V=L(\lambda)$, for
some dominant weight $\lambda$ (see \cite{His} and \cite{Che}).  In addition, every dominant weight is a positive integer linear combination of
fundamental dominant weights, and it is well-known in the theory of Lie groups that
this implies a decomposition $L(\lambda)=\otimes_{i=1}^s L(\omega_i)$, where
$s$ is a positive integer ($s\leq n$) and $\omega_i$ is a fundamental weight, for every $1\leq i\leq s$.
Thus $H^1(S,V)\simeq H^1(S, \otimes_{i=1}^s L(\omega_i))$, for certain fundamental
weights $\omega_i$. If $S$ preserves the tensor product decomposition $\otimes_{i=1}^s L(\omega_i)$, as in the
case of a group of class $\C_4$  (see \cite[\S 4.4]{KL}), then $S$ acts on $V$ as described
in Lemma \ref{tensor}. More
generally the group $S$ can act on $V$ as prescribed by Steingberg's Tensor Product Theorem \cite{Ste},
i.e. in the way described in Lemma  \ref{tensor3} (see also Remark \ref{tensor4}).
In all those cases,
since Theorem 1.2.3 in \cite{Georgia} assures the triviality of $H^1(S,L(\omega_i))$, for all $1\leq i\leq s$,
then  $H^1(S,V)=0$ follows by the mentioned Lemma \ref{tensor3}.
If $S$ is a projective symplectic group $\PSp_{2t}(p^m)$ and the representation of $S$ is neither the minimal
nor the natural one,  then it is not true in general that
the cohomology $H^1(S,L(\lambda))$ vanishes.
As above, let $L(\lambda)$ denote the irreducible $S$-module of highest weight $\lambda$
and assume $L(\lambda)=\otimes_{i=1}^s L(\omega_i)$, where
$s$ is a positive integer and $\omega_i$ is a fundamental weight, for every $1\leq i\leq s$. Observe that since $L(\omega_i)$
is a vector subspace of $L(\lambda)$ over $\FF_q$, in particular $s\leq 2t$ and  $i\leq 2t$.
Let $t+1=b_0+b_1p+b_2p^2+ ... +b_jp^j$, where $j$ is a positive integer
and $b_h\in \FF_q$, for $0\leq h\leq j$. Then
\cite[Theorem 1.2.3]{Georgia} implies $H^1(S,L(\omega_i))=0$, for every $i\neq 2b_hp^h$.
On the other hand, when $i= 2b_hp^h$, then $H^1(S,L(\omega_i))\neq 0$.
Observe that if $p> t+1$, then $t+1=b_0$ and $2b_0=2(t+1)=2t+2>2t$.
Thus $H^1(S,L(\omega_i))=0$, for every $i$, when $p>t+1$, and we may
repeat the arguments used above for projective special linear groups, projective orthogonal groups and projective
unitary groups to get $H^1(S,V)=0$.
\end{proof}

\noindent Observe that the conclusion of Lemma \ref{whole} holds in particular for
$p>(2n+1)^2$.

\subsection{Proof for $n\leq 3$} \label{subsec2}
Since $\GL(\FF_q)=\FF_q^*$, when $n=1$ the cardinality of $G$ is not divided by $p$, then the conclusion
of Theorem \ref{P1_bis} follows immediately from Lemma \ref{Sylow}.
We are going to prove Theorem \ref{P1_bis} when $G$ is isomorphic to a subgroup of $\GL_n(\FF_{p^m})$, for $n\in \{2,3\}$.
As above, since $H^1(G,.)$ is an additive functor,  it suffices to prove the
statement when $V$ is an irreducible $G$-module, to get an answer even in the case when $V$ is a direct sum of
 irreducible $G$-modules. Moreover, by Lemma \ref{normal} and Remark \ref{SL_n} we may assume without loss of generality that
$G$ is a subgroup of $\SL_n(q)$, for $n\in \{2,3\}$.
We will use the classification of the maximal subgroups of $\SL_2(q)$ and $\SL_3(q)$
appearing in \cite{BHR}.

\begin{rem} \label{sharp}
By the proofs of Theorem \ref{P1_bis} for $n\in \{2,3\}$ below, one can notice that
the bound $p>(2n+1)^2$ is quite large for $n\leq 3$ and it suffices to take
$p>2n+1$ to get the conclusion of Theorem \ref{P1_bis} in these cases. Anyway, for a general
$n$, the bound $p>2n+1$ is not sufficient, in particular when $G$ is
a projective unitary group in cross characteristic (see Subsection \ref{gen_case}
for further details), and we need to take $p>(2n+1)^2$.
In order to give a unique (and more elegant) version of Theorem \ref{P1_bis},
for all $n$, we put $c(n)=(2n+1)^2$, for every $n$.
For this reason, we will consider $p>(2n+1)^2$ even for
$n\leq 3$.
\end{rem}

Assume first that $n=2$. From \cite[Table 8.1 and Table 8.2, pag. 377]{BHR},
we deduce the following lemma.

\begin{lem} \label{n=2lem} Let $q=p^m$, where $p$ is a prime number and $m$ is a positive integer.
The maximal subgroups of $\SL_2(q)$ of type $\C_i$, with $2\leq i\leq 9$  are

\begin{description}
 \item[(a)] a subgroup of type $\C_2$, the generalized quaternion group $Q_{2(q-1)}$ of order $2(q-1)$, with $q$ odd, $q\neq 5$;
  \item[(b)] a subgroup of type $\C_2$, the dihedral group $D_{2(q-1)}$ of order $2(q-1)$, with $q$ even;
  \item[(c)] a subgroup of type $\C_3$, the generalized quaternion group $Q_{2(q+1)}$,  of order $2(q+1)$, for $q$ odd;
  \item[(d)] a subgroup of type $\C_3$, the dihedral group $D_{2(q+1)}$ of order $2(q+1)$, for $q$ even;
  \item[(e)] a subgroup of type $\C_5$, the group $\SL_2(q_0).C_2$, with $q=q_0^2$;
  \item[(f)] subgroup of type $\C_5$,  the group $\SL_2(q_0)$, with $q=q_0^r$, for $q$ odd, $r$ an odd prime;
  \item[(g)] subgroup of type $\C_5$,  the group $\SL_2(q_0)$, with $q=q_0^r$, for $q$ even, $q_0\neq 2$, $r$ prime;
  \item[(h)] a group of type $\C_6$, the group $2^{1+2}.S_3$, for $q=p\equiv \pm 1 \modn 8)$;
 \item[(i)] a group of type $\C_6$, the group $2^{1+2}\rtimes C_3$, for $q=p\equiv \pm 3, 5, \pm 11, \pm 13, \pm 19 \modn 40)$;
  \item[(j)] a group of type $\C_9$, the group $C_2^{\cdot}A_5$, $q=p\equiv \pm 1 \modn 10)$ or $q=p^2$, with $p\equiv \pm 3 \modn 10)$.
\end{description}

\end{lem}

\noindent \textbf{Proof of Theorem \ref{P1_bis} for $n=2$.}
 Since we are assuming that $G$ acts irreducibly on $V$, then $G$ is not of class $\C_1$ and it is
 isomorphic to one of the subgroups of $\SL_2(p^m)$ listed in Lemma \ref{n=2lem}. Suppose that $G$ is
not of class $\C_5$. Then we are not in one of the cases \textbf{(e)}, \textbf{(f)} and \textbf{(g)}.
In all the other cases the $p$-Sylow subgroup of $G$ is trivial, for all $p> c(2)=25$. By Lemma \ref{Sylow}, we have $H^1(G,V)=0$.
As we have stated in Remark \ref{sharp},
in this case it suffices to take $p>2n+1=5$ to get the conclusion, but we assume $p>25$ in accordance with
the general statement of Theorem \ref{P1_bis}.
Case \textbf{(g)} never occurs for $p\neq 2$. Suppose that we are in case  \textbf{(f)}. Then $G$ is
a subgroup of  $\SL_2(q_0)$, where $q=q_0^2$. If $G=\SL_2(q_0)$, then $H^1(G,V)=0$, by Lemma \ref{whole}.
Assume that $G$ is a proper subgroup of $\SL_2(q_0)$. If $G$ is
of type $\C_i$, with $i\neq 5$, because of our assumption that $V$ is an irreducible $G$-module,
then $G$ is isomorphic to one of the subgroups  of the groups listed in cases \textbf{(a)},  \textbf{(b)},  \textbf{(c)},  \textbf{(d)}, \textbf{(h)}, \textbf{(i)} and \textbf{(j)}.
Thus   $H^1(G,V)=0$. If
$G$ is still of type $C_5$, then $G$ is isomorphic to a subgroup of $\SL_2(q_1)$, where
$q_0=q_1^2$. Again, if $G=\SL_2(q_1)$, then by Lemma \ref{whole}, we have
$H^1(G,V)=0$. We may assume that $G$ is a proper subgroup
of $\SL_2(q_1)$ and so on. Since $m$ is finite, at a certain point we will find
that either $G=\SL_2(q_i)$, for some power $q_i$ of $p$, or $G$ is of type $\C_i$, with $i\neq 5$, or $G$ is trivial.
In each of these cases, we have $H^1(G,V)=0$.
Suppose that we are in case  \textbf{(e)}. For every $p> 2$, the $p$-Sylow subgroup $G_p$ of $G$ is
a subgroup of  $\SL_2(q_0)$, where $q=q_0^2$. Since $G\cap \SL_2(q_0)$ is a normal
subgroup of $G$, by Remark \ref{rem_normal} we may assume that $G$ is a
subgroup of $\SL_2(q_0)$ and proceed as in case \textbf{(f)}. \eop

\bigskip Let $n=3$. We recall the classification of the maximal subgroups of $\SL_3(q)$ and the classification of the maximal subgroups
of  $\SU_3(q)$ appearing in \cite[Tables
8.3-8.6, pages 378-379]{BHR},
for groups of type $\C_i$, with $i\neq 1$.

\begin{lem} \label{M+B+L-cor} Let $q=p^m$, where $p$ is a prime number and $m$ is a positive integer.
Let $d:=\gcd(q-1,3)$.
The maximal subgroups of $\SL_3(q)$ of type $\C_i$, with $2\leq i\leq 9$  are

\begin{description}

  \item[(a)] a group of type $\C_2$, the group $C_{q-1}^2\rtimes S_3$, for $q\geq 5$;
  \item[(b)] a group of type $\C_3$, the group $C_h\rtimes C_3$, where $h=q^2+q+1$;
  \item[(c)] a group of type $\C_5$, the group $\SL_3(q_0).C_s$, where $s:=\gcd\left(\frac{q-1}{p-1},3\right)$
and $q=q_0^r$, $r$ prime;

  \item[(d)] a group of type $\C_6$, the group $3_{+}^{1+2}\rtimes Q_8.C_s$, where $s=\frac{\gcd(q-1,9)}{3}$, $q=p\equiv 1 \modn 3)$ and
the extraspecial group $3_{+}^{1+2}$ is the $p$-Sylow subgroup of $\GL_3(p)$;

 \item[(e)] a group of type $\C_8$, the group $ \SO_3(q)\times C_d$, with $q$ odd;
 \item[(f)] a group of type $\C_8$, the group $\SU_3(q_0)\times C_t$, where $t:=\gcd(p-1,3)$ and $q=q_0^2$;
\item[(g)] a group of type $\C_9$, the group $\PSL_2(7)\times C_d$, for $q=p\equiv 1,2,4 \modn 7), q\neq 2$;
\item[(h)] a group of type $\C_9$, the group $C_3^{\hspace{0.1cm} .}A_6$,  of order $9\cdot 5!$, for $q=p\equiv 1,4 \modn 15)$ or $q=p^2$, with $p\equiv 2,3 \modn 5), p\neq 3$.
\end{description}

\end{lem}

\bigskip

\begin{lem} \label{SU_3} Let $q=p^m$, where $p$ is a prime number and $m$ is a positive integer.
Let $d:=\gcd(q-1,3)$.
The maximal subgroups of $\SU_3(q)$ of type $\C_i$, with $2\leq i\leq 9$  are

\begin{description}

\item[(e.1)] a group of type $\C_2$, the group $C_{q-1}^2\rtimes S_3$, for $q\geq 5$;
  \item[(e.2)] a group of type $\C_3$, the group $C_h\rtimes C_3$, where $h=q^2+q+1$, $q\neq 3$;
  \item[(e.3)] a group of type $\C_5$, the group $\SU_3(q_0).C_s$, where $s:=\gcd\left(\frac{q+1}{q+1},3\right)$ and $q=q_0^r$, $r$ prime;
\item[(e.4)] a group of type $\C_8$, the group $\SO_3(q)\times C_d$, $q$ odd and $q\geq 7$;

  \item[(e.5)] a group of type $\C_6$, the group $3_{+}^{1+2}\rtimes Q_8.C_s$, where $s=\frac{\gcd(q+1,9)}{3}$ and
the extraspecial group $3_{+}^{1+2}$ is the $p$-Sylow subgroup of $\GL_3(p)$, for $q=5$ or $q=p\equiv 2 \modn 3)$ and $q\geq 11$;

\item[(e.6)] a group of type $\C_9$, the group $\PSL_2(7)\times C_d$, $q=p\equiv 3,5,6 \modn 7)$;
\item[(e.7)] a group of type $\C_9$, the group $C_3^{\hspace{0.1cm} .}A_6$, for $q=p\equiv 11, 14 \modn 15)$;
\item[(e.8)] a group of type $\C_9$, the group $C_3^{\hspace{0.1cm} .}A_6^{\cdot}C_2$, (where here $C_2$ is a known specific quotient of $A_6$), for $q=p=5$;
\item[(e.9)] a group of type $\C_9$, the group $C_3^{\hspace{0.1cm} .}A_7$, of order $9\cdot 7\cdot 5!$, for $q=p=5$.
\end{description}

\end{lem}

\bigskip\noindent \textbf{Proof of Theorem \ref{P1_bis} for $n=3$}.
As in the case when $n=2$, we  assume that $G\leq \SL_n(q)$ acts irreducibly on $V$. Then $G$ is not of class $\C_1$ and
 it is a subgroup of the groups listed in Lemma \ref{M+B+L-cor}.  We are going to show that $H^1(G,V)=0$, for all $p> c(3)= 49$.
In this case also it suffices to take $p>7$ to get the conclusion, but we consider $p>49$ in accordance with
the statement of Theorem \ref{P1_bis}, holding for all $n$ (see Remark \ref{sharp}).
In cases  \textbf{(a)}, \textbf{(b)}, \textbf{(d)}, \textbf{(g)} and \textbf{(h)}
the $p$-Sylow subgroup of $G$ is trivial, for all $p> 49$.  Thus $H^1(G, V)=0$, by Lemma \ref{Sylow}.
 Assume that we are in case  \textbf{(c)}.  For every $p> c(3)$, the group $G_p$
is a subgroup of $\SL_3(q_0)$. Since $\SL_3(q_0)$ is a normal subgroup of $G$ and $V$ is an irreducible $G$-module, by Remark
\ref{rem_normal}, we assume again that $G\subseteq \SL_3(q_0)$.  If $G=\SL_3(q_0)$, then
  $H^1(G, V)=0$, by Lemma \ref{whole}. If $G$ is trivial, then  $H^1(G, V)=0$ too.
So, suppose that $G$ is a non-trivial proper subgroup of $\SL_3(q_0)$.
If $G$ is still of type $\C_5$ in $\SL_3(q_0)$, then $G$ is contained in  $\SL_3(q_1).C_{s_1}$, where
$q_0=q_1^2$ and $s_1=\frac{\gcd(q_0-1,9)}{3}$. Again, we may assume  that $G$ is strictly contained in $\SL_3(q_1)$ and so on.
Since $q$ is finite, after a finite number of steps we find that either $G$ is of type $\C_i$, with $i\neq 5$, or $G=\SL_3(q_i)$,
for a certain power $q_i$ of $p$, or $G$ is trivial. We have $H^1(G, V)=0$ in all those cases, by the arguments used for
the subgroups of classes $\C_i$, with $i\neq 5$, and Lemma \ref{whole}.
Assume that we are in case  \textbf{(e)}.
Again, for all $p$, the $p$-Sylow subgroup $G_p$ of $G$ is contained
in $\SO_3(q)$. Since $V$ is an irreducible $G$-module, by Lemma \ref{normal} we may assume without loss of generality that
$G$ is contained in $\SO_3(q)$.
 If $G=\SO_3(q)$, then $H^1(G,V)=0$, by Lemma \ref{whole}.
Assume that $G$ is strictly contained in $\SO_3(q)$.  The group $\SO_3(q)$ is isomorphic to $\SL_2(q)$ (see \cite[Proposition 1.10.1]{BHR}).
Having proved the statement for $n=2$, then $H^1(G,V)$ vanishes.
Suppose that we are in case  \textbf{(f)}. As above, we
assume without loss of generality that $G\leq \SU_3(q)$. If $G=\SU_3(q)$, then we get the triviality of
 $H^1(G,V)$, by Lemma \ref{whole}.  Assume that $G$ is strictly contained  in $\SU_3(q)$.
 Thus we use Lemma \ref{SU_3}. There are only four cases in which the
 subgroups of $\SU_3$ are different from the ones listed in Lemma  \ref{M+B+L-cor}, i.e. cases    \textbf{(e.3)}, \textbf{(e.5)},  \textbf{(e.8)} and  \textbf{(e.9)}.
For all $p> c(3)$,  in cases \textbf{(e.5)},   \textbf{(e.8)} and  \textbf{(e.9)}, the group $G_p$ is  trivial.
Therefore $H^1(G,V)=0$ by Lemma \ref{Sylow}.
We can treat case  \textbf{(e.3)} in the same way as case  \textbf{(c)}.
\eop

\bigskip

\subsection{Proof for $n\geq 4$} \label{gen_case}

\bigskip

To prove Theorem \ref{P1_bis} for every $n$, we use the description of the subgroups of $\GL_n(q)$ of geometric type listed in Section
\ref{sec1}.  For some classes of groups we also use induction, having already proved the statement for $ n\leq 3$. Moreover we use the description of
the subgroups of   $\GL_n(q)$ of class $\C_9$ appearing in Aschbacher's Theorem and recalled in Section \ref{sec1}.  When $G_p$ is isomorphic to $C_p$, we have $H^1(G,V)\neq 0$.
For this reason in various parts of the proof we need to show that $G_p$ is trivial.

\bigskip\noindent\textbf{Proof of Theorem \ref{P1_bis} for $n\geq 4$.}
As for $n\leq 3$, since $H^1(G,.)$ is an additive functor, then
we may assume without loss of generality that $V$ is an irreducible $G$-module.  In particular $G$ is not of class $\C_1$.
Assume $n\geq 4$.
We suppose that  for every integer $n' <n$, we have $H^1(G,\FF_q^{n'})=0$, whenever
$\FF_q^{n'}$ is an irreducible  $G$-module and $p>(2n'+1)^2$.

\vskip 0.5cm
\noindent 1) \emph{The case when $G$ is of class $\C_i$, with $2\leq i\leq 8$}

\bigskip
Assume that $G$ is of class $\C_2$.  In this case $V =\bigoplus_{i=1}^{r} V_i$, with each $V_i$
of dimension $t$ and $G=(G_1\times ... \times G_r)\wr S_r$, where $G_i$ is a subgroup of $\GL_t(q)$ acting on $V_i$ and $tr=n$.
 If $p>(2n+1)^2$, then  in particular $p>r$ and $G_p$ is contained in $G_1\times ... \times G_r$.
Let $\widetilde{G}=G\cap (G_1\times ... \times G_r)$.
By Lemma \ref{extension}, it suffices that $H^1(\widetilde{G},V)=0$ to have $H^1(G,V)=0$.
For $1\leq i\leq r$, the group $\widetilde{G}\cap G_i$ is a normal subgroup of $G$ acting on $V_i$.
By Remark \ref{rem_normal} and the additiveness of $H^1(G,.)$ as a functor (for every fixed group $G$),
we assume both that $V$ is an irreducible $\widetilde{G}$-module and that
$V_i$ is an irreducible $\widetilde{G}\cap G_i$-module, for all $1\leq i\leq r$.
Being $1<r< n$ (otherwise we do not have a direct sum decomposition of $V$), then
$1<t<n$ too. By induction,  for all $p>(2t+1)^2$, we have $H^1(\widetilde{G}\cap G_i, V_i)=0$, for every $1\leq i\leq r$.
Then $H^1(\widetilde{G}, V_i)=0$, for every $1\leq i\leq r$ and, again by using the additiveness of $H^1(\widetilde{G}, .)$ as a functor, the cohomology group $H^1(\widetilde{G}, V)$ is trivial too, for every $p> \max\left\{r,(2t+1)^2\right\}$.
We get $H^1(G, V)=0$, for all $p>\max\left\{r,(2t+1)^2\right\}$. In particular $H^1(G, V)=0$, for all $p>(2n+1)^2$.

\par Suppose that  $G$ is of type $\C_3$.
In this situation the $G$-module $V$ is considered as a vector space over
a field extension $\tilde{F}$ of $\FF_{q}$ with degree
a prime number $r$ dividing $n$. The dimension of $V$
 as a vector space over $\tilde{F}$ is $t:=n/r$  \cite[\S 5.3 and Table 2.1.A]{KL} and
$G$ is isomorphic to a subgroup of $\GL_t(p^{mr}).C_r$.
If $p>(2n+1)^2$, then in particular $p>r$ and $G_p$ is contained in  $\GL_t(p^{mr})$.
Let $\widetilde{G}=G\cap \GL_t(p^{mr})$.
By Lemma \ref{extension}, if $H^1(\widetilde{G},V)=0$, then
$H^1(G,V)=0$. Since $r$ is a prime number, then $t<n$
and we may use induction (recall that here
$V$ is considered as a vector space of dimension $t<n$ over $\tilde{F}$ and that we may assume that
$V$ is an irreducible $\widetilde{G}$-module by Lemma \ref{normal} and Remark \ref{rem_normal}) to have $H^1(\widetilde{G},V)=0$,
for all $p>(2t+1)^2$. Therefore $H^1(G,V)=0$, for every $p> (2n+1)^2$.

\par Suppose that $G$ is of type $\C_4$.
Then $G$ is isomorphic to a subgroup of a central product $\GL_t(p^m)\circ \GL_r(p^m)$
 acting on a tensor product $V_1\otimes V_2=V$, where
 $rt=n$ and $V_1$, $V_2$ are vector spaces
 over $\F_{q}$, with dimension respectively $t$ and $r$. We are in the situation described in Lemma \ref{tensor}.
Thus let $G=G_t\circ G_r$, with $G_t$ acting on $V_1$ and $G_r$ acting on $V_2$  (see also \cite[\S 4.4]{KL}).
Since $r<n$, by Lemma \ref{normal}, Remark \ref{rem_normal} and by induction we have  $H^{1}(G_r,V_1)=0$, for every $p\geq (2r+1)^2$.
In the same way, since $t<n$, then by induction, for all $p>(2t+1)^2$,
we have $H^1(G_t,V_2)=0$.
Thus $H^1(G_1,V_1)=0$ and  $H^1(G_2,V_2)=0$, for every $p> \max\{(2r+1)^2,(2t+1)^2\}$.
Therefore $H^1(G,V)=0$ for every $p>(2n+1)^2$, by Lemma \ref{tensor}.

\par If $G$ is of class $\C_5$, then $G$ is isomorphic to a subgroup of $\GL_n(p^t)$, where $m=tr$,
with $t$ a positive integer and $r$ a prime.
If $G$ is the whole group $\GL_n(p^t)$, then by Remark \ref{SL_n} and by
Lemma \ref{whole}, we have $H^1(G,V)=0$. If $G$ is trivial, then  $H^1(G,V)$
is trivial too. Suppose that $G$ is a proper non-trivial subgroup of $\GL_n(p^t)$.
If $G$ is still contained in a maximal subgroup of $\GL_n(p^t)$ of class $\C_5$,
then $G$ is isomorphic to a subgroup of $\GL_n(p^{t_2})$, for some positive integer $t_2$, such that $t=r_2t_2$, with $r_2$ prime.
If $G=\GL_n(p^{t_2})$, we have again $H^1(G,V)=0$, by Remark \ref{SL_n} and
Lemma \ref{whole}. Then we may
assume that $G$ is a proper subgroup of $\GL_n(p^{t_2})$ and so on.
Since $m$ is finite and we are assuming that $G$ is not trivial, then for some positive integer $t_j$ dividing $m$,
either $G=\GL_n(p^{t_j})$ or $G$
is isomorphic to a subgroup of $\GL_n(p^{t_j})$ of class
$\C_i$, with $i\neq 5$.  We may then repeat the arguments used (or that we will use) for other classes $\C_i$, with $i\notin \{1, 5\}$, to get $H^{1}(G,V)=0$.

\par Suppose that $G$ is of class $\C_6$, i.e. $G$ lies in the normalizer of an extraspecial group.
This may happen only when $n=r^t$, with $r$ a prime different from $p$ and $t$ a positive integer.
We have that $G$ is a subgroup of   $(C_{q-1}\circ r^{1+2t}).\Sp_{2t}(r)$  \cite[\S 3.5]{KL}.
Let $H=C_{q-1}\circ r^{1+2t}$ and $\widetilde{G}:=G\cap H$. Owing to $p\neq r$, the $p$-Sylow subgroup of $\widetilde{G}$ is trivial.
Then  $G_p$  is isomorphic to the $p$-Sylow subgroup of $G/\widetilde{G}$ that is isomorphic to
a subgroup of $\Sp_{2t}(r)$. Since $p\neq r$, then $p$ divides the cardinality
$|\Sp_{2t}(r)|$ if and only if $p$ divides $\prod_{i=1}^{t}(r^{2i}-1)=(r-1)(r+1)...(r^{t-1}-1)(r^{t-1}+1)(r^{t}-1)(r^{t}+1)$.
If $p>(2n+1)^2$, then $p$ divides no factor in this product.
Consequently
$G_p$ is  trivial  and $H^1(G, V)=0$.

\par Suppose that $G$ is of class $\C_7$.  This case
 occur only when $n=r^t$, where $r$ is a prime and $t>1$.
The group $G$ is the stabilizer of a tensor product
decomposition $\bigotimes_{i=1}^{t}V_i$, with $n=r^t$, $t\geq 2$ and $\textrm{dim}(V_i)=r$, for every $1\leq i\leq t$.  Thus
$G$ is a subgroup of $\underbrace{ (\GL_r(q)\circ ... \circ \GL_r(q)) }_{t}.S_t $. The situation is similar to the one described
in Lemma \ref{tensor3}, but here we can have more than one permutation of the $V_i's$.
Obviously $r<n$ and $t<n$, being $t=\log_r(n)$. Then if we take  $p>(2n+1)^2$, we in particular have that $p>t$
and $G_p$ is contained in $\widetilde{G}=G\cap \underbrace{ (\GL_r(q)\circ ... \circ \GL_r(q)) }_{t}$.
Observe that $\widetilde{G}=G_1\circ ... \circ G_t$, where $G_i\leq \GL_r(t)$
is a normal subgroup
of $G$,  acting on $V_i$, for every $1\leq i\leq t$. Thus $\widetilde{G}$ acts on $V$ as
described in Corollary \ref{tensor_2}. Since $G_i$ acts on $V_i$, then
we  use Remark \ref{rem_normal} and induction on $r$ to get $H^1(G_i,V)=0$, for all $p>(2r+1)^2$, for every $1\leq i\leq t$.
By Corollary \ref{tensor_2}, the group $H^1(\widetilde{G},V)$ is trivial, for all $p>  \max\{t,(2r+1)^2\}$.
Then $H^1(G,V)=0$, for every $p>(2n+1)^2$.

\par Suppose that $G$ is of class $\C_8$. If $n$ is even, then $G$ is contained
either in the group $\Sp_n(p^m)$, or in a group $\textrm{O}_n^{\epsilon}(p^m)$,
for some $\epsilon\in\{+,-\}$, or in the group $\Uni_n(p^{\frac{m}{2}})$, with $m$ even too.
If $n$ is odd, then $G$ is contained
either in $\textrm{O}_n(p^m)$, or in $\Uni_n(p^{\frac{m}{2}})$ (with $m$ even).
Observe that for symplectic groups  $\Sp_n(p^m)$, we have $n=2t$, for some positive integer $t$
and then $(2n+1)^2=(4t+1)^2$. If $G$ is one of the whole mentioned classical groups, then we may apply Lemma \ref{whole}
to get $H^1(G,V)=0$.
Assume that $G$ is strictly contained in one of those classical groups.
Aschbacher's theorem holds for unitary, symplectic and orthogonal groups too and the maximal subgroups of those classical groups are still divided
in the same 9 classes (see \cite{KL}).
From the classification of the maximal subgroups of $\Sp_n(p^m)$, $\textrm{O}_n(p^m)$, $\textrm{O}_n^{\epsilon}(p^m)$ and $U_n(p^{\frac{m}{2}})$
of class $\C_i$, with $i\neq 9$,  appearing in \cite[Table 3.5B, Table 3.5C, Table 3.5D and Table 3.5E]{KL}, we have that $\textrm{O}_n(p^m)$,
$\textrm{O}_n^{\epsilon}(p^m)$ and $U_n(p^{\frac{m}{2}})$ do not contain groups of class $\C_8$ and
that the maximal subgroups of $\Sp_n(p^m)$ of class $\C_8$ are $\textrm{O}_n^{\epsilon}(p^m)$ themselves.
Since we are assuming that $G$ is strictly contained in one of those three groups, then it is a subgroup of class $\C_i$, for
some $i\neq 8$.  By repeating the arguments used for the maximal subgroups of $\SL_n(q)$ of class $\C_i$, with $i\neq 8$,
for the maximal subgroups of symplectic, orthogonal and unitary groups, we get the conclusion  (see below
the part of the proof concerning the subgroups of class $\C_9$).

\bigskip
\noindent 2) \emph{The case when $G$ is of class $\C_9$ and the case of simple groups}

\bigskip
\par Suppose that $G$ is of class $\C_9$ and let $Z(G)$ be its center. By the description of the subgroups of class $C_9$, recalled in Section \ref{sec1}, the group $G/Z(G)$ is almost simple. Assume that the $p$-Sylow subgroup $Z(G)_p$ of $Z(G)$ is nontrivial.
One of the $p$-Sylow subgroups of $\GL_n(p^m)$ is the subgroup ${\mathfrak{U}}$ of the upper triangular matrices, with
all the entries in the principal diagonal equal to 1. Let $\tau_1\in Z(G)_p$. Since all the $p$-Sylow subgroups are conjugate, then there exists $\omega\in \GL_n(p^m)$ and $\tau_2\in {\mathfrak{U}}$ such that $\omega\tau_2\omega^{-1}=\tau_1$. Therefore $\omega^{-1}\tau_1\omega=\tau_2$,
implying $\tau_1=\tau_2$, owing to $\tau_1\in Z(G)$. Then $\tau_1$ is in upper triangular form too, with all the entries in the principal diagonal equal to 1. The only eigenvalue of $\tau_1$ is 1. Let $V_1$ be the eigenspace of $M_1$ for the eigenvalue 1. For every $v\in V_1$, we have
$\tau_1(v)=v$. Furthermore, for all $\sigma\in G$, since $\tau_1$ commutes with $\sigma$, we have $\tau_1 \sigma(v)=\sigma \tau_1(v)=\sigma(v)$. Then $\sigma(v)\in V_1$, for all $v\in V_1$, $\sigma\in G$.
The subspace $V_1$ of $V$ is stable under the action of $G$. Since $V$ is an irreducible $G$-module and $V_1\neq \{0\}$, then
$V_1=V$ and $\tau_1=\I_n$. This implies that $Z(G)_p=\langle \I_n\rangle$
and then $H^1(Z(G),V)=0$. From the inflaction-restriction exact sequence

$$0\rightarrow H^1(G/Z(G),V)\rightarrow H^1(G,V)\rightarrow H^1(Z(G),V)^{G/Z(G)},$$

\noindent we deduce that $H^1(G/Z(G),V)\simeq H^1(G,V)$.
 Then, without loss of generality, we may assume that $Z(G)$ is
trivial and $G$  is almost simple. Thus $G$ contains a normal simple group $S$ and it is contained in the automorphism group of $S$ (see \cite[\S 1.1]{KL})
\begin{equation} \label{almost_simple} S\unlhd G\leq \Aut(S). \end{equation} Being $G$ a subgroup of $\GL_n(p^m)$, then $S$ is a subgroup of $\GL_n(p^m)$ too.
So we will consider the possible simple groups $S$ contained in $\GL_n(p^m)$.
Since $S\unlhd G$, by Lemma \ref{normal} and Remark \ref{rem_normal} we may assume that $V$ is an
irreducible $S$-module and by Lemma \ref{extension_sn} it
suffices to prove $H^1(S,V)=0$. In many cases the conclusion will follow also by Lemma \ref{Sylow},
since the $p$-Sylow subgroup of $G$ coincides with the $p$-Sylow subgroup
of $S$, as for instance when $S$ is an alternating group or a sporadic group and $p>2$.
Observe that $S$ is not a cyclic group by \eqref{almost_simple}.

\par Assume that $S$ is an alternating group $A_N$, for some positive integer $N$.
If $N\leq 4$, then $p\nmid |A_N|$, for all $p\geq c(n)$, for every $n$. In this case
$G_p$ is trivial, implying $H^1(G,V)=0$.
By \cite[Proposition 5.3.7 (i)]{KL},
we have that the minimal degree for a  representation of  $A_N$ in $\GL_n(p^m)$, for $N\geq 9$, is $N-2$, i.e. $n\geq N-2$.
For $5\leq N\leq 8$,   the minimal degree for a  representation of  $A_N$ in $\GL_n(p^m)$ is instead
$N-4$, i.e. $n\geq N-4$. In particular the bound  $n\geq N-4$ works for all $N\geq 5$.
Then $N\leq n+4$. Since $|A_{n+4}|=\ddfrac{(n+4)!}{2}$, if  $p>(2n+1)^2$, then
$p\nmid |A_{n+4}|$, for all $n\geq 2$. Therefore $p$ does not divide the cardinality of every possible
subgroup of $\GL_n(p^m)$ of type $C_9$ isomorphic to $A_N$, for every  positive integer $N$.
We have $H^1(S,V)=0$ and $H^1(G,V)=0$, for all $p>(2n+1)^2$.

\par Assume that $S$ is a sporadic group. Then $p=71$ is the greatest prime number such
that $p$ could eventually divide its cardinality (this is the case of the Monster group).
 If $n\geq 4$,  then $c(n)\geq 81$. Consequently  $H^1(S,V)=0$, for all $p> c(n)$, and
$H^1(G,V)=0$.

\par Now assume that $S$ is neither
alternating, nor sporadic. Then $S$ is a group of Lie type.

\par
\vskip 1cm \noindent 2.1) \emph{Groups of Lie type in cross characteristic}
\bigskip

\par Assume that $S$ is a group of Lie type in characteristic ${\mathfrak{p}}\neq p$ and let $w={\mathfrak{p}}^{\alpha}$, where
$\alpha$ is a positive integer.
\par Suppose first that $S=\PUni_t(w)$, for some $2\leq t\leq n$ and $r\neq p$.
By Table 1 in Section \ref{sec1}, the minimal degree for
the representation of $S$ in $\SL_n(q)$ is $w\ddfrac{w^{t-1}-1}{w+1}$,
when $n$ is odd and
$\ddfrac{w^{t}-1}{w+1}$, when $n$ is even. Suppose that $n$ is odd. Then $n\geq \ddfrac{w^{t}-w}{w+1}$. We have
$n(w+1)\geq w^t-w$, i.e. $(n+1)w+n\geq w^t$, implying $w^t\leq nw+w+n<(2n+1)w$ (recall that $w\geq 2$).
Therefore $w^{t-1}< 2n+1$
and $w< (2n+1)^{\frac{1}{t-1}}$.  If a prime $p\neq {\mathfrak{p}}$ does not divide
$\prod_{i=2}^{t}(w^i-(-1)^i)$, then it does not divides the cardinality of $S=\PUni_t(w)$ (see
for instance \cite[Theorem 1.6.22]{BHR}).
If $w< (2n+1)^{\frac{1}{t-1}}$, then $w^t+1< (2n+1)^{\frac{t}{t-1}}+1$. Observe that
for all $t\geq 2$, we have $\ddfrac{t}{t-1}\leq 2$. Thus  $w^t+1< (2n+1)^{\frac{t}{t-1}}+1\leq (2n+1)^2+1$.
If $p>(2n+1)^2$, then $p\geq (2n+1)^2+1>w^t+1$ and $p$ does not divide the cardinality of $\PUni_t(w)$.
We have that the $p$-Sylow subgroup of $G$ is trivial for all $p>(2n+1)^2$, implying
$H^1(G,V)=0$ by Lemma \ref{Sylow}. The situation is very similar when $n$ is even and
$n\geq \ddfrac{w^{t}-1}{w+1}$. We get $w^t\leq n(w+1)+1< (2n+1)w$, implying
$w^{t-1}< 2n+1$ and $w< (2n+1)^{\frac{1}{t-1}}$. Then $w^t+1< (2n+1)^{\frac{t}{t-1}}+1\leq (2n+1)^2+1$.
 Again, if
$p> (2n+1)^2$, then $p>w^t+1$ and $p$ does not divide the cardinality of $\PUni_t(w)$.
Therefore  $G_p$ is trivial for all $p>(2n+1)^2$, implying
$H^1(G,V)=0$.

\par  If $S$ is isomorphic to $\PSL_2(w)$, by Table 1 in Section \ref{sec1}, the minimal degree for
the representation of $S$ in $\SL_n(q)$ is $\ddfrac{w-1}{2}$.
Then $n\geq \ddfrac{w-1}{2}$.
Being $r\neq p$,  if a prime  $p$ does not divide  $(w+1)(w-1)$, then $p$ does not
divide the cardinality
of $\PSL_2(w)$. By $n\geq \ddfrac{w-1}{2}$, we have $p>(2n+1)^2\geq w^{2}> w+1$.
Then the $p$-Sylow  subgroup of $S$ is trivial for all $p>(2n+1)^2$, implying $H^1(S,V)=0$ and
$H^1(G,V)=0$.

\par Suppose  $S=\PSL_t(w)$, for some integer $3\leq t\leq n$.
According to Table 1, in this case the  bound
for $n$ is $n\geq w^{t-1}-1$.
As above, since $p\neq r$, if
$p\nmid \prod_{i=2}^{t}(w^i-1)$,  then $p$ does not divide the cardinality of $\PSL_t(w)$.
Let $p>(2n+1)^2$. By $n\geq w^{t-1}-1$, we have $p>(2n+1)^2\geq (2(w^{t-1}-1)+1)^2=
(2w^{t-1}-1)^2>w^t-1$.
 Therefore $p$ does not divide the cardinality of $ \PSL_t(w)$ and the $p$-Sylow subgroup of $S$ is trivial, implying $H^1(S,V)=0$ and $H^1(G,V)=0$.

\par Suppose $S=\PSp_{2t}(w)$. The minimal degree for the
representation of $S$ in a special linear group $\SL_n(q)$ is $\ddfrac{1}{2}(w^{t}-1)$.
Then $n\geq \ddfrac{1}{2}(w^{ t}-1)$ and $(2n+1)^2=w^{2t}$.
If $p$ does not divide $\prod_{i=1}^t (w^{2 i}-1)=\prod_{i=1}^t (w^{i}-1)(w^i+1)$, then $p$ does not divide the cardinality
of $\PSp_{2t}(w)$ and $H^1(G,V)=0$. If $p>(2n+1)^2$, then $p>w^{2t}>w^t+1$. Then the
$p$-Sylow subgroup of $S$ is trivial, for all $p>(2n+1)^2$, implying $H^1(S,V)=0$ and $H^1(G,V)=0$.

 \par Suppose $S=\textrm{P}\Omega_{2t}^{+}(w)$. From the formula of the cardinality of $S$ (see \cite[Theorem 1.6.22]{BHR}
and Notation \ref{not_1} in Section \ref{sec1}), in this
case it suffices that $p>w^{\frac{t}{2}}-1$ to have that the $p$-Sylow subgroup of $S$ (and consequently the one of $G$) is trivial.
If $w\neq 5$, then $n\geq (w^{t-1}-1)(w^{t-2}+1)$
and $p>(2n+1)^2\geq (2(w^{t-1}-1)(w^{t-2}+1)+1)^2>w^{\frac{t}{2}}-1$.  If $w=5$, then
$n\geq 5^{t-2}(5^{t-1}-1)$. We have $p>(2n+1)^2\geq (2\cdot 5^{t-2}(5^{t-1}-1)+1)^2> 5^{\frac{t}{2}}-1$.
Then $H^1(G,V)=0$ for all $w$, when $p>(2n+1)^2$.

 \par Suppose $S=\textrm{P}\Omega_{2t}^{-}(w)$.  Similarly to the previous case,
 it suffices that $p>w^{\frac{t}{2}}+1$ to have that the $p$-Sylow subgroup of $S$ (and consequently the one of $G$) is trivial. According to Table 1 the minimal
$n$ for a representation of $S$ in $\SL_n(q)$ is $(w^{t-1}+1)(w^{t-2}-1)$. Since
$p>(2n+1)^2\geq (2(w^{t-1}+1)(w^{t-2}-1)+1)^2>w^{\frac{t}{2}}+1$,
then $H^1(G,V)=0$, for all $p>(2n+1)^2$.

 \par Let $S=\Omega_{2t+1}(w)$. In this case it suffices that $p>w^{t-1}-1$ to have
that the $p$-Sylow subgroup of $G$ is trivial.  If $w\neq 5$, then the minimal degree for the
representation of $S$ in $\GL_n(q)$ is $n\geq w^{2(t-1)}-1$. Therefore
$p>(2n+1)^2\geq 4w^{4(t-1)}>w^{t-1}-1$. If $w=5$, then $p>(2n+1)^2\geq  (2\cdot 5^{t-1}(5^{t-1}-1)+1)^2\geq 5^{t-1}-1$.
As above the conclusion follows by Lemma \ref{Sylow}.

\par We are left with the exceptional groups of Lie type in cross characteristic. As already stated in Section \ref{sec1}, for a  reference about the description of the structures and the cardinalities of those groups the reader can see \cite{Wil} (see also \cite{Hum}).
Assume that $S$ is the exceptional group $E_8(w)$. In this case the lower bound for the dimension of the representation is $n\geq w^{27}(w^2-1)$. A prime $p\neq r$ divides the cardinality
of $E_8(w)$   if and only if it divides the product $\prod_{i=0}^{3}(w^{6i+2}-1)\prod_{i=2}^{5}(w^{6i}-1)$
\cite[Equation 4.146, pag. 176]{Wil}.
The greatest factor in this product is $w^{30}-1$.
Let $p>(2n+1)^2$. Then $p> (2w^{27}(w^2-1)+1)^2$.
We consider the function $f(w):=(2w^{27}(w^2-1)+1)^2-(w^{30}-1)=4w^{54}-w^{30}+ 4w^{27}+ 2$.
Obviously $f(w)> 0$, for all $w$.  Therefore $p\nmid |E_8(w)|$, for all $p>(2n+1)^2$.
Again the $p$-Sylow subgroups of $S$ is trivial, for every $p>(2n+1)^2$ and
$H^1(S,V)=0$. Thus $H^1(G,V)=0$ too.

\par Assume that $S$ is the exceptional group $E_7(w)$. Then

\begin{equation} \label{E7}
|E_7(w)|=\ddfrac{1}{2}w^{63}(w^{18}-1)(w^{14}-1)(w^{12}-1)(w^{10}-1)(w^{8}-1)(w^{6}-1)(w^{2}-1)
\end{equation}

\noindent for $w$ odd and the double of the cardinality in equation \eqref{E7} for $w$ even \cite[\S 4.12.3, pag. 177]{Wil}.
The lower bound for the dimension of the representation is $n\geq w^{15}(w^2-1)$. In this case if $p> w^{18}-1$, then $p$ does not divide the cardinality of $E_7(q)$
and this holds for all $p>(2n+1)^2\geq (2w^{15}(w^2-1)+1)^2$.

\par Let $S$ be one of the groups $E_6(w)$ or $^2E_6(w)$. The lower bound for the dimension of the representation is $n\geq w^{9}(w^2-1)$. Similarly to the previous cases, if $p> w^{12}-1$, then $p$ does not divide the cardinality of $S$
and this holds for all $p>(2n+1)^2\geq (2w^{9}(w^2-1)+1)^2> w^{12}+1$.

\par Let $S=F_4(w)$. In this case the lower bound for the dimension of the representation is $n\geq w^6(w^2-1)$.
Since $|F_4(w)|=w^{24}(w^{12}-1)(q^8-1)(q^6-1)(q^2-1)$, then the $p$-Sylow subgroup of $S$ is trivial,
for all $p>(2n+1)^2\geq (2w^6(w^2-1)+1)^2$. Therefore  $H^1(S,V)=0$ and  $H^1(G,V)=0$.

\par Let $S=$$^2F_4(w)$.  Thus $n\geq w^{4} \sqrt{\ddfrac{w}{2}}(w-1)$, in accordance to Table 1.
Being $|^2F_4(w)|=w^{12}(w^{6}+1)(q^4-1)(q^3+1)(q^2-1)$, then the $p$-Sylow subgroup of $S$ is trivial,
for all $p>(2n+1)^2\geq \left(2w^{4} \sqrt{\ddfrac{w}{2}}(w-1)+1\right)^2>w^6+1$. In this case too we have  $H^1(G,V)=0$.

\par Assume $S=G_2(w)$. The lower bound for the dimension of the representation is $n\geq w(w^2-1)$.
Since $|G_2(w)|=w^6(w^6-1)(w^2-1)$, then the $p$-Sylow subgroup of $S$ is trivial,
for all $p>(2n+1)^2\geq (2w(w^2-1)+1)^2>w^6-1$. Therefore  $H^1(G,V)=0$.

\par Assume $S=$$^2G_2(w)$.  This case is similar to the one of $G_2(q)$.
The lower bound for the dimension of the representation is $n\geq w(w-1)$
and $|G_2(w)|=w^3(w^3+1)(w-1)$.
If $p>(2n+1)^2\geq (2w(w-1)+1)^2>w^3+1$, then  $H^1(G,V)=0$ as above.

\par Suppose $S=$$^3D_4(w)$.  Therefore $|^3D_4(w)|=w^{12}(w^8+w^4+1)(w^6-1)(w^2-1)$ and $n\geq w^3(w^2-1)$.
We deduce  $H^1(G,V)=0$, for all $p>(2n+1)^2\geq (2w^3(w^2-1)+1)^2>w^8+w^4+1$.

\par The last possibility is $S=\textrm{Suz}(w)$. The Suzuki group over $\FF_w$ has order $w^{2}(w^2+1)(w^2-1)$ and
the minimal $n$ to have a representation of its in $\SL_n(q)$ is $\sqrt{\ddfrac{w}{2}}(w-1)$.
Then  $H^1(G,V)=0$, for all $p>(2n+1)^2\geq \left(2\sqrt{\ddfrac{w}{2}}(w-1)+1\right)^2>w^2+1$.

\par
\bigskip \noindent 2.2) \emph{Groups of Lie type in defining characteristic}

\bigskip

\noindent Assume that the characteristic of the field of definition of $S$ is $p$.
We have that $S$ is a classical group of Lie type (i.e. $S$ is a projective classic matrix group), with dimension $t<  n$ (where $t=2h$, for some positive integer $h$, when $S=\PSp_t(q)$ is a projective symplectic group or $S$ is a projective orthogonal group of type $+$ or $-$),
or $S$ is an exceptional group of Lie type  (see \cite[Table 5.4.C, pag. 200]{KL}). If $S$ is a classical group of Lie type
of dimension $t<  n$,  we have already showed in the proof of Lemma \ref{whole} that $H^1(S,V)=0$, for all $p>(2n+1)^2$.
Assume that $S$ is an exceptional group of Lie type. By \cite{CPS} (see in particular Table (4.5) at page 186) and \cite{CPS2}
(see in particular Table (4.3) at page 193), the cohomology
group $H^1(S,V)$ is trivial, for all $p>3$, when $n$ is the possible minimal degree of the representation of $S$
and when $n$ is the dimension of the Lie algebra with automorphism group $S$ (in this case $S$ has a natural
representation in dimension $n$ and  this often coincides with the representation of $S$ with minimal degree).
If the representation of $S$ is neither the minimal nor the natural one, then we can proceed as in the proof of Lemma \ref{whole}.
We first consider the groups $S$ that
are not twisted. Let
$L(\lambda)$ denote the irreducible $G$-module of highest weight $\lambda$.
In \cite[Theorem 1.2.3]{Georgia} the authors prove that  the first cohomology group
$H^1(S,L(\lambda))$ is trivial, for all $p>3$, when $S$ is one of the groups
$E_6(q)$, $^2E_6(q)$, $^3D_4(q)$, $G_2(q)$, $^2G_2(q)$, $^2F_4(q)$, $\textrm{Suz}(q)$
 and $\lambda$ is a fundamental dominant weight (or it is less than a fundamental dominant weight).
In \cite[Theorem 1.2.3]{Georgia} the authors also prove that $H^1(S,L(\lambda))$ is trivial, for all $p\neq 31$, when $S=E_8(q)$
and $\lambda$ is a fundamental dominant weight (or it is less than a fundamental dominant weight).
If $p>(2n+1)^2$ with $p= 31$, then $n\leq (\sqrt{p}-1)/2< 3$. Since the minimal degree for the representation of $E_8(q)$ is $248$ (see \cite[Table 5.4.C, pag. 200]{KL}), then
 $H^1(S,L(\lambda))$ is trivial, for all $p>(2n+1)^2$. If $S$ is the group $E_7(q)$, then
$H^1(S,L(\lambda))=0$, for all $p\neq 19$ \cite[Theorem 1.2.3]{Georgia}. By (see \cite[Table 5.4.C, pag. 200]{KL}),
the minimal degree for the representation of $E_7(q)$ is $56$.  If $p>(2n+1)^2$ with $p= 19$, then
$n\leq (\sqrt{p}-1)/2<2<56$ and  $H^1(S,L(\lambda))$ is trivial. In a similar way the same theorem assures $H^1(S,L(\lambda))=0$, for
 $S=F_4(q)$ and $p>13$. If $p>(2n+1)^2$ with $p\leq 13$, then
$n\leq (\sqrt{p}-1)/2<2$. In this case too the minimal degree for the representation greater than 2 and
then $H^1(S,L(\lambda))$ is trivial.
As mentioned above
since we are assuming that $V$
is irreducible, then $V=L(\lambda)$, for
some dominant weight $\lambda$ (see \cite{His} and \cite{Che}). Again we have a decomposition $L(\lambda)=\otimes_{i=1}^s L(\omega_i)$, where
$s$ is a positive integer and $\omega_i$ is a fundamental weight, for every $1\leq i\leq s$.
Thus $H^1(S,V)\simeq H^1(S, \otimes_{i=1}^s L(\omega_i))$, for certain fundamental
weights $\omega_i$ and the group $S$ acts on  a tensor product decomposition.
In particular $S$ acts on
$V$ in the same way as the subgroups of class $\C_4$ (see \cite[\S 4.4]{KL}) or more
generally the group $S$ acts on $V$ as prescribed by Steingberg's Tensor Product Theorem (see \cite{Ste}).
The same situation happened in a part of the proof of Lemma \ref{whole}.
Since the mentioned Theorem 1.2.3 in \cite{Georgia} shows the triviality of $H^1(S,L(\omega_i))$, for all $1\leq i\leq s$,
 by applying Lemma \ref{tensor3} (and Remark \ref{tensor4}),  one deduces  the triviality  of $H^1(S,V)$.
We have to prove the same conclusion for twisted groups of Lie type. If we assume that $p>3$,
then we have neither Suzuki groups nor Ree groups in the defining characteristic (see \cite{Wil} for further details).
We are left with groups $^2E_6(q)$ and $^3D_4(q)$.
 The group $^2E_6(q)$ is a subgroup of $E_6(q^2)$ modulo scalars (see \cite[4.11]{Wil}).
We may apply Shapiro's Lemma (see for instance \cite[Theorem 4.19]{Neu} or \cite[Lemma 6.3.2 and Lemma 6.3.4]{Wei}) to get

 $$H^1\left(E_6(q^2),\textrm{Ind}_{^2E_6(q)}^{E_6(q^2)}V\right)\simeq H^1(^2E_6(q), V),$$

\noindent with $\textrm{Ind}_{^2E_6(q)}^{E_6(q^2)}$   denoting   the   induced    $G$-module
   $\bigoplus_{i=1}^s \sigma_i(V)$,   where
$s:=[E_6(q^2):^2E_6(q)]$ is the index of $^2E_6(q)$ in $E_6(q^2)$ (see \cite[Definition 4.18]{Neu}),
$\sigma_i$ varies in a system of left coset  representatives of $H$ in $G$
and $\sigma_i(V)$ is isomorphic to $V$, for every $1\leq i\leq s$.
Being $H^1(G,-)$ and additive functor for every group $G$, we get

$$\bigoplus_{i=1}^s H^1(E_6(q^2)  , \sigma_i(V))\simeq  H^1(^2E_6(q), V).$$

\noindent We have already proved that  $H^1(E_6(q^2), V)=0$, under the assumption that $V$ is
irreducible. Therefore $H^1(E_6(q^2)  , \sigma_i(V))=0$, for all $1\leq i\leq s$, and
$H^1(^2E_6(q), V)=0$.
The group $^3D_4(q)$  is a subgroup of $\Omega_8^+(q^3)$.
The cited results in \cite{CPS} and in \cite{Georgia} hold for $\Omega_8^+(q^3)$.
Then we may apply  all the arguments as above to get $H^1( \Omega_8^+(q^3), V)=0$.

\par We can conclude, that for all $n\geq 2$, when $p>(2n+1)^2$ the first
cohomology group $H^1(G,\FF_q^n)$ is trivial.   \eop

\section{An application to a question posed by Cassels} \label{last}
We keep the notation adopted in Section \ref{sec0}, with $\A$ being an abelian variety defined over a number field $k$
and $\A^{\vee}$ its dual abelian variety.
We denote by $\A[p^m]$ the $p^m$-torsion subgroup of $\A$ and by $\A[p^m]^{\vee}$ its Cartier dual.
Then  $\A[p^m]^{\vee}=\textrm{Hom}(\A[p^m],k_s^*)$, where
$k_s$ is the separable closure of $k$ (see for instance \cite[Definition 3.3]{CHR}).
An element $\sigma\in \Sha(k,\A)$ is infinitely
divisible by a prime $p$, when it is divisible by $p^m$, for all positive integers $m$.
In this case, for every $m$, there exists $\tau_m\in H^1(G_k,\A)$ such that $\sigma=p^m \tau_m$.
In \cite[Theorem 3]{Cre2} Creutz shows that $\Sha(k,\A)\subseteq p^mH^1(G_k,\A)$ if and only
if the image of the natural map  $\Sha(k,\A[p^m]^{\vee})\rightarrow \Sha(k,\A^{\vee})$
is contained in the maximal divisible subgroup of $\Sha(k,\A^{\vee})$.
In particular the triviality of  $\Sha(k,\A[p^m]^{\vee})$, for all $m\geq 1$, is a sufficient condition
to have an affirmative answer to Cassels' question for $p$ in $\A$ over $k$.
This is also directly proved in \cite[Proposition 13]{CS}.
If $\A$ has a principal polarization, then $\A[p^m]$ and $\A[p^m]^{\vee}$ are isomorphic. Therefore
the triviality of  $\Sha(k,\A[p^m])$, for all $m\geq 1$, implies an affirmative answer to Cassels'
question in principally polarized abelian varieties. Let $k(\A[p])$ denote the
$p$-th division field of $\A$, i.e. the number field generated
over $k$ by the coordinates of the points in $\A[p]$.
In \cite{CS} \c{C}iperiani and Stix prove the following statement.

\begin{thm}[\c{C}iperiani, Stix, 2015] \label{CS} Assume that \begin{description}
\item[1)]  $H^1(\Gal(k(\A[p])/k),\A[p])=0$  and
\item[2)] the $G_k$-modules $\A[p]$ and $\textrm{End}(\A[p])$ have no common irreducible
subquotient.
\end{description}

\noindent Then $$\hspace{0.5cm} \Sha(k,\A[p^m])=0, \textrm{ for every } m\geq 1.$$

\end{thm}

\noindent In particular \textbf{1)} and \textbf{2)} in Theorem \ref{CS} are sufficient conditions to have
an affirmative answer to Cassels' question in principally polarized abelian varieties.
By Theorem \ref{P1_bis} we can give the following criterium.

\begin{thm} \label{thm_cass}
Let $\A$ be an abelian variety of dimension $g$ defined over a number field $k$.
For all $p>(4g+1)^2$, if $\A[p]$ is an irreducible $G_k$-module, then

 $$\hspace{0.5cm} \Sha(k,\A[p^m])=0, \textrm{ for every } m\geq 1.$$
\end{thm}

\begin{proof}
It is well-known that if $\A$ has dimension $g$, then $\A[p]\simeq (\ZZ/p\ZZ)^{2g}\simeq \FF_p^{2g}$
(see for instance \cite[Chap. II, pag. 61]{Mum}). Then the group $G_k$ has a natural representation in
$\GL_{2g}(p)$, whose image is isomorphic to $\Gal(k(\A[p])/k)$. Observe that the
action of $\Gal(k(\A[p])/k)$ over $\A[p]$ is faithful.
Then by Theorem \ref{P1_bis}, if $\A[p]$ is an irreducible $G_k$-module
and $p>(4g+1)^2$, then $H^1(\Gal(k(\A[p])/k,\A[p])=0$,
and \textbf{1)} in Theorem \ref{CS} is satisfied.
In addition, if $\A[p]$ is an irreducible $G_k$-module, then it has no nontrivial $G_k$-submodules
as well as no nontrivial $G_k$-subquotients. In particular $\A[p]$ and $\textrm{End}(\A[p])$ have no common irreducible
subquotient and \textbf{2)} is satisfied too. Thus, by Theorem \ref{P1_bis} and Theorem \ref{CS},
if $\A[p]$ is an irreducible $G_k$-module
and $p>(4g+1)^2$, then  $\Sha(k,\A[p^m])=0$, for all $m\geq 1.$
\end{proof}

\noindent  From Theorem \ref{thm_cass} we can deduce Theorem \ref{thm_cass}, which gives sufficient conditions
to have an affirmative answer to Cassels question in all abelian varieties $\A$ over $k$.

\bigskip
\noindent \textbf{Proof of Theorem \ref{cor_cass}}
The conclusion follows from Theorem \ref{thm_cass} and the fact that
the group scheme $\A[p]$ is an irreducible $G_k$-module if and only if $\A[p]^{\vee}$ is an irreducible $G_k$-module.
Actually assume that $\A[p]^{\vee}$ is an irreducible $G_k$-module and that
$\A[p]$ has a nontrivial proper $G_k$-submodule $W$ which is stable under the action
of $G_k$. Then the dual $W^{\vee}$ of $W$ is either $\A[p]^{\vee}$
or  it is trivial. Consequently $W$ is trivial or it is the whole $\A[p]$. Therefore
$\A[p]$ is an irreducible $G_k$-module.  In the same way
the irreducibility of $\A[p]\simeq (\A[p]^{\vee})^{\vee}$ implies the irreducibility of $\A[p]^{\vee}$.
Then we may apply Theorem \ref{thm_cass} to $\A^{\vee}$ and $\A[p]^{\vee}$ and we have $\Sha(k,\A[p^m]^{\vee})=0$, for all $m\geq 1.$
By \cite[Proposition 13]{CS} (or equivalently by \cite[Theorem 3]{Cre2}), this is a sufficient condition to have an affirmative answer to
Cassels' question for $p$ in $\A$. \eop

\bigskip\noindent In \cite{CS} and \cite{Cre} the authors also question whether
a local-global principle for divisibility by $p^m$ holds in $H^1(G_k,\A)$.
Let $v$ denote a place of $k$ and let $k_v$ be the completion of $k$ at $v$.
An element $\sigma\in H^1(G_k,\A)$ is locally divisible by $p^m$ over $k_v$ if
there exists $\tau_v\in H^1(G_{k_v},\A)$ such that $res_v(\sigma)=p^m \tau_v$,
where  $res_v(\sigma)$ is the image of $\sigma$ under the restriction map $res_v: H^1(G_k,\A)\rightarrow H^1(G_{k_v},\A)$.
It is natural to ask if an element locally divisible by $p^m$ over all $k_v$ is
divisible by $p^m$ in  $H^1(G_k,\A)$, i.e. if
the  local-global principle for divisibility by $p^m$ holds in  $H^1(G_k,\A)$.
By \cite[Theorem 2.1]{Cre}, for every positive integer $n$, the triviality of $\Sha(k,\A[n])^{\vee}$ is
a sufficient condition to the validity of the local-global principle for the divisibility by $n$
in $H^1(G_k, \A)$ (see also \cite[Theorem C]{CS}). Then, as a consequence of Theorem \ref{thm_cass},
we get the following statement too.

\begin{cor}
Let $\A$ be an abelian variety of dimension $g$ defined over a number field $k$.
For all $p>(4g+1)^2$, if $\A[p]$ is an irreducible $G_k$-module, then
the local-global principle for divisibility by $p^m$ holds in $H^1(G_k,\A)$,
for every $m\geq 1$.
\end{cor}

\bigskip\noindent \emph{Acknowledgments}. I would like to thank Davide Lombardo, Florence Gillibert and Gabriele
Ranieri for useful discussions.