CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.

| Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

Views: 418346
Tweet
Share
Share
1
<Chapter><Heading><M>\mathbb ZG</M>-Resolutions and Group Cohomology</Heading>

2


3
Resolutions

4


5
<Table Align="|l|" >

6


7
<Row> <Item>

8
<Index>EquivariantChainMap</Index>

9
<#Include SYSTEM "newman/EquivariantChainMap.xml"> </Item> </Row>

10


11


12
<Row> <Item>

13
<Index>FreeGResolution</Index>

14
<#Include SYSTEM "newman/FreeGResolution.xml"> </Item> </Row>

15


16


17
<Row> <Item>

18
<Index>ResolutionBieberbachGroup</Index>

19
<#Include SYSTEM "newman/ResolutionBieberbachGroup.xml"> </Item> </Row>

20


21
<Row> <Item>

22
<Index>ResolutionCubicalCrystGroup</Index>

23
<#Include SYSTEM "newman/ResolutionCubicalCrystGroup.xml"> </Item> </Row>

24


25
<Row> <Item>

26
<Index>ResolutionFiniteGroup</Index>

27
<#Include SYSTEM "newman/ResolutionFiniteGroup.xml"> </Item> </Row>

28


29
<Row> <Item>

30
<Index>ResolutionNilpotentGroup</Index>

31
<#Include SYSTEM "newman/ResolutionNilpotentGroup.xml"> </Item> </Row>

32


33
<Row> <Item>

34
<Index>ResolutionNormalSeries</Index>

35
<#Include SYSTEM "newman/ResolutionNormalSeries.xml"> </Item> </Row>

36


37
<Row> <Item>

38
<Index>ResolutionPrimePowerGroup</Index>

39
<#Include SYSTEM "newman/ResolutionPrimePowerGroup.xml"> </Item> </Row>

40


41


42


43
<Row> <Item>

44
<Index>ResolutionSL2Z</Index>

45
<#Include SYSTEM "newman/ResolutionSL2Z.xml"> </Item> </Row>

46


47


48
<Row> <Item>

49
<Index>ResolutionSmallGroup</Index>

50
<#Include SYSTEM "newman/ResolutionSmallGroup.xml"> </Item> </Row>

51


52
<Row> <Item>

53
<Index>ResolutionSubgroup</Index>

54
<#Include SYSTEM "newman/ResolutionSubgroup.xml"> </Item> </Row>

55


56
</Table>

57


58
Algebras <M>\longrightarrow </M> (Co)chain Complexes

59


60
<Table Align="|l|" >

61
 

62
<Row> <Item>

63
<Index>LeibnizComplex</Index>

64
<#Include SYSTEM "newman/LeibnizComplex.xml"> </Item> </Row>

65


66


67


68
</Table>

69


70


71
Resolutions <M>\longrightarrow </M> (Co)chain Complexes

72


73
<Table Align="|l|" >

74


75
<Row> <Item>

76
<Index>HomToIntegers</Index>

77
<#Include SYSTEM "newman/HomToIntegers.xml"> </Item> </Row>

78


79
<Row> <Item>

80
<Index>HomToIntegralModule</Index>

81
<#Include SYSTEM "newman/HomToIntegralModule.xml"> </Item> </Row>

82


83


84
<Row> <Item>

85
<Index>TensorWithIntegers</Index>

86
<#Include SYSTEM "newman/TensorWithIntegers.xml"> </Item> </Row>

87


88


89


90
<Row> <Item>

91
<Index>TensorWithIntegersModP</Index>

92
<#Include SYSTEM "newman/TensorWithIntegersModP.xml"> </Item> </Row>

93


94


95
</Table>

96


97
Cohomology rings

98


99
<Table Align="|l|" >

100


101
<Row> <Item>

102
<Index>AreIsomorphicGradedAlgebras</Index>

103
<#Include SYSTEM "newman/AreIsomorphicGradedAlgebras.xml"> </Item> </Row>

104


105
<Row> <Item>

106
<Index>HAPDerivation</Index>

107
<#Include SYSTEM "newman/HAPDerivation.xml"> </Item> </Row>

108


109
<Row> <Item>

110
<Index>HilbertPoincareSeries</Index>

111
<#Include SYSTEM "newman/HilbertPoincareSeries.xml"> </Item> </Row>

112


113
<Row> <Item>

114
<Index>HomologyOfDerivation</Index>

115
<#Include SYSTEM "newman/HomologyOfDerivation.xml"> </Item> </Row>

116


117


118


119


120


121
<Row> <Item>

122
<Index>IntegralCohomologyGenerators</Index>

123
<#Include SYSTEM "newman/IntegralCohomologyGenerators.xml"> </Item> </Row>

124


125
<Row> <Item>

126
<Index>LHSSpectralSequence</Index>

127
<#Include SYSTEM "newman/LHSSpectralSequence.xml"> </Item> </Row>

128


129
<Row> <Item>

130
<Index>LHSSpectralSequenceLastSheet</Index>

131
<#Include SYSTEM "newman/LHSSpectralSequenceLastSheet.xml"> </Item> </Row>

132


133


134


135


136
<Row> <Item>

137
<Index>ModPCohomologyGenerators</Index>

138
<#Include SYSTEM "newman/ModPCohomologyGenerators.xml"> </Item> </Row>

139


140


141
<Row> <Item>

142
<Index>ModPCohomologyRing</Index>

143
<#Include SYSTEM "newman/ModPCohomologyRing.xml"> </Item> </Row>

144


145
<Row> <Item>

146
<Index>Mod2CohomologyRingPresentation</Index>

147
<#Include SYSTEM "newman/Mod2CohomologyRingPresentation.xml"> </Item> </Row>

148


149


150


151


152
</Table>

153


154


155
Group Invariants

156


157
<Table Align="|l|" >

158


159
<Row> <Item>

160
<Index>GroupCohomology</Index>

161
<#Include SYSTEM "newman/GroupCohomology.xml"> </Item> </Row>

162


163


164
<Row> <Item>

165
<Index>GroupHomology</Index>

166
<#Include SYSTEM "newman/GroupHomology.xml"> </Item> </Row>

167


168


169
<Row> <Item>

170
<Index>PrimePartDerivedFunctor</Index>

171
<#Include SYSTEM "newman/PrimePartDerivedFunctor.xml"> </Item> </Row>

172


173
<Row> <Item>

174
<Index>PoincareSeries</Index>

175
<#Include SYSTEM "newman/PoincareSeries.xml"> </Item> </Row>

176


177
<Row> <Item>

178
<Index>PoincareSeries</Index>

179
<#Include SYSTEM "newman/PoincareSeries.xml"> </Item> </Row>

180


181
<Row> <Item>

182
<Index>RankHomologyPGroup</Index>

183
<#Include SYSTEM "newman/RankHomologyPGroup.xml"> </Item> </Row>

184


185


186


187
</Table>

188


189
<M>\mathbb F_p</M>-modules

190


191
<Table Align="|l|" >

192


193
<Row> <Item>

194
<Index>GroupAlgebraAsFpGModule</Index>

195
<#Include SYSTEM "newman/GroupAlgebraAsFpGModule.xml"> </Item> </Row>

196


197
<Row> <Item>

198
<Index>Radical</Index>

199
<#Include SYSTEM "newman/Radical.xml"> </Item> </Row>

200


201
<Row> <Item>

202
<Index>RadicalSeries</Index>

203
<#Include SYSTEM "newman/RadicalSeries.xml"> </Item> </Row>

204


205


206


207


208
</Table>

209


210
</Chapter>

211


212


213