Update p4q.gi

discrepancies in CodePcGroup for order 1053,6875,13203, etc are also fixed
gap-packages · Sep 7, 2023 · 3d4489f · 3d4489f
1 parent 0ce4a21
commit 3d4489f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/gap/p4q.gi b/gap/p4q.gi
@@ -777,7 +777,7 @@ SOTRec.GroupP4Q := function(p, q, id)
         if (q - 1) mod p = 0 then
           Add(all, [ [p, p, p, p, q], [2, [3, 1]], [4, 1, [3, 1, 4, 1]], [5, 1, [5, R1]] ]); #F(G) \cong (C_p \times C_{p^2}) \times C_q
           Add(all, [ [p, p, p, p, q], [2, [3, 1]], [4, 1, [3, 1, 4, 1]], [5, 2, [5, R1]] ]); #F(G) \cong p_+ \times C_q
-          Add(all, [ [p, p, p, p, q], [2, [4, 1]], [3, 1, [3, 1, 4, 1]], [3, 2, [3, 1, 4, 1]], [5, 1, [5, R1]] ]); #F(G) \cong p_- \times C_q
+          Add(all, [ [p, p, p, p, q], [2, [3, 1]], [4, 1, [3, 1, 4, 1]], [4, 2, [3, 1, 4, 1]], [5, 1, [5, R1]] ]); #F(G) \cong p_- \times C_q
         fi;
       elif p = 2 then
         Add(all, [ [2, 2, 2, 2, q], [2, [3, 1]], [2, 1, [2, 1, 3, 1]], [4, 1, [3, 1, 4, 1]], [5, 1, [5, q - 1]] ]); #F(G) \cong (C_4 \times C_2) \times C_q, G \cong C_2 \ltimes F(G), Z(G) \cong C_4