). Если S - свободная полугруппа операторов, то при [img: http://localhost:8080/file/041602-70.jpg] допустимая подгруппа S -свободной группы F, порожденная элементом а, сама является S-свободной группой со свободным образующим а(см. также

http://libmeta.ru/resource/mathenc/publication/p3311