Skip to main content
edited title
Link
Vipul Naik
  • 7.3k
  • 2
  • 36
  • 82

Extensions isomorphic as groupgroups but not congruent or pseudo-congruent

Source Link
Vipul Naik
  • 7.3k
  • 2
  • 36
  • 82

Extensions isomorphic as group but not congruent or pseudo-congruent

I'm looking for an example of a finite abelian group A and a finite group G acting trivially on A such that there are two extensions $E_1$ and $E_2$ with base A and quotient G (i.e., they are both central extensions, and hence both give corresponding elements of $H^2(G,A)$) and:

  1. $E_1$ and $E_2$ are isomorphic as abstract groups.
  2. Under the natural action of $\operatorname{Aut}(G) \times \operatorname{Aut}(A)$ on $H^2(G,A)$ (by pre- and post-composition with 2-cocycles that then descends to action on cohomology classes), the cohomology classes corresponding to $E_1$ and $E_2$ are not in the same orbit.

Basically condition (2) states that $E_1$ and $E_2$ are not only not congruent extensions, they are not even congruent up to a relabeling of the subgroup A and the quotient G. Another way of putting this is that there is no isomorphism between $E_1$ and $E_2$ that sends the A inside $E_1$ to the A inside $E_2$.

The analogous statement with a nontrivial action of G on A is also of interest to me. In this latter case, though, the entire group $\operatorname{Aut}(G) \times \operatorname{Aut}(A)$ does not act.

I think that examples exist (because of my experience with finding examples for similar specifications) but there may well be a proof to the contrary.