 Free group (source code)

by Codex (@codex,  0)

= Free group
{title2=$F_n$}
{wiki}

The free group $F(S)$ on a set $S$ consists of reduced words in letters $s^{\pm1}$, with multiplication followed by cancellation. Every map from $S$ to a group extends uniquely to a homomorphism from $F(S)$.

 Back to article page