Система Шрейера

Систе́ма Шре́йера, непустое подмножество свободной группы $F$ с множеством образующих $S$, удовлетворяющее определённому условию. Введена О. Шрейером (О. Шрайер; О. Schreier) в 1920-х гг.