[GAP Forum] query regarding the Mathieu group

[Mowsey]

Some of the commands for calculating and working with the lattice
of subgroups are described at:

http://www.gap-system.org/Manuals/doc/htm/ref/CHAP037.htm#SECT020

One can also use the package "xgap" to visualize the lattice and
work with it graphically. This is described at:

http://www.gap-system.org/Manuals/pkg/xgap/htm/CHAP004.htm

but I would caution that if you are not using X-windows on a unix
machine, it can be fairly difficult to setup xgap in a reliable way.


Here are specific commands which construct the subgroup lattice
of the Methieu group M_12:

   G := MathieuGroup(12);
   lat := LatticeSubgroups(G); # merely computes the lattice
   ## see the manual for how to work with it

or in xgap:

   G := MathieuGroup(12);
   GraphicSubgroupLattice(G); # A window now displays the lattice


There is some support for outputting pictures of the lattice,
but I am personally less familiar with them and do not see
easy to follow documentation for the features. You may want
to see if the package SgpViz (Semigroup visualization) is
suitable.



On Fri, September 30, 2005 14:42, niranj at math.ohio-state.edu wrote:
> hi all,
>  i was trying to get some information about the lattice of subgroups of
> M_12 and the other Mathieu groups. I tried the command Lattice ( G )
> after defining the Mathieu group using generators but got a message,"
> 'Lattice' must have a value".
> i am not sure i understand. what am i missing?is there some other way of
> being able to compute the lattice structure?
>
> thanks.
>
> niranjan
>
> _______________________________________________
> Forum mailing list
> Forum at mail.gap-system.org
> http://mail.gap-system.org/mailman/listinfo/forum
>