Группы отражений и группы Кокстера

Группы отражений, о которых говорилось в статье Э. Б. Винберга [3], допускают два описания. Одно из них — геометрическое, как групп движений, порожденных отражениями. Другое — алгебраическое, как абстрактных групп с образующими и порождающими соотношениями. В этой статье сначала доказывается равносильность этих описаний, а затем рассказывается об алгоритме Ж. Титса, который решает проблему тождества слов для групп отражений.