I've just started a PhD in Group Theory and need to use the computer programme MAGMA. I wonder if anyone could help me with a couple of (probably very basic things).
I need to produce a Hasse diagram for subgroups of a given group containing a given Sylow subgroup of the group. In MAGMA I can use the command Subgroups(G:OrderMultipleOf:=??) to obtain all subgroups of a group G which contain a Sylow subgroup, however is there a command I can use so that for a given group G and a Sylow subgroup S, I can produce all subgroups of G containing S.
As I'm very new to MAGMA, does anyone know of any good books, publications or websites aiding someone to use MAGMA for group theoretical purposes.
Thanks in advance for your help.