1.8 AvailableMaximalSubgroupsGPL

AvailableMaximalSubgroupsGPL( name )

AvailableMaximalSubgroupGPL( name ) works the same as SubgroupGPL( name ) but will only return the listed maximal subgroups of the group indicated by name. Again, this will in general not be a complete list of maximal subgroups. For the available presentations of the sporadic simple groups from M₁₁ up to HS and their automorphism groups, however, words for every maximal subgroup are present.

  gap>  m11 := GroupPresentationGPL( "M11",1);;
  gap> InitializeGroupPresentationGPL( m11 );
  gap> AvailableSubgroupsGPL( m11 );
  [ A6.2_3, L2(11), A6, 3^2:Q8.2, A5.2, 3^2:8, 2.S4 ]
  gap> AvailableMaximalSubgroupsGPL( m11 );
  [ A6.2_3, L2(11), 3^2:Q8.2, A5.2, 2.S4 ]