I would take the standard cyclic resolution of G=Z/nZ:
dotsstackrel1−ttoZ[G]stackrelsumtitoZ[G]stackrel1−ttoZ[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