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 E1 and E2 with base A and quotient G (i.e., they are both central extensions, and hence both give corresponding elements of H2(G,A)) and:
- E1 and E2 are isomorphic as abstract groups.
- Under the natural action of operatornameAut(G)timesoperatornameAut(A) on H2(G,A) (by pre- and post-composition with 2-cocycles that then descends to action on cohomology classes), the cohomology classes corresponding to E1 and E2 are not in the same orbit.
Basically condition (2) states that E1 and E2 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 E1 and E2 that sends the A inside E1 to the A inside E2.
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 operatornameAut(G)timesoperatornameAut(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