First time here? Check out the FAQ!

Ask Your Question
2

Finding representatives of group cohomology classes

asked 10 years ago

Scott Morrison gravatar image

updated 10 years ago

FrédéricC gravatar image

Could someone help me perform the GAP calculation described at the MathOverflow question Explicit 3 cocycles for the symmetric group in Sage?

Preview: (hide)

1 Answer

Sort by » oldest newest most voted
2

answered 10 years ago

niles gravatar image

The first step would be to make sure that you can do the calculation in sage's built-in version of gap. You can start it up with sage -gap. The code there doesn't immediately work for two reasons:

  • The package HAP is required, so you have to tell gap to load it.
  • sage -gap doesn't have the HAP package installed by default -- it's an optional package for sage.

To resolve these, first install the optional gap packages with the following

$ sage -i gap_packages

Then run the following code in sage -gap:

LoadPackage("hap");
G:=SymmetricGroup(6);;
A:=Group((11,12,13,14,15,16,17,18,19,20,21,22));;
A:=TrivialGModuleAsGOuterGroup(G,A);; #This is the cyclic group of order 12 encoded as a trivial G-module
R:=ResolutionFiniteGroup(G,4);;
C:=HomToGModule(R,A);;
CH:=CohomologyModule(C,3);;
classes:=Elements(ActedGroup(CH));; #This is the list of cohomology classes
Length(classes); #This gives the number of distinct cohomology classes
c:=CH!.representativeCocycle(classes[2]);
f:=Mapping(c);;

This works correctly for me, so I guess the next step would be to figure out how to run this completely inside Sage, so that you can export the cocycles to Sage and presumably do some other work with them. I don't know how to do that though. My initial searching turned up a couple of promising starting points, but I didn't see a quick answer. You might have better luck:

Preview: (hide)
link

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

Stats

Asked: 10 years ago

Seen: 927 times

Last updated: Feb 20 '14