群（因为所有反射共轭于联通群 formula_17 的中一个元素，所有反射的平方一定具有相同值）。具体地，在 formula_18 中，formula_19 的指数为 2，子群 formula_20 的原像是 formula_21：如果我们重复同一个反射，得到恒同。在 formula_22 中，formula_19 的指数为 4：如果重复同一个反射两次，我们得到了一个“旋转 2π”——formula_24 中的非平凡元可以理解为“旋转 2π”（每一个轴得出相同的元素）。
低