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

Непустое подмножество свободной группы Fс множеством образующих S, удовлетворяющее такому условию. Пусть элемент принадлежащий Ш. с., представлен в виде редуцированного слова от образующих группы: и пусть Тогда требуется, чтобы элемент gтакже принадлежал этой системе (элемент g' можно представлять себе как редуцированное слово, полученное из gзачеркиванием его последней буквы). Элемент 1 принадлежит каждой Ш. с. Введена О. Шрейером (О. Schreier) в 20-х гг., ом. [1]. Лит.:[1] Масси У., Столлингс Дж., Алгебраическая топология. Введение, пер. с англ., М., 1977. М. И. Войцеховский.