Goto Chapter: Top 1 2 3 Ind
 Top of Book   Previous Chapter   Next Chapter 

3 Functions for Homological Algebra
 3.1 Resolutions
  3.1-1 ResolutionPrimePowerGroup

  3.1-2 ExtendResolutionPrimePowerGroup
 3.2 PoincarĂ© Series
  3.2-1 PoincareSeriesLHS
 3.3 Cohomology Ring structure
  3.3-1 ModPCohomologyRingPresentation

3 Functions for Homological Algebra

3.1 Resolutions

3.1-1 ResolutionPrimePowerGroup
> ResolutionPrimePowerGroupRadical( G, n )( operation )
> ResolutionPrimePowerGroupGF( G, n )( operation )
> ResolutionPrimePowerGroupAutoMem( G, n )( operation )
> ResolutionPrimePowerGroupGF2( G, n )( operation )
> ResolutionPrimePowerGroupRadical( M, n )( operation )
> ResolutionPrimePowerGroupGF( M, n )( operation )
> ResolutionPrimePowerGroupAutoMem( M, n )( operation )
> ResolutionPrimePowerGroupGF2( M, n )( operation )

Returns: HAPResolution

Returns n terms of a minimal free FG-resolution for either the ground ring of a prime power group G or of a module M. For the module version, M must be passed as an FpGModuleGF object - see HAPprime Datatypes: FG-modules in the HAPprime datatypes reference manual.

Three versions of this function are provided:

ResolutionPrimePowerGroupRadical

uses the same resolution-building method as the HAP function ResolutionPrimePowerGroup, but stores the resolution in a different format that takes only about half the memory of the HAP version.

ResolutionPrimePowerGroupGF

calculates the resolution using HAPprime's G-generator form of modules, which reduces memory use by around a factor of two over ResolutionPrimePowerGroupRadical, but is slower by an order of magnitude.

ResolutionPrimePowerGroupAutoMem

automatically switches between the two previous versions based on the available memory. It uses the Radical version until it gets close to the limit of the available memory, and then switches to the GF version.

ResolutionPrimePowerGroupGF2

calculates the resolution by FG-matrix partitioning. The amount of partitioning is governed by the Reference: Options Stack option MaxFGExpansionSize. The default value means that until the boundary map takes about 128Mb, the method is equivalent to ResolutionPrimePowerGroupRadical, and then it tends towards ResolutionPrimePowerGroupGF in terms of time, but saves less memory.

See the HAPprime datatypes reference manual for details of the different algorithms, in particular the chapters on the G-generator form of FG-modules HAPprime Datatypes: FG-modules and FG-module homomorphisms HAPprime Datatypes: FG-module homomorphisms and on resolutions HAPprime Datatypes: Resolutions.

3.1-2 ExtendResolutionPrimePowerGroup
> ExtendResolutionPrimePowerGroupRadical( R )( operation )
> ExtendResolutionPrimePowerGroupGF( R )( operation )
> ExtendResolutionPrimePowerGroupAutoMem( R )( operation )
> ExtendResolutionPrimePowerGroupGF2( R )( operation )

Returns: HAPResolution

Returns the resolution R extended by one term. The three variants offer a choice between memory and speed, and correspond to the different versions of ResolutionPrimePowerGroup in HAPprime. See the documentation (above) for those functions for a description of the different variants.

3.2 Poincaré Series

3.2-1 PoincareSeriesLHS
> PoincareSeriesLHS( G )( attribute )

Returns: Rational function

For a finite p-group G, this function calculates and returns a quotient of polynomials f(x) = P(x)/Q(x) (i.e. the Poincaré series) whose coefficient of x^k equals the rank of the vector space H_k(G, F_p) for all k in the range k=1 to k=n.

This function computes a Lyndon-Hoschild-Serre spectral sequence for the p-group G. The last sheet of this sequence will have the same additive structure as the mod-p group cohomology ring of G, and thus the same Poincaré series, which is returned by this function.

See Section 2.2-3 for an example and more description.

3.3 Cohomology Ring structure

3.3-1 ModPCohomologyRingPresentation
> ModPCohomologyRingPresentation( G )( attribute )
> ModPCohomologyRingPresentation( G, n )( operation )
> ModPCohomologyRingPresentation( R )( operation )
> ModPCohomologyRingPresentation( A )( operation )

Returns: GradedAlgebraPresentation

Calculates and returns a cohomology ring presentation for the group G. See HAPprime Datatypes: Presentations of graded algebras in the datatypes reference manual for details of the GradedAlgebraPresentation type.

If the only argument is a p-group G then this function computes and returns the provably-correct cohomology ring presentation. This version first computes the Lyndon-Hoschild-Serre Spectral Sequence until convergence to find the additive structure of the cohomology ring, and then computes the cohomology ring up to and including the maximum necessary generator or relation, using the (G, n) method described below. For certain groups, the cohomology ring is returned without computation: the known mod-p cohomology ring presentation for cyclic groups is returned without calculation, and for groups which can be expressed as a direct product, the cohomology ring is computed as a tensor product of its direct factors (thus the cohomology ring of all Abelian groups are also returned with minimal computation.)

When given a p-group G and integer n, this function computes the presentation modulo all elements of degree greater n. Alternatively, a minimal resolution R (with n terms) can be input, or a structure constant algebra A with embedded degrees (from ModPCohomologyRing (HAP: ModPCohomologyRing)).

See Section 2.2-1 and 2.2-2 for examples and more description. See also LHSSpectralSequence (HAPprime Datatypes: LHSSpectralSequence) for details of options that can be used to guide the spectral sequence computation.

 Top of Book   Previous Chapter   Next Chapter 
Goto Chapter: Top 1 2 3 Ind

generated by GAPDoc2HTML