Finitely Presented Groups

Abelian Groups

Abelian group creation, generic abelian groups and elements.

Abelian Groups

Free Groups

Free group creation, subgroups and automorphisms.

Free Groups

Introduction to FP-Groups

FP-group construction, properties and subgroups.

Introduction to Fp-Groups

Finitely Presented Groups

FP-group construction, simplification and standard constructions.

Finitely Presented Groups

Polycyclic Groups

Polycyclic group construction, subgroups, quotients and conversion.

Polycyclic Groups

Braid Groups

Braid group construction and element creation.

Braid Groups

Groups Defined by Rewrite Systems

Rewriting system creation, properties and arithmetic for groups.

Groups Defined by Rewrite Systems

Automatic and Hyperbolic Groups

Automatic groups and hyperbolic groups.

Automatic and Hyperbolic Groups

Groups of Straight-line Programs

Straight-line program group creation and operations.

Groups of Straight-Line Programs

Finitely Presented Semigroups

Semigroup presentation creation, operations and properties.

Finitely Presented Semigroups

Monoids Given by Rewrite Systems

Rewriting system creation, operations and homomorphisms for monoids.

Monoids Given by Rewrite Systems