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

- непустое подмножество свободной группы Fс множеством образующих S, удовлетворяющее такому условию. Пусть элемент [img: http://localhost:8080/file/052603-30.jpg] принадлежащий Ш. с., представлен в виде редуцированного слова от образующих группы: [img: http://localhost:8080/file/052603-31.jpg] и пусть [img: http://localhost:8080/file/052603-32.jpg] Тогда требуется, чтобы элемент gтакже принадлежал этой системе (элемент g' можно представлять себе как редуцированное слово, полученное из gзачеркиванием его последней буквы). Элемент 1 принадлежит каждой Ш. с. Введена О. Шрейером (О. Schreier) в 20-х гг., ом. [1].