From e1d08f097db4c156f3428ab2441eb0166b05010c Mon Sep 17 00:00:00 2001
From: Alexander Hulpke <hulpke@math.colostate.edu>
Date: Tue, 28 Jan 2020 10:35:17 +0000
Subject: [PATCH] FIX: Redid fix for #3864

As previous fix did not work for matrix groups
---
 lib/fitfree.gi | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

diff --git a/lib/fitfree.gi b/lib/fitfree.gi
index 7bdc2f28d1f..72fde879d89 100644
--- a/lib/fitfree.gi
+++ b/lib/fitfree.gi
@@ -204,9 +204,16 @@ local ffs,hom,U,rest,ker,r,p,l,i,depths,pcisom;
 
   # FittingFreeLiftSetup for U, if correct
   if Size(RadicalGroup(Image(rest,U)))=1 then
-    pcisom:=List(ipcgs,x->ImagesRepresentative(ffs.pcisom,x));
-    pcisom:=GroupHomomorphismByImagesNC(U,SubgroupNC(Range(ffs.pcisom),pcisom),
-      ipcgs,pcisom);
+    if ipcgs=MappingGeneratorsImages(ffs.pcisom)[1] then
+      pcisom:=ffs.pcisom;
+    else
+      pcisom:=List(ipcgs,x->ImagesRepresentative(ffs.pcisom,x));
+      RUN_IN_GGMBI:=true;
+      pcisom:=GroupHomomorphismByImagesNC(Group(ipcgs),
+        SubgroupNC(Range(ffs.pcisom),pcisom),
+        ipcgs,pcisom);
+      RUN_IN_GGMBI:=false;
+    fi;
     r:=rec(inducedfrom:=ffs,
           pcgs:=ipcgs,
           depths:=depths,