Tell Sylow subgroups of natural An or Sn their size when we make them

gap-system · Jan 24, 2016 · 01e166b · 01e166b
1 parent f53dab9
commit 01e166b
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/lib/gpprmsya.gi b/lib/gpprmsya.gi
@@ -205,6 +205,8 @@ function ( G, p )
 
     # make the Sylow subgroup
     S := SubgroupNC( G, sgs );
+    SetSize(S,p^Length(sgs));
+
 
     # add the stabilizer chain
     #MakeStabChainStrongGenerators( S, Reversed([1..G.degree]), sgs );
@@ -1569,8 +1571,10 @@ local   S,          # <p>-Sylow subgroup of <G>, result
     od;
 
     # make the Sylow subgroup
-    S := Subgroup(  G , sgs );
-
+    S := SubgroupNC(  G , sgs );
+    SetSize(S,p^Length(sgs));
+
+
     if Size( S ) > 1 then
         SetIsPGroup( S, true );
         SetPrimePGroup( S, p );