$\def\Z{\mathbb{Z}}$ Let $A$ be a finite abelian group and $G$ a finite group acting on $A$. Then the extension $0 \to A \to E \to G \to 1$ is splits if and only if the corresponding $2$-cocycle is trivial in $H^2(G,A)$.

Does there exist such a split extension $E$ such that $E$ can also be seen as a non split extension (for the same action of $G$ on $A$)? Or in other words, can we find two groups $G$ and $A$, and an action of $G$ on $A$ such that there exists $\alpha_1,\alpha_2 \in H^2(G,A)$ which corresponds to the same group $E$, and with $\alpha_1=0$?

With help from user gro-tsen, I can say the following:

  • 3
    $\begingroup$ More generally than the abelian case, J. Ayoub proved that a finite group that is a direct product $A\times B$ cannot be written as a non-split extension of $A$ by $B$. $\endgroup$
    – YCor
    Apr 10 '14 at 21:36
  • $\begingroup$ @Robinson: but $(\Z/2\Z) \times A_5$ is not isomorphic as a group to $SL(2,5)$, no? $\endgroup$ Apr 11 '14 at 1:02
  • 2
    $\begingroup$ user.math.uzh.ch/ayoub/PDF-Files/DIRECT.PDF (J. Ayoub, The direct extension theorem. J. Group Theory 9 (2006), 307-316.) $\endgroup$
    – YCor
    Apr 11 '14 at 10:55
  • 2
    $\begingroup$ About an easy infinite example: Let $A$ be the product (of order 8) of cyclic groups of order 2 and 4. Let $G$ be the (restricted or unrestricted) direct product of countably many copies of $A$. Then $G$ is isomorphic to $G\times G$ and can also obviously be decomposed as a non-split extension of $G$ by $G$. $\endgroup$
    – YCor
    Apr 11 '14 at 10:59
  • 1
    $\begingroup$ Perhaps this approach is useful. Assume that $B$ is a subgroup of $G$ which is isomorphic to $A$ as a $G$-module, such an isomorphism can be extended to an isomorphism $\phi : A \rightarrow B$ of $E$-modules. This induces an isomorphism between the abelian groups $Der(E,A)$ and $Der(E,B)$ in the obvious way. I wonder if $\phi$ induce a ring isomorphism or more generally if there is a ring isomorphism between $Der(E,A)$, $Der(E,B)$. If so Then $E$ splits over $B$. (The multiplication in $Der(G,A)$ is the composition of map) $\endgroup$ Apr 13 '14 at 16:36

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.