Orbifold notation

The following types of Euclidean transformation can occur in a group described by orbifold notation: • reflection through a line (or plane) • translation by a vector • rotation of finite order around a point • infinite rotation around a line in 3-space • glide-reflection, i.e. reflection followed by translation. All translations which occur are assumed to form a discrete subgroup of the group symmetries being described. Each group is denoted in orbifold notation by a finite string made up from the following symbols: • positive integers 1,2,3,\dots • the infinity symbol, \infty • the asterisk, * • the symbol o (a solid circle in older documents), which is called a wonder and also a handle because it topologically represents a torus (1-handle) closed surface. Patterns repeat by two translation. • the symbol \times (an open circle in older documents), which is called a miracle and represents a topological crosscap where a pattern repeats as a mirror image without crossing a mirror line. A string written in boldface represents a group of symmetries of Euclidean 3-space. A string not written in boldface represents a group of symmetries of the Euclidean plane, which is assumed to contain two independent translations. Each symbol corresponds to a distinct transformation: • an integer n to the left of an asterisk indicates a rotation of order n around a gyration point • the asterisk, * indicates a reflection • an integer n to the right of an asterisk indicates a transformation of order 2n which rotates around a kaleidoscopic point and reflects through a line (or plane) • an \times indicates a glide reflection • the symbol \infty indicates infinite rotational symmetry around a line; it can only occur for bold face groups. By abuse of language, we might say that such a group is a subgroup of symmetries of the Euclidean plane with only one independent translation. The frieze groups occur in this way. • the exceptional symbol o indicates that there are precisely two linearly independent translations. Good orbifolds An orbifold symbol is called good if it is not one of the following: p, pq, *p, *pq, for p, q ≥ 2, and p ≠ q. == Chirality and achirality ==

An object is chiral if its symmetry group contains no reflections; otherwise it is called achiral. The corresponding orbifold is orientable in the chiral case and non-orientable otherwise. ==The Euler characteristic and the order==

The Euler characteristic of an orbifold can be read from its Conway symbol, as follows. Each feature has a value: • n without or before an asterisk counts as \frac{n-1}{n} • n after an asterisk counts as \frac{n-1}{2 n} • asterisk and \times count as 1 • o counts as 2. Subtracting the sum of these values from 2 gives the Euler characteristic. If the sum of the feature values is 2, the order is infinite, i.e., the notation represents a wallpaper group or a frieze group. Indeed, Conway's "Magic Theorem" indicates that the 17 wallpaper groups are exactly those with the sum of the feature values equal to 2. Otherwise, the order is 2 divided by the Euler characteristic. ==Equal groups==

The following groups are isomorphic: • 1* and *11 • 22 and 221 • 22 and *221 • 2* and 2*1. This is because 1-fold rotation is the "empty" rotation. ==Two-dimensional groups==

The symmetry of a 2D object without translational symmetry can be described by the 3D symmetry type by adding a third dimension to the object which does not add or spoil symmetry. For example, for a 2D image we can consider a piece of carton with that image displayed on one side; the shape of the carton should be such that it does not spoil the symmetry, or it can be imagined to be infinite. Thus we have n• and *n•. The bullet (•) is added on one- and two-dimensional groups to imply the existence of a fixed point. (In three dimensions these groups exist in an n-fold digonal orbifold and are represented as nn and *nn.) Similarly, a 1D image can be drawn horizontally on a piece of carton, with a provision to avoid additional symmetry with respect to the line of the image, e.g. by drawing a horizontal bar under the image. Thus the discrete symmetry groups in one dimension are *•, *1•, ∞• and *∞•. Another way of constructing a 3D object from a 1D or 2D object for describing the symmetry is taking the Cartesian product of the object and an asymmetric 2D or 1D object, respectively. == Correspondence tables ==

Spherical Euclidean plane Frieze groups Wallpaper groups Hyperbolic plane A first few hyperbolic groups, ordered by their Euler characteristic are: == See also ==