C"，将元素变成其逆；这是一个自同构因为"C"是交换群。平面的刚体运动群(映射"f" : R → R 使得"x"和"y"之间的欧氏距离等于"f"("x") 和"f"("y")之间的距离对于所有在R中的"x"和"y"成立)同构于交换群R (描述平移)和正交2×2矩阵的群O(2)(描述转动和反射)的半直积。每个正交矩阵通过矩阵乘法作用在R上，并且是一个自同构。所有正交"n"×"n"矩阵的群O("n")(直观的讲，所有"n"维空间的所有转动和反射的集合)同构于群SO("n") (所有行列式值为1的正交矩