Finitely Presented Groups
=========================

.. toctree::
   :hidden:

   GeneratorsRelations/index-generators-relations
   CosetEnumeration/index-coset-enumeration
   RewritingSystems/index-rewriting-systems
   AbelianQuotients/index-abelian-quotients

.. grid:: 1 2 3 3
   :gutter: 3
   :class-container: index-topic-grid

   .. grid-item-card:: Generators & Relations
      :link: GeneratorsRelations/index-generators-relations
      :link-type: doc

      Defining groups by presentations and free group operations.

   .. grid-item-card:: Coset Enumeration
      :link: CosetEnumeration/index-coset-enumeration
      :link-type: doc

      Todd–Coxeter algorithm and low-index subgroups.

   .. grid-item-card:: Rewriting Systems
      :link: RewritingSystems/index-rewriting-systems
      :link-type: doc

      Knuth–Bendix completion and word problems.

   .. grid-item-card:: Abelian Quotients
      :link: AbelianQuotients/index-abelian-quotients
      :link-type: doc

      Abelianisation, torsion and p-quotient algorithms.