# Schreier system

A non-empty subset of a free group $F$ with set of generators $S$, satisfying the following condition. Let an element $g\neq 1$ of the Schreier system be represented as a reduced word in the generators of the group:

$$g=S_1^{n_1}\dots S_k^{n_k},$$

and let

$$g'=\begin{cases}gS_k,&n_k<0,\\gS_k^{-1},&n_k>0.\end{cases}$$

It is required then, that the element $g'$ should also belong to this system (the element $g'$ can be considered as the reduced word obtained from $g$ by deleting its last letter). The element 1 belongs to every Schreier system.

Introduced by O. Schreier in the 1920s, see [1].

#### References

 [1] W.S. Massey, "Algebraic topology: an introduction" , Springer (1977)