If you are really interested in finding the maximal subgroups of S_n and
not just exploring the capabilities of GAP, these are easily described
(there are intransitive ones, imprimitive ones and the primitive ones
which can be extracted from GAP's library of primitive groups) - see for
example, Dixon and Mortimer, Permutation Groups, Springer 1996 page 151.

- John D. Dixon

"Alexander B. Konovalov" wrote:
>
> Dear Forum,
> I have tried to calculate maximal subgroups of symmetric groups
> using MaximalSubgroups in GAP 3.4.4.
> This was successfull for all n not greater then 8, but for n=9
> I obtain the following message:
>
> Error, sorry, can' t identify the group's solvable residuum in
> struct.operations.RepresentativesPerfectSubgroups( struct ) called from
> RepresentativesPerfectSubgroups( ShallowCopyNoSC( G ) ) called from
> struct.operations.LatticeSubgroups( struct ) called from
> LatticeSubgroups( G ) called from
> G.operations.ConjugacyClassesMaximalSubgroups( G ) called from
> ...
>
> What does it mean ?
> Whether function MaximalSubgroups couldn't work in this case ?
>
> Sincerely yours,
> Alexander B. Konovalov,
> Zaporozhye State University, Zaporozhye, Ukraine.
> E-mail: konovalov@member.ams.org, algebra@hotmail.zp.ua

Miles-Receive-Header: reply