Friday, 25 January 2008

Describe the second cohomology group H2(ZntimesZn.k).

I would take the standard cyclic resolution of G=Z/nZ:
dotsstackrel1ttoZ[G]stackrelsumtitoZ[G]stackrel1ttoZ[G]toZto0,


where t is the generator of G, and then take the tensor square of two such --- this would give a resolution
dotstoZ[G1timesG2]3stackreld2toZ[G1timesG2]2stackreld1toZ[G1timesG2]toZto0,

where G1=G2=Z/nZ and the maps are given by
d_1 = (1-t_1,1-t_2), qquad d_2 = left(begin{array}{ccc} sum t_1^i & 1-t_2 & 0 cr 0 & 1-t_1 & sum t_2^i  end{array}right)

(t1 and t2 are the generators of G1 and G2 respectively).
I think you can use this for the calculations.

No comments:

Post a Comment