IsFFEMatrixGroup implies IsSubsetLocallyFiniteGroup

... and this then automatically gives the implication IsFFEMatrixGroup and IsFinitelyGeneratedGroup => IsFinite
gap-system · Mar 2, 2018 · e671010 · e671010
1 parent e5a23cb
commit e671010
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/lib/grpffmat.gd b/lib/grpffmat.gd
@@ -30,13 +30,15 @@ DeclareSynonym( "IsFFEMatrixGroup", IsFFECollCollColl and IsMatrixGroup );
 
 #############################################################################
 ##
-#M  IsFinite( <ffe-mat-grp> )
+#M  IsSubsetLocallyFiniteGroup( <ffe-mat-grp> )
+##
+##  As a consequence, any IsFFEMatrixGroup in IsFinitelyGeneratedGroup
+##  automatically is also in IsFinite.
 ##
 ##  *Note:*  The following implication only holds  if  there are no  infinite
 ##  dimensional matrices.
 ##
-InstallTrueMethod( IsFinite,
-    IsFFEMatrixGroup and IsFinitelyGeneratedGroup );
+InstallTrueMethod( IsSubsetLocallyFiniteGroup, IsFFEMatrixGroup );
 
 
 #############################################################################