
Awallpaper group (orplane symmetry group orplane crystallographic group) is a mathematical classification of a two-dimensional repetitive pattern, based on thesymmetries in the pattern. Such patterns occur frequently inarchitecture anddecorative art, especially intextiles,tiles, andwallpaper.
The simplest wallpaper group, Groupp1, applies when there is no symmetry beyond simple translation of a pattern in two dimensions. The following patterns have more forms of symmetry, including some rotational and reflectional symmetries:
ExamplesA andB have the same wallpaper group; it is calledp4m in theIUCr notation and*442 in theorbifold notation. ExampleC has a different wallpaper group, calledp4g or4*2 . The fact thatA andB have the same wallpaper group means that they have the same symmetries, regardless of the designs' superficial details; whereasC has a different set of symmetries.
The number of symmetry groups depends on the number of dimensions in the patterns. Wallpaper groups apply to the two-dimensional case, intermediate in complexity between the simplerfrieze groups and the three-dimensionalspace groups.
Aproof that there are only 17 distinctgroups of such planar symmetries was first carried out byEvgraf Fedorov in 1891[1] and then derived independently byGeorge Pólya in 1924.[2] The proof that the list of wallpaper groups is complete came only after the much harder case ofspace groups had been done. The seventeen wallpaper groups are listed below; see§ The seventeen groups.
Asymmetry of a pattern is, loosely speaking, a way of transforming the pattern so that it looks exactly the same after the transformation. For example,translational symmetry is present when the pattern can betranslated (in other words, shifted) some finite distance and appear unchanged. Think of shifting a set of vertical stripes horizontally by one stripe. The pattern is unchanged. Strictly speaking, a true symmetry only exists in patterns that repeat exactly and continue indefinitely. A set of only, say, five stripes does not have translational symmetry—when shifted, the stripe on one end "disappears" and a new stripe is "added" at the other end. In practice, however, classification is applied to finite patterns, and small imperfections may be ignored.
The types of transformations that are relevant here are calledEuclidean plane isometries. For example:
However, exampleC isdifferent. It only has reflections in horizontal and vertical directions,not across diagonal axes. If one flips across a diagonal line, one doesnot get the same pattern back, but the original pattern shifted across by a certain distance. This is part of the reason that the wallpaper group ofA andB is different from the wallpaper group ofC.
Another transformation is aglide reflection, a combination of reflection and translation parallel to the line of reflection.

Mathematically, a wallpaper group or plane crystallographic group is a type oftopologically discretegroup ofisometries of the Euclidean plane that contains twolinearly independenttranslations.
Two suchisometry groups are of the same type (of the same wallpaper group) if they arethe same up to an affine transformation of the plane. Thus e.g. a translation of the plane (hence a translation of the mirrors and centres of rotation) does not affect the wallpaper group. The same applies for a change of angle between translation vectors, provided that it does not add or remove any symmetry (this is only the case if there are no mirrors and noglide reflections, androtational symmetry is at most of order 2).
Unlike inthe three-dimensional case, one can equivalently restrict the affine transformations to those that preserveorientation.
It follows from theBieberbach conjecture that all wallpaper groups are different even as abstract groups (as opposed to e.g.frieze groups, of which two are isomorphic withZ).
2D patterns with double translational symmetry can be categorized according to theirsymmetry group type.
Isometries of the Euclidean plane fall into four categories (see the articleEuclidean plane isometry for more information).
The condition on linearly independent translations means that there exist linearly independent vectorsv andw (inR2) such that the group contains bothTv andTw.
The purpose of this condition is to distinguish wallpaper groups fromfrieze groups, which possess a translation but not two linearly independent ones, and fromtwo-dimensional discrete point groups, which have no translations at all. In other words, wallpaper groups represent patterns that repeat themselves intwo distinct directions, in contrast to frieze groups, which only repeat along a single axis.
(It is possible to generalise this situation. One could for example study discrete groups of isometries ofRn withm linearly independent translations, wherem is any integer in the range 0 ≤ m ≤ n.)
The discreteness condition means that there is some positive real number ε, such that for every translationTv in the group, the vectorv has lengthat least ε (except of course in the case thatv is the zero vector, but the independent translations condition prevents this, since any set that contains the zero vector is linearly dependent by definition and thus disallowed).
The purpose of this condition is to ensure that the group has a compact fundamental domain, or in other words, a "cell" of nonzero, finite area, which is repeated through the plane. Without this condition, one might have for example a group containing the translationTx for everyrational numberx, which would not correspond to any reasonable wallpaper pattern.
One important and nontrivial consequence of the discreteness condition in combination with the independent translations condition is that the group can only contain rotations of order 2, 3, 4, or 6; that is, every rotation in the group must be a rotation by 180°, 120°, 90°, or 60°. This fact is known as thecrystallographic restriction theorem,[3] and can be generalised to higher-dimensional cases.
Crystallography has 230space groups to distinguish, far more than the 17 wallpaper groups, but many of the symmetries in the groups are the same. Thus one can use a similar notation for both kinds of groups, that ofCarl Hermann andCharles-Victor Mauguin. An example of a full wallpaper name in Hermann-Mauguin style (also calledIUCr notation) isp31m, with four letters or digits; more usual is a shortened name likecmm orpg.
For wallpaper groups the full notation begins with eitherp orc, for aprimitive cell or aface-centred cell; these are explained below. This is followed by a digit,n, indicating the highest order of rotational symmetry: 1-fold (none), 2-fold, 3-fold, 4-fold, or 6-fold. The next two symbols indicate symmetries relative to one translation axis of the pattern, referred to as the "main" one; if there is a mirror perpendicular to a translation axis that is the main one (or if there are two, one of them). The symbols are eitherm,g, or1, for mirror, glide reflection, or none. The axis of the mirror or glide reflection is perpendicular to the main axis for the first letter, and either parallel or tilted 180°/n (whenn > 2) for the second letter. Many groups include other symmetries implied by the given ones. The short notation drops digits or anm that can be deduced, so long as that leaves no confusion with another group.
A primitive cell is a minimal region repeated by lattice translations. All but two wallpaper symmetry groups are described with respect to primitive cell axes, a coordinate basis using the translation vectors of the lattice. In the remaining two cases symmetry description is with respect to centred cells that are larger than the primitive cell, and hence have internal repetition; the directions of their sides is different from those of the translation vectors spanning a primitive cell. Hermann-Mauguin notation for crystalspace groups uses additional cell types.
Here are all the names that differ in short and full notation.
| Short | pm | pg | cm | pmm | pmg | pgg | cmm | p4m | p4g | p6m |
|---|---|---|---|---|---|---|---|---|---|---|
| Full | p1m1 | p1g1 | c1m1 | p2mm | p2mg | p2gg | c2mm | p4mm | p4gm | p6mm |
The remaining names arep1,p2,p3,p3m1,p31m,p4, andp6.
Orbifold notation for wallpaper groups, advocated byJohn Horton Conway (Conway, 1992) (Conway 2008), is based not on crystallography, but on topology. One can fold the infinite periodic tiling of the plane into its essence, anorbifold, then describe that with a few symbols.
The group denoted in crystallographic notation bycmm will, in Conway's notation, be2*22. The2 before the* says there is a 2-fold rotation centre with no mirror through it. The* itself says there is a mirror. The first2 after the* says there is a 2-fold rotation centre on a mirror. The final2 says there is an independent second 2-fold rotation centre on a mirror, one that is not a duplicate of the first one under symmetries.
The group denoted bypgg will be22×. There are two pure 2-fold rotation centres, and a glide reflection axis. Contrast this withpmg, Conway22*, where crystallographic notation mentions a glide, but one that is implicit in the other symmetries of the orbifold.
Coxeter'sbracket notation is also included, based on reflectionalCoxeter groups, and modified with plus superscripts accounting for rotations,improper rotations and translations.
| Conway | o | ×× | *× | ** | 632 | *632 |
|---|---|---|---|---|---|---|
| Coxeter | [∞+,2,∞+] | [(∞,2)+,∞+] | [∞,2+,∞+] | [∞,2,∞+] | [6,3]+ | [6,3] |
| Crystallographic | p1 | pg | cm | pm | p6 | p6m |
| Conway | 333 | *333 | 3*3 | 442 | *442 | 4*2 |
|---|---|---|---|---|---|---|
| Coxeter | [3[3]]+ | [3[3]] | [3+,6] | [4,4]+ | [4,4] | [4+,4] |
| Crystallographic | p3 | p3m1 | p31m | p4 | p4m | p4g |
| Conway | 2222 | 22× | 22* | *2222 | 2*22 |
|---|---|---|---|---|---|
| Coxeter | [∞,2,∞]+ | [((∞,2)+,(∞,2)+)] | [(∞,2)+,∞] | [∞,2,∞] | [∞,2+,∞] |
| Crystallographic | p2 | pgg | pmg | pmm | cmm |
An orbifold can be viewed as apolygon with face, edges, and vertices which can be unfolded to form a possibly infinite set of polygons which tile either thesphere, the plane or thehyperbolic plane. When it tiles the plane it will give a wallpaper group and when it tiles the sphere or hyperbolic plane it gives either aspherical symmetry group orHyperbolic symmetry group. The type of space the polygons tile can be found by calculating theEuler characteristic,χ = V − E + F, whereV is the number of corners (vertices),E is the number of edges andF is the number of faces. If the Euler characteristic is positive then the orbifold has an elliptic (spherical) structure; if it is zero then it has a parabolic structure, i.e. a wallpaper group; and if it is negative it will have a hyperbolic structure. When the full set of possible orbifolds is enumerated it is found that only 17 have Euler characteristic 0.
When an orbifold replicates by symmetry to fill the plane, its features create a structure of vertices, edges, and polygon faces, which must be consistent with the Euler characteristic. Reversing the process, one can assign numbers to the features of the orbifold, but fractions, rather than whole numbers. Because the orbifold itself is a quotient of the full surface by the symmetry group, the orbifold Euler characteristic is a quotient of the surface Euler characteristic by theorder of the symmetry group.
The orbifold Euler characteristic is 2 minus the sum of the feature values, assigned as follows:
For a wallpaper group, the sum for the characteristic must be zero; thus the feature sum must be 2.
Now enumeration of all wallpaper groups becomes a matter of arithmetic, of listing all feature strings with values summing to 2.
Feature strings with other sums are not nonsense; they imply non-planar tilings, not discussed here. (When the orbifold Euler characteristic is negative, the tiling ishyperbolic; when positive,spherical orbad).
To work out which wallpaper group corresponds to a given design, one may use the following table.[4]
| Size of smallest rotation | Has reflection? | |||||
|---|---|---|---|---|---|---|
| Yes | No | |||||
| 360° / 6 | p6m (*632) | p6 (632) | ||||
| 360° / 4 | Has mirrors at 45°? | p4 (442) | ||||
| Yes:p4m (*442) | No:p4g (4*2) | |||||
| 360° / 3 | Has rot. centre off mirrors? | p3 (333) | ||||
| Yes:p31m (3*3) | No:p3m1 (*333) | |||||
| 360° / 2 | Has perpendicular reflections? | Has glide reflection? | ||||
| Yes | No | |||||
| Has rot. centre off mirrors? | pmg (22*) | Yes:pgg (22×) | No:p2 (2222) | |||
| Yes:cmm (2*22) | No:pmm (*2222) | |||||
| none | Has glide axis off mirrors? | Has glide reflection? | ||||
| Yes:cm (*×) | No:pm (**) | Yes:pg (××) | No:p1 (o) | |||
See alsothis overview with diagrams.
Each of the groups in this section has two cell structure diagrams, which are to be interpreted as follows (it is the shape that is significant, not the colour):
On the right-hand side diagrams, different equivalence classes of symmetry elements are colored (and rotated) differently.
Thebrown or yellow area indicates afundamental domain, i.e. the smallest part of the pattern that is repeated.
The diagrams on the right show the cell of thelattice corresponding to the smallest translations; those on the left sometimes show a larger area.

Oblique | Hexagonal | ||||
|---|---|---|---|---|---|
Rectangular | Rhombic | Square | |||
The two translations (cell sides) can each have different lengths, and can form any angle.

Oblique | Hexagonal | ||||
|---|---|---|---|---|---|
Rectangular | Rhombic | Square | |||

Horizontal mirrors | Vertical mirrors |
|---|
(The first three have a vertical symmetry axis, and the last two each have a different diagonal one.)

Horizontal glides | Vertical glides |
|---|---|
| Rectangular | |
Without the details inside the zigzag bands the mat ispmg; with the details but without the distinction between brown and black it ispgg.
Ignoring the wavy borders of the tiles, the pavement ispgg.

Horizontal mirrors | Vertical mirrors |
|---|---|
| Rhombic | |

rectangular | square |
|---|

Horizontal mirrors | Vertical mirrors |
|---|

Rectangular | Square |
|---|

Rhombic | Square |
|---|
The rotational symmetry of order 2 with centres of rotation at the centres of the sides of the rhombus is a consequence of the other properties.
The pattern corresponds to each of the following:


Ap4 pattern can be looked upon as a repetition in rows and columns of equal square tiles with 4-fold rotational symmetry. Also it can be looked upon as acheckerboard pattern of two such tiles, a factor√2 smaller and rotated 45°.


This corresponds to a straightforward grid of rows and columns of equal squares with the four reflection axes. Also it corresponds to acheckerboard pattern of two of such squares.
Examples displayed with the smallest translations horizontal and vertical (like in the diagram):
Examples displayed with the smallest translations diagonal:


Ap4g pattern can be looked upon as acheckerboard pattern of copies of a square tile with 4-fold rotational symmetry, and its mirror image. Alternatively it can be looked upon (by shifting half a tile) as a checkerboard pattern of copies of a horizontally and vertically symmetric tile and its 90° rotated version. Note that neither applies for a plain checkerboard pattern of black and white tiles, this is groupp4m (with diagonal translation cells).


Imagine atessellation of the plane with equilateral triangles of equal size, with the sides corresponding to the smallest translations. Then half of the triangles are in one orientation, and the other half upside down. This wallpaper group corresponds to the case that all triangles of the same orientation are equal, while both types have rotational symmetry of order three, but the two are not equal, not each other's mirror image, and not both symmetric (if the two are equal it isp6, if they are each other's mirror image it isp31m, if they are both symmetric it isp3m1; if two of the three apply then the third also, and it isp6m). For a given image, three of these tessellations are possible, each with rotation centres as vertices, i.e. for any tessellation two shifts are possible. In terms of the image: the vertices can be the red, the blue or the green triangles.
Equivalently, imagine a tessellation of the plane with regular hexagons, with sides equal to the smallest translation distance divided by√3. Then this wallpaper group corresponds to the case that all hexagons are equal (and in the same orientation) and have rotational symmetry of order three, while they have no mirror image symmetry (if they have rotational symmetry of order six it isp6, if they are symmetric with respect to the main diagonals it isp31m, if they are symmetric with respect to lines perpendicular to the sides it isp3m1; if two of the three apply then the third also, it isp6m). For a given image, three of these tessellations are possible, each with one third of the rotation centres as centres of the hexagons. In terms of the image: the centres of the hexagons can be the red, the blue or the green triangles.


Like forp3, imagine a tessellation of the plane with equilateral triangles of equal size, with the sides corresponding to the smallest translations. Then half of the triangles are in one orientation, and the other half upside down. This wallpaper group corresponds to the case that all triangles of the same orientation are equal, while both types have rotational symmetry of order three, and both are symmetric, but the two are not equal, and not each other's mirror image. For a given image, three of these tessellations are possible, each with rotation centres as vertices. In terms of the image: the vertices can be the red, the blue or the green triangles.


Like forp3 andp3m1, imagine a tessellation of the plane with equilateral triangles of equal size, with the sides corresponding to the smallest translations. Then half of the triangles are in one orientation, and the other half upside down. This wallpaper group corresponds to the case that all triangles of the same orientation are equal, while both types have rotational symmetry of order three and are each other's mirror image, but not symmetric themselves, and not equal. For a given image, only one such tessellation is possible. In terms of the image: the vertices must be the red triangles,not the blue triangles.


A pattern with this symmetry can be looked upon as atessellation of the plane with equal triangular tiles withC3 symmetry, or equivalently, a tessellation of the plane with equal hexagonal tiles with C6 symmetry (with the edges of the tiles not necessarily part of the pattern).


A pattern with this symmetry can be looked upon as atessellation of the plane with equal triangular tiles withD3 symmetry, or equivalently, a tessellation of the plane with equal hexagonal tiles with D6 symmetry (with the edges of the tiles not necessarily part of the pattern). Thus the simplest examples are atriangular lattice with or without connecting lines, and ahexagonal tiling with one color for outlining the hexagons and one for the background.
There are fivelattice types orBravais lattices, corresponding to the five possible wallpaper groups of the lattice itself. The wallpaper group of a pattern with this lattice of translational symmetry cannot have more, but may have less symmetry than the lattice itself.
The actualsymmetry group should be distinguished from the wallpaper group. Wallpaper groups are collections of symmetry groups. There are 17 of these collections, but for each collection there are infinitely many symmetry groups, in the sense of actual groups of isometries. These depend, apart from the wallpaper group, on a number of parameters for the translation vectors, the orientation and position of the reflection axes and rotation centers.
The numbers ofdegrees of freedom are:
However, within each wallpaper group, all symmetry groups are algebraically isomorphic.
Some symmetry group isomorphisms:
Note that when a transformation decreases symmetry, a transformation of the same kind (the inverse) obviously for some patterns increases the symmetry. Such a special property of a pattern (e.g. expansion in one direction produces a pattern with 4-fold symmetry) is not counted as a form of extra symmetry.
Change of colors does not affect the wallpaper group if any two points that have the same color before the change, also have the same color after the change, and any two points that have different colors before the change, also have different colors after the change.
If the former applies, but not the latter, such as when converting a color image to one in black and white, then symmetries are preserved, but they may increase, so that the wallpaper group can change.
Several software graphic tools will let you create 2D patterns using wallpaper symmetry groups. Usually you can edit the original tile and its copies in the entire pattern are updated automatically.