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

free group

The group $F(S)$ of all reduced words in a generating set $S$ , where the only equalities among words are those forced by bare cancellation.

Loading interactive…

Examples

$F(\{a,b\})$ , the free group on two generators, contains words like $ab^{-1}a$ with no relation forcing any simplification.