Более того, у вас вся группа состоит только из отражений. То что умножение отражений даёт не отражение, говорит о том, что отражения не образуют группу
Если мы применим два последовательных отражения, получаем - поворот. Но мой вопрос состоит в том, как математически строго выразить тот факт, что 2 последовательных отражения не образуют группу
К примеру: если мы выполним действия в такой последовательности: поворот и отражения , получим инверсию. Но теперь самое интересное, если мы используем такую последовательность : отражение,поворот и инверсия, группа образуется