Skip to content

Finitely Presented Groups

Magma implements Todd-Coxeter coset enumeration, Reidemeister-Schreier rewriting, and low-index subgroup algorithms for finitely presented groups. Abelian, polycyclic, and profinite quotients can all be computed.

All Areas
magma — finitely-presented-groups
Type ? for help. Type <Ctrl>-D to quit.
Try in Calculator Jump to the Handbook