Fix forming trivial quotients of algebra modules

gap-system · Jan 4, 2018 · 5c9737d · 5c9737d
1 parent 9ad2283
commit 5c9737d
Show file tree

Hide file tree

Showing 2 changed files with 24 additions and 0 deletions.
diff --git a/lib/algrep.gi b/lib/algrep.gi
@@ -1194,6 +1194,15 @@ InstallMethod( NaturalHomomorphismBySubAlgebraModule,
  f:= NaturalHomomorphismBySubspace( V, W );
  quot:= ImagesSource( f );
 
+ if IsTrivial(quot) then
+ quot := SubAlgebraModule( V, [], "basis" );
+ nathom := ZeroMapping( V, quot );
+ SetIsSurjective( nathom, true );
+ SetImagesSource(nathom, quot);
+ SetKernelOfAdditiveGeneralMapping( nathom, W );
+ return nathom;
+ fi;
+
  imgs:= List( Basis( V ), x -> Coefficients( Basis( quot ),
  ImagesRepresentative(f,x)));
 

diff --git a/tst/testinstall/algrep.tst b/tst/testinstall/algrep.tst
@@ -55,6 +55,21 @@ gap> S1:=SubAlgebraModule(S,bas,"basis");
 <16-dimensional left-module over <Lie algebra of dimension 4 over GF(3)>>
 
 #
+# factors
+#
+gap> S0/S0;
+<0-dimensional left-module over <Lie algebra of dimension 4 over GF(3)>>
+gap> S1/S0;
+<16-dimensional left-module over <Lie algebra of dimension 4 over GF(3)>>
+gap> S1/S1;
+<0-dimensional left-module over <Lie algebra of dimension 4 over GF(3)>>
+gap> S/S0;
+<35-dimensional left-module over <Lie algebra of dimension 4 over GF(3)>>
+gap> S/S1;
+<19-dimensional left-module over <Lie algebra of dimension 4 over GF(3)>>
+gap> S/S;
+<0-dimensional left-module over <Lie algebra of dimension 4 over GF(3)>>
+
 #
 # cocycles etc.
 #