GAP:SylowSubgroup
From Groupprops
This article is about a GAP function.
Definition
Function type
The SylowSubgroup function takes as input a group and a number and outputs a group.
Behavior
The behavior as follows:
- If the group is a finite group and the number input is a prime number, the function outputs one of the Sylow subgroups for that prime in the group. Note that if the prime does not divide the order of the group, the trivial group is returned.
- If the number input is not a prime number, GAP returns an error beginning with:
<p> must be a prime called from
- If the group is infinite, GAP returns a NoMethodFound error.
Related functions
- GAP:HallSubgroup: This function works for solvable groups, and returns a Hall subgroup for any set of primes.
- GAP:SylowComplement
Examples of usage
Here is an example involving the computation of a 2-Sylow subgroup of symmetric group of degree six:
gap> G := SymmetricGroup(6); Sym( [ 1 .. 7 ] ) gap> S := SylowSubgroup(G,2); Group([ (1,2), (3,4), (1,3)(2,4), (5,6) ]) gap> IdGroup(S); [ 16, 11 ] gap> IsomorphismGroups(S,DirectProduct(DihedralGroup(8),CyclicGroup(2))); [ (1,2), (3,4), (1,3)(2,4), (5,6) ] -> [ f1*f2, f1*f2*f3, f1*f3*f4, f4 ] gap> N := Normalizer(G,S); Group([ (5,6), (1,4)(2,3), (3,4), (1,2) ]) gap> N = S; true gap> Length(ConjugateSubgroups(G,S)); 45 gap> T := SylowSubgroup(G,3); Group([ (1,2,3), (4,5,6) ]) gap> IdGroup(T); [ 9, 2 ] gap> U := SylowSubgroup(G,5); Group([ (1,2,3,4,5) ]) gap> IdGroup(U); [ 5, 1 ]