空間群 P3 における 120度回転の演算子が (-y, x - y) であるのが不思議であるという話を聞いた。私も同じことを昔思っていたが、別にどうということはない。分数座標で考えるからそうなるのである。 120 度の回転は、複素数で考えると となり、明らかにルー…