Exponent for groups with know conjugacy classes

In this case no need to compute all Sylow subgroups.
gap-system · Jun 22, 2022 · 954bff1 · 954bff1
1 parent 126e3a0
commit 954bff1
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/lib/grp.gi b/lib/grp.gi
@@ -1277,6 +1277,11 @@ function(G)
   return exp;
 end);
 
+# ranked below the method for abelian groups
+InstallMethod( Exponent,
+    [ "IsGroup and IsFinite and HasConjugacyClasses" ],
+    G-> Lcm(List(ConjugacyClasses(G), c-> Order(Representative(c)))) );
+
 InstallMethod( Exponent,
     "method for finite abelian groups with generators",
     [ IsGroup and IsAbelian and HasGeneratorsOfGroup and IsFinite ],