#6750: [with spkg, needs review] New version of optional Group Cohomology spkg
-------------------------------+--------------------------------------------
Reporter: SimonKing | Owner: SimonKing
Type: enhancement | Status: assigned
Priority: major | Milestone:
Component: optional packages | Keywords: cohomology ring p-group
Reviewer: | Author: Simon King
Merged: |
-------------------------------+--------------------------------------------
Comment(by jhpalmieri):
Replying to [comment:41 SimonKing]:
> Replying to [comment:40 SimonKing]:
> > I just had a chat with Mikael, and if I understood him correctly then
the results of the current package version on the cohomology of C_4 times
C_4 are what he expected.
> >
> > Mikael, please correct me if the following contains too much nonsense.
> [...]
> > Usually, the Massey products behave multiplicatively in the first and
last position:
> >
[snip]
> I misunderstood that there is a theorem for it.
There is a theorem for it. Look in ''Complex cobordism and stable
homotopy groups of spheres'' by Ravenel, Appendix A1.4. (You can download
it [http://www.math.rochester.edu/people/faculty/doug/mu.html#repub
here]). According to A1.4.6, up to a sign, b<x1, x2, ...> is contained in
<bx1, x2, ...>, and similarly for the last position. There is also an
addition formula: see A1.4.5 in Ravenel. If you can provide doctests for
some of these in some examples, that would be great.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6750#comment:42>
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
-~----------~----~----~----~------~----~------~--~---
