Improper rotation

Example polyhedra with rotoreflection symmetry

S6	S8	S10	S12
C3, S2=Ci	C4, C2	C5, S2=Ci	C6, S4, C3, C2
triangular antiprism	square antiprism	pentagonal antiprism	hexagonal antiprism
Antiprisms with directed edges have rotoreflection symmetry. p-antiprisms for odd p contain inversion symmetry, Ci.

In geometry, an improper rotation, also called rotoreflection or rotary reflection is, depending on context, a linear transformation or affine transformation which is the combination of a rotation about an axis and a reflection in a plane perpendicular to that axis.

Three dimensions

Further information: Point groups in three dimensions

Subgroups for S₂ to S₂₀

In 3D, equivalently it is the combination of a rotation and an inversion in a point on the axis. Therefore it is also called a rotoinversion or rotary inversion. A three-dimensional symmetry that has only one fixed point is necessarily an improper rotation.

In both cases the operations commute. Rotoreflection and rotoinversion are the same if they differ in angle of rotation by 180°, and the point of inversion is in the plane of reflection.

An improper rotation of an object thus produces a rotation of its mirror image. The axis is called the rotation-reflection axis. This is called an n-fold improper rotation if the angle of rotation is 360°/n. The notation S_n (S for "Spiegel", German for mirror) denotes the symmetry group generated by an n-fold improper rotation (not to be confused with the same notation for symmetric groups). The notation $\bar{n}$ is used for n-fold rotoinversion, i.e. rotation by an angle of rotation of 360°/n with inversion. The Coxeter notation for S_2n is [2n⁺,2⁺], and orbifold notation is n×, order 2n.

The direct subgroup, index 2, is C_n, [n]⁺, (nn), order n, as the rotoreflection generator applied twice.

S_2n for odd n contain inversion, with S₂ = C_i is the group generated by inversion. S_2n contain indirect isometries but not inversion for even n. In general, if odd p is a divisor of n, then S_2n/p is a subgroup of S_2n. For example S₄ is a subgroup of S₁₂.

As an indirect isometry

In a wider sense, an "improper rotation" may be defined as any indirect isometry, i.e., an element of E(3)\E⁺(3) (see Euclidean group): thus it can also be a pure reflection in a plane, or have a glide plane. An indirect isometry is an affine transformation with an orthogonal matrix that has a determinant of −1.

A proper rotation is an ordinary rotation. In the wider sense, a "proper rotation" is defined as a direct isometry, i.e., an element of E⁺(3): it can also be the identity, a rotation with a translation along the axis, or a pure translation. A direct isometry is an affine transformation with an orthogonal matrix that has a determinant of 1.

In either the narrower or the wider senses, the composition of two improper rotations is a proper rotation, and the composition of an improper and a proper rotation is an improper rotation.

Physical systems

When studying the symmetry of a physical system under an improper rotation (e.g., if a system has a mirror symmetry plane), it is important to distinguish between vectors and pseudovectors (as well as scalars and pseudoscalars, and in general between tensors and pseudotensors), since the latter transform differently under proper and improper rotations (in 3 dimensions, pseudovectors are invariant under inversion).

See also

• Isometry
• Orthogonal group