# Set of Words Generates Group/Corollary

## Corollary to Set of Words Generates Group

Let $G$ be a group.

Let $T \subseteq G$.

Let $W \left({T}\right)$ be the set of words of $T$.

If $T$ is closed under taking inverses, then $W \left({T}\right)$ is a subgroup of $G$.

## Proof

This follows directly from Set of Words Generates Group and the fact that $T$ has the same properties as $\hat S$ in that result.

$\blacksquare$