Ммм... ну наверно отражения действительно не образуют группу:
Расмотрим последовательность отражений
1) отражение относительно плоскости, в которой лежит Оz, и прямая из Оху, которая образует угол q/2 с положительным направлением Ox
2) в новых осях рассмотрим отражение относительно плоскости Ох'z'
Получим поворот на угол q относительно оси Oz в положительном направлении.
Но в нашем множестве операций нет поворотов- только отражения