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:
- $E_1$ and $E_2$ are isomorphic as abstract groups.
- 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.
No comments:
Post a Comment