IsomorphismPcGroup: return maps that know they are isos

Fixes #3431
gap-system · Jun 5, 2019 · 3edbd44 · 3edbd44
1 parent 6ffb3a2
commit 3edbd44
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/lib/grpfp.gi b/lib/grpfp.gi
@@ -4187,6 +4187,8 @@ local s, a, hom;
   hom:=EpimorphismSolvableQuotient(G,s);
   if Size(Image(hom))<>s then
     Error("group is not solvable");
+  else
+    SetIsInjective(hom, true);
   fi;
   if a<>fail then
     hom:=a*hom;