Basic group theory

[ncfavier]

Description

• (amalgamated) free products of groups, making them finitely cocomplete
• semidirect products of abstract and concrete groups, some fundamental group actions
• cyclic groups, $\mathbb{Z}/n\mathbb{Z}$
• (generalised) dihedral groups
• explicit construction of finite products of concrete groups
• order of an element, torsion groups, torsion-free groups

Checklist

Before submitting a merge request, please check the items below:

• [X] I've read the contributing guidelines.
• [X] The imports of new modules have been sorted with support/sort-imports.hs (or nix run --experimental-features nix-command -f . sort-imports).
• [X] All new code blocks have "agda" as their language.

[Lavenza]

Pull request preview