Magma

MAGMA Computational Algebra System

Magma
 •  How to get it
 •  Download
 •  Online Demo
 
Resources
 •  Online Help
 •  Discovering Mathematics with Magma
 •  Citations
 •  How to cite Magma
 •  Links
 •  Contact us
 
[Next][Prev] [Right] [Left] [Up] [Index] [Root]

MATRIX GROUPS OVER INFINITE FIELDS

 
Acknowledgements
 
Overview
 
Construction of Congruence Homomorphisms and Testing Finiteness
 
Computing with nilpotent matrix groups
 
Examples
 
Bibliography







DETAILS

 
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]


Version: V2.16 of Mon Nov 16 15:04:45 EST 2009

Valid HTML 4.01! Valid CSS!