2
$\begingroup$

For a sufficient large field $k$ with characteristic 2, $S_3$ and $D_{10}$ both do have the property that the trivial module over their group algebra has nontrivial self-extension. Puig's work on nilpotent blocks shows that being p-nilpotent for the considered characteristic is sufficient to guarantee the trivial module has nontrivial self-extension and $S_3$ and $D_{10}$ are 2-nilpotent. But if we change the characteristic of $k$ from 2 to 3,5 respectively, direct computation shows that the trivial module over the group algebras $kS_3$ and $kD_{10}$ only have trivial self-extension respectively. However we know that they are all solvable, thus being solvable is not a sufficient condition on $G$ for the trivial module over $kG$ has nontrivial self-extension. Fixed a algebraically closed field $k$ of characteristic $p$, is there any other criterion for the trivial module over the group algebra $kG$ has nontrivial self-extension except for that $G$ is $p$-nilpotent?

$\endgroup$

1 Answer 1

8
$\begingroup$

$\mathrm{Ext}^1_{kG}(k,k)$ classifies these extensions, and it's not too hard to show that $\mathrm{Ext}^1_{kG}(k,k) \cong H^1(G;k) \cong \hom(G, k)\cong \bigoplus_{i\in I}\hom(G^{ab},\mathbb F_p)$ where $|I| = \dim_{\mathbb F_p}(k)$.

In particular, this is nonzero if and only if $\hom(G^{ab},\mathbb F_p)\neq 0$, if and only if $G^{ab}$ has a nontrivial $p$-group quotient. This is equivalent to $G$ having a nontrivial $p$-group quotient, which is weaker than being $p$-nilpotent.

$\endgroup$
1
  • $\begingroup$ Thanks for your nice answer. $\endgroup$ Aug 7, 2021 at 14:44

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.