О строении множества орбит отражений

Пусть G − бесконечная группа отражений, действующая на цилиндрической алгебраической поверхности. Показывается, что множество всех отражений, принадлежащих группе G, имеет разбиение, состоящее из поэлементно коммутирующих "стандартных" подмножеств, каждое из которых является объединением не более двух чем G-орбит отражений и вычисляются базисные инварианты групп, порождаемых этими множествами.