ШРЕЙЕРА СИСТЕМА

- непустое подмножество свободной группы Fс множеством образующих S, удовлетворяющее такому условию. Пусть элемент принадлежащий Ш. с., представлен в виде редуцированного слова от образующих группы: и пусть

Тогда требуется, чтобы элемент gтакже принадлежал этой системе (элемент g' можно представлять себе как редуцированное слово, полученное из gзачеркиванием его последней буквы). Элемент 1 принадлежит каждой Ш. с.
Введена О. Шрейером (О. Schreier) в 20-х гг., ом. [1].

Лит.:[1] Масси У., Столлингс Дж., Алгебраическая топология. Введение, пер. с англ., М., 1977.
М. И. Войцеховский.