Free public beta until December 4, 2026: every course is open, no card needed. After that, the first chapter of each course stays free and full access is a one-time $39 ($19 for up to 100 founding members chosen for helpful feedback). Your progress is kept. How the beta works

finitely presented

A group admitting a presentation $\langle S \mid R\rangle$ with both the generating set $S$ and the relation list $R$ finite.

Examples

$D_n = \langle r,s \mid r^n=s^2=e,\ srs=r^{-1}\rangle$ .