Нейтральный элемент - это единица, умножение на которую справа или слева даст исходный элемент. Т.е. это такое преобразование пространства, которое ничего не поменяет. А отражения относительно плоскостей меняют.
Что из множества преобразований получить группу, должно выполняться 4 условия: 1. Наличие обратного элемента и обратной матрицы 2. Наличие единичного элемента 3. Выполнение свойства ассоциативности 4. Бинарное отображение