Overview
Construction of Congruence Homomorphisms and Testing Finiteness CongruenceImage(G) : GrpMat -> GrpMat IsomorphicCopy(G) : GrpMat -> BoolElt, GrpMat IsFinite(G) : GrpMat -> BoolElt Order(G) : GrpMat -> RngIntElt
Computing with nilpotent matrix groups IsUnipotent(G) : GrpMat -> BoolElt IsCompletelyReducibleNilpotent(G) : GrpMat -> BoolElt IsNilpotent(G) : GrpMat -> BoolElt SylowSystem(G) : GrpMat -> []
Examples Example GrpMatInf_IsFiniteMatrixGroupFQ (H58E1) Example GrpMatInf_IsFiniteMatrixGroupFF (H58E2) Example GrpMatInf_IsNilpotentMatrixGroupF (H58E3)
Bibliography [Next][Prev] [Right] [____] [Up] [Index] [Root]