#6491: [with spkg, needs review] Modular Cohomology Rings of Finite p-Groups
-------------------------------+--------------------------------------------
Reporter: SimonKing | Owner: SimonKing
Type: enhancement | Status: assigned
Priority: major | Milestone: sage-4.1.1
Component: optional packages | Keywords: cohomology ring finite p-group
Reviewer: | Author: Simon King
Merged: |
-------------------------------+--------------------------------------------
Comment(by SimonKing):
PS: Concerning reliability of Poincare series.
In some cases, other people provided a Poincare series. For example, David
Green provides the Poincare series for the cohomology rings of the groups
of order 64. His programs and our package share the computation of
resolutions, but the computation of the ring structure is an independent
implementation. However, the results coincide (I went through all 267
examples).
And the Sylow 2-subgroup of the Higman-Sims group (order 512, see
[http://users.minet.uni-jena.de/~king/cohomology/512web/Syl2HS.html]) was
already computed by Jon F. Carlson and coauthors. They of course obtain a
different ring presentation, but: The number of generators and relations,
sorted by degree, ''and'' the Poincaré series coincide with our findings.
So, the cross checks seem to indicate that it is reliable.
Cheers,
Simon
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6491#comment:14>
Sage <http://sagemath.org/>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
