On Wed, Apr 8, 2009 at 2:16 PM, Ursula Whitcher
<[email protected]> wrote:
>
> I'd like to know H^3(G,Z) for two particular finite groups, namely L_2
> (7), also known as the Chevalley group PSL(2,F_7), and M_20, a
> subgroup of the Mathieu group M_24 which is isomorphic to a semidirect
> product of (Z/2Z)^4 with the alternating group A_5.
>
> Is Sage capable of these computations? If so, how do I express these
> groups (or how should I start trying to express them)? If not, does
sage: G1 = PSL(2,7)
sage: MathieuGroup?
explains
"""
The Mathieu group of degree n.
INPUT:
n -- a positive integer in {9, 10, 11, 12, 21, 22, 23, 24}.
OUTPUT:
-- the Mathieu group of degree n, as a permutation group
"""
sage: G1.cohomology(3,p=0)
computes what you want f the hap package is loaded
(using sage -i gap_packages* - see http://www.sagemath.org/packages/optional/).
For M20, you might want to use GAP directly. See
http://www.gap-system.org/Packages/hap.html
> anyone have a suggestion for a place to look this up, or another
> computation tool I should use?
>
> Thanks!
> Ursula
> >
>
--~--~---------~--~----~------------~-------~--~----~
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-support
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
