Ask Your Question

Finding representatives of group cohomology classes

asked 2014-02-18 08:45:05 +0200

Scott Morrison gravatar image

updated 2015-01-17 22:37:03 +0200

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?

edit retag flag offensive close merge delete

1 Answer

Sort by » oldest newest most voted

answered 2014-02-20 11:59:21 +0200

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:

A:=TrivialGModuleAsGOuterGroup(G,A);; #This is the cyclic group of order 12 encoded as a trivial G-module
classes:=Elements(ActedGroup(CH));; #This is the list of cohomology classes
Length(classes); #This gives the number of distinct cohomology classes

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:

edit flag offensive delete link more

Your Answer

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

Add Answer

Question Tools


Asked: 2014-02-18 08:45:05 +0200

Seen: 838 times

Last updated: Feb 20 '14