6
$\begingroup$

I have a finite-dimensional vector space $E$ over the finite prime field $\mathbf{F}_p$ and a solvable subgroup $G\subset\mathbf{GL}(E)$ for which $E$ is an irreducible representation. Do the groups $H^1(G,E)$ and $H^2(G,E)$ both vanish ?

Addendum (2016/08/17) For those curious as to why I needed this result, see Solvable primitive $p$-extensions (http://arxiv.org/abs/1608.04673).

$\endgroup$

3 Answers 3

11
$\begingroup$

It is true that if $M$ is any (solvable) group with $E \lhd M$ and $M/E \cong G$, (with the action of $G$ on $E$ specified by the given irreducible module action), then $E$ is complemented in $M$, and all complements to $E$ are conjugate. In fact, this does not require solvability of $G,$ only $p$-solvability. All this is well-known, but I outline the proof: Note that $O_{p}(G) = 1$ since $G$ acts irreducibly on $E$, so that $O_{p}(M) = E.$ Let $K = O_{p,p^{\prime}}(M)$. Then $K$ has a unique conjugacy classes of Hall $p^{\prime}$-subgroups, say one of these is $L$, so by a Frattini-like argument we have $M = KN_{M}(L)$.

Hence $M = ELN_{M}(L) = EN_{M}(L).$ Now $E$ is a minimal normal subgroup of $M$ since $G$ acts irreducibly on $E.$ However $E \cap N_{M}(L) \lhd M$. We can't have $E \leq N_{M}(L)$, otherwise $[E,L] = 1,$ whereas $G$ acts faithfully on $E$. Hence $E \cap N_{M}(L) = 1$ and $G \cong N_{M}(L)$. This argument actually shows that every complement to $E$ in $M$ has the form $N_{M}(L)$ for some Hall $p^{\prime}$-subgroup $L$, of $O_{p,p^{\prime}}(M)$ and $L$ is unique up to $M$-conjugacy, so all complements to $E$ are $M$-conjugate.

$\endgroup$
1
  • 1
    $\begingroup$ This is wonderful ! Thank you very much ! I will have to get reacquainted with the Halls and the Frattinis of this world, but you've given me enough hints to enjoy and appreciate their company. $\endgroup$ Jun 12, 2016 at 11:39
14
$\begingroup$

Here's a slightly different answer, less group-theoretic and more representation-theoretic than Geoff's.

Rephrasing your question in terms of $\mathbb{F}_pG$-modules, you are asking about a faithful irreducible $\mathbb{F}_pG$-module $E$ for a finite solvable group $G$.

Let $N$ be a minimal normal subgroup of $G$. Since $G$ is solvable, $N$ is an elementary abelian $q$-group for some prime $q$. By Clifford's Theorem, the restriction of $E$ to $N$ is semisimple.

If $q=p$, then the restriction of $E$ to $N$ is trivial, since the only simple $\mathbb{F}N$-module for a $p$-group $N$ is the trivial module. But this contradicts the faithfulness of $E$.

If $q\neq p$ then $e_N=\frac{1}{\vert N\vert}\sum_{n\in N}n$ is a central idempotent of $\mathbb{F}_pG$. Let $f_N=1-e_N$.

$E=Ee_N\oplus Ef_N$, and since $E$ is irreducible, either $E=Ee_N$ or $E=Ef_n$.

If $E=Ee_N$ then, since the trivial $\mathbb{F}_pN$-module is the only irreducible $\mathbb{F}_pN$-module which is not annihilated by $e_N$, $N$ acts trivially on $E$, again contradicting the faithfulness of $E$.

So $E=Ef_N$, which means that $E$ and the trivial module $\mathbb{F}_p$ are in different blocks of $\mathbb{F}_pG$, and so $H^i(G,E)=\operatorname{Ext}^i_{\mathbb{F}_pG}(\mathbb{F},E)=0$ not only for $i=1,2$ but for all $i$.

$\endgroup$
1
  • $\begingroup$ This is even more wonderful and more accessible to me. Thank you very much ! $\endgroup$ Jun 12, 2016 at 16:39
1
$\begingroup$

The question is whether every extension $\Gamma$ of $G$ by the $G$-module $E$ splits, and whether any two sections of the split extension are conjugate. So, as Geoff says, we have to show that $E$ is complemented in $\Gamma$, and any two complements are conjugate. Here is an elementary argument sent by a correspondent :

Since the quotient $G=\Gamma/E$ is soluble, a minimal normal subgroup of $G$ is an elementary abelian $q$-group $N/E$ for some prime $q$ different from $p$. By Sylow's Theorems there is a complement $Q$ to $E$ in $N$. Consider the normaliser $H$ of $Q$ in $\Gamma$. By the Frattini argument (simply the fact that $Q$ is a Sylow $q$-subgroup of $N$, so $N$ acts transitively, hence $\Gamma$ also acts transitively, by conjugation on the set of conjugates of $Q$ in $N$, which is the set of conjugates of $Q$ in $\Gamma$ since $N$ is normal in $\Gamma$), $\Gamma = H.E$. But the intersection of $H$ and $E$ is trivial (any element of $E$ that normalises $Q$ centralises it since $E$ is normal in $QE$, whereas $E$ is its own centraliser in $\Gamma$). Thus $H$ is a complement of $E$ in $\Gamma$ and moreover, any complement of $H$ in $\Gamma$ has a conjugate of $Q$ as a normal subgroup and therefore is conjugate to $H$. That is to say, there is a unique conjugacy class of complements of $E$ in $\Gamma$ (all of them maximal proper subgroups of $\Gamma$).

Addendum. The correspondent has further provided the following references :

on p.55 of `Finite Soluble Groups' by Doerk & Hawkes (De Gruyter 1992),

on p.102 of `Group Theory II' by Suzuki (Springer 1986), and

on p.159 of `Endliche Gruppen I' by Huppert (Springer 1967).

$\endgroup$
1
  • 1
    $\begingroup$ This argument is basically the same as mine ( and, as I said, is fairly standard. The use of the Frattini argument is implicit in this answer). My argument is slightly more general ( hence might appear a bit more complicated) as it works for $p$-solvable groups ( recall that for a prime $p$, a finite group $G$ is said to be $p$-solvable if and only if all its composition factors are either of order $p$ or of order prime to $p$). $\endgroup$ Jun 15, 2016 at 8:03

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.