Fix Agemo(G,p) for trivial G (#5494)

gap-system · Aug 25, 2023 · beac8a0 · beac8a0
1 parent 7762032
commit beac8a0
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 0 deletions.
diff --git a/lib/grp.gi b/lib/grp.gi
@@ -2362,6 +2362,10 @@ InstallGlobalFunction( Agemo, function( arg )
     G := arg[1];
     p := arg[2];
 
+    if IsTrivial(G) then
+        return G;
+    fi;
+
     # <G> must be a <p>-group
     if not IsPGroup(G) or PrimePGroup(G)<>p then
         Error( "Agemo: <G> must be a p-group" );

diff --git a/tst/testbugfix/2023-08-25-Agemo.tst b/tst/testbugfix/2023-08-25-Agemo.tst
@@ -0,0 +1,5 @@
+# fix Agemo(G,p) for trivial G
+gap> Agemo(TrivialGroup(IsPcGroup), 2);
+<pc group of size 1 with 0 generators>
+gap> Agemo(TrivialGroup(IsPcGroup), 2, 1);
+<pc group of size 1 with 0 generators>