Isn't the obvious place the book SPLAG by Conway & Sloane? Chapter 4?
Rob WIlson at QMUL is master of the generators. He has a new book
on the finite simples.
John McKay
==
On Fri, 9 Apr 2010, Mathieu Dutour wrote:
> There are a number of ways to do that.
>
> If you are interested in the
Thank you for your answers. Sorry, I am interested in Co0 - automorphism group
of Leech lattice. My goal is to find the decomposition of Leech lattice into
4095 "crosses" i.e. orthonormal frames of 48 vectors. I have heard that such
decomposition exists, but I want to have it explicite.
My plan
Dear Marek,
you can find matrices for 2.Co1 here:
http://brauer.maths.qmul.ac.uk/Atlas/spor/Co1/gap0/2Co1G1-Zr24B0.g
as a subgroup of SL(24,Z).
To find the form F that is invariant under the group, you can, for instance,
solve an obvious system of linear equations g_i F=F (g_i^T)^-1, with i=1,2.
N
There are a number of ways to do that.
If you are interested in the automorphism group of the Leech lattice, that
is the double cover of the group Co1, then you can use my package
"polyhedral" (from http://www.liga.ens.fr/~dutour/Polyhedral/index.html)
which is not official or the package "cryst"
Hello,
I have received following email from one matematician. I have asked him for the
matrix generators of Conway group Co1 in SO(24). Do you know how to obtain such
generators in GAP ?
The following Magma code should work:
L := Lattice("Lambda",24);
G := AutomorphismGroup(L);
B := BasisMat
