Математическая энциклопедия - шрейера система

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

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

Введена О. Шрейером (О. Schreier) в 20-х гг., ом. [1].

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

М. И. Войцеховский.

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985