You are on page 1of 95

# The Free Book of Symmetry

Notation

PDF generated using the open source mwlib toolkit. See http://code.pediapress.com/ for more information.
PDF generated at: Sat, 22 Jan 2011 04:06:59 UTC
Contents
Articles
List of spherical symmetry groups 1
List of planar symmetry groups 4
Dihedral symmetry in three dimensions 6
Tetrahedral symmetry 8
Octahedral symmetry 13
Icosahedral symmetry 21
Cyclic symmetries 27
Reflection symmetry 28
Inverse (mathematics) 29
Point groups in three dimensions 30
Cyclic group 40
Dihedral group 44
Lattice (group) 51
Wallpaper group 54

References
Article Sources and Contributors 85
Image Sources, Licenses and Contributors 86

List of spherical symmetry groups 1

List of spherical symmetry groups
finite symmetries. This article lists the common name and associated Schoenflies notation, Coxeter notation,
Orbifold notation, and order to describe three dimensional symmetries.

List of symmetry groups on the sphere
There are four fundamental symmetry classes which have triangular fundamental domains: dihedral, tetrahedral,
octahedral, icosahedral. There are infinitely many dihedral symmetry groups.
The final classes, under other have digonal or monogonal fundamental domains.

Dihedral symmetry [2,n]
There are an infinite set of dihedral symmetries. n can be any positive integer 2 or greater (n = 1 is also possible, but
these three symmetries are equal to C2, C2v, and C2h).

Name Schönflies Coxeter Orbifold Order Fundamental
crystallographic notation notation domain
notation

Polyditropic Dn [2,n]+ 22n 2n

Polydiscopic Dnh [2,n] *22n 4n

Polydigyros Dnd [2+,2n] 2*n 4n

Tetrahedral symmetry [3,3]

Name Schönflies Coxeter Orbifold Order Fundamental
crystallographic notation notation domain
notation

Chiral tetrahedral T [3,3]+ 332 12

Achiral tetrahedral Td [3,3] *332 24

Pyritohedral Th [3+,4] 3*2 24
List of spherical symmetry groups 2

Octahedral symmetry [3,4]

Name Schönflies Coxeter Orbifold Order Fundamental
crystallographic notation notation domain
notation

Chiral octahedral O [3,4]+ 432 24

Achiral octahedral Oh [3,4] *432 48

Icosahedral symmetry [3,5]

Name Schönflies Coxeter Orbifold Order Fundamental
crystallographic notation notation domain
notation

Chiral icosahedral I [3,5]+ 532 60

Achiral icosahedral Ih [3,5] *532 120

Other
These final forms have digonal or monogonal fundamental regions with Cyclic symmetries and reflection symmetry.
There are four infinite sets with index n being any positive integer; for n=1 two cases are equal, so there are three;
they are separately named.

Name Schönflies Coxeter Orbifold Order Fundamental
crystallographic notation notation domain
notation

no symmetry (monotropic) C1 [1]+ 11 1

discrete rotational symmetry (polytropic) Cn [n]+ nn n

reflection symmetry (monoscopic) Cs = C1v = C1h [1] *11 2
List of spherical symmetry groups 3

Polyscopic Cnv [n] *nn 2n

Polygyros Cnh [2,n+] n* 2n

inversion symmetry (monodromic) Ci = S2 [2+,2+] 1× 2

Polydromic S2n [2+,2n+] n× 2n

Relation between orbifold notation and order
The order of each group is 2 divided by the orbifold Euler characteristic; the latter is 2 minus the sum of the feature
values, assigned as follows:
• n without or before * counts as (n − 1)/n
• n after * counts as (n − 1)/(2n)
• * and x count as 1
This can also be applied for wallpaper groups: for them, the sum of the feature values is 2, giving an infinite order;
see orbifold Euler characteristic for wallpaper groups

References
• Peter R. Cromwell, Polyhedra (1997), Appendix I
• Finite spherical symmetry groups [1]
• Weisstein, Eric W., "Schoenflies symbol [2]" from MathWorld.
• Simplest Canonical Polyhedra of Each Symmetry Type [3], by David I. McCooey

References
[1] http:/ / www. geom. uiuc. edu/ ~math5337/ Orbifolds/ costs. html
[2] http:/ / mathworld. wolfram. com/ SchoenfliesSymbol. html
[3] http:/ / homepage. mac. com/ dmccooey/ polyhedra/ Simplest. html
List of planar symmetry groups 4

List of planar symmetry groups
1. 1 simple symmetries (reflection)
2. 2 infinite set of point groups
3. 7 Frieze groups
4. 17 wallpaper groups

Simple symmetry
Point groups:

Example Symbols

(*)
Reflection symmetry

Example:Kite

Point groups
There are two classes of point groups, rotational and reflectional.
Point groups:

Example Symbols

Cn (n)
Cyclic group

Example:Flag of Hong Kong C5
Dn (*n)
Dihedral group

Example: Snowflake D6

Frieze groups
There are also 7 Frieze groups in the plane which have a fundamental line of symmetry and infinite fundamental
domains.

Example orbifold notation
pattern
List of planar symmetry groups 5

1. (∞∞)
2. (∞x)
3. (∞*)
4. (*∞∞)
5. (22∞)
6. (2*∞)
7. (*22∞)

Wallpaper groups
There are 17 wallpaper groups in the plane with finite fundamental domains.

Rotation Maximum symmetry per lattice type

p2 (2222) pmm
parallelogrammetic (*2222)
rectangular
p4 (442) cmm (2*22)
rhombic

p4m (*442)
square
p3 (333)

p6 (632) p6m (*632)
hexagonal

Mixed Other

p3m1 (*333) pm (**)

p31m (3*3) p1 (o)

p4g (4*2) pg (xx)

pmg (22*)

cm (*x)

pgg (22x)

Note: with regard to the number of mirrors p4m is "more symmetry" than p4g, with regard to the size of the
fundamental domain it is an "equal amount of symmetry".
List of planar symmetry groups 6

External references
• "Conway's manuscript" on Orbifold notation [1]
• http://www.xahlee.org/Wallpaper_dir/c5_17WallpaperGroups.html

References
[1] http:/ / www. geom. uiuc. edu/ docs/ doyle/ mpls/ handouts/ node39. html

Dihedral symmetry in three dimensions
This article deals with three infinite sequences of point groups in three dimensions which have a symmetry group
that as abstract group is a dihedral group Dihn ( n ≥ 2 ).
Chiral:
• Dn (22n) of order 2n – dihedral symmetry (abstract group Dn)
Achiral:
• Dnh (*22n) of order 4n – prismatic symmetry (abstract group Dn × C2)
• Dnd (or Dnv) (2*n) of order 4n – antiprismatic symmetry (abstract group D2n)
For a given n, all three have n-fold rotational symmetry about one axis (rotation by an angle of 360°/n does not
change the object), and 2-fold about a perpendicular axis, hence about n of those. For n = ∞ they correspond to three
frieze groups. Schönflies notation is used, and, in parentheses, Orbifold notation. The term horizontal (h) is used
with respect to a vertical axis of rotation.
In 2D the symmetry group Dn includes reflections in lines. When the 2D plane is embedded horizontally in a 3D
space, such a reflection can either be viewed as the restriction to that plane of a reflection in a vertical plane, or as
the restriction to the plane of a rotation about the reflection line, by 180°. In 3D the two operations are distinguished:
the group Dn contains rotations only, not reflections. The other group is pyramidal symmetry Cnv of the same order.
With reflection symmetry with respect to a plane perpendicular to the n-fold rotation axis we have Dnh (*22n).
Dnd (or Dnv) has vertical mirror planes between the horizontal rotation axes, not through them. As a result the
vertical axis is a 2n-fold rotoreflection axis.
Dnh is the symmetry group for a regular n-sided prisms and also for a regular n-sided bipyramid. Dnd is the symmetry
group for a regular n-sided antiprism, and also for a regular n-sided trapezohedron. Dn is the symmetry group of a
partially rotated prism.
n = 1 is not included because the three symmetries are equal to other ones:
• D1 and C2: group of order 2 with a single 180° rotation
• D1h and C2v: group of order 4 with a reflection in a plane and a 180° rotation through a line in that plane
• D1d and C2h: group of order 4 with a reflection in a plane and a 180° rotation through a line perpendicular to that
plane
For n = 2 there is not one main axes and two additional axes, but there are three equivalent ones.
• D2 (222) of order 4 is one of the three symmetry group types with the Klein four-group as abstract group. It has
three perpendicular 2-fold rotation axes. It is the symmetry group of a cuboid with an S written on two opposite
faces, in the same orientation.
• D2h (*222) of order 8 is the symmetry group of a cuboid
• D2d (2*2) of order 8 is the symmetry group of e.g.:
• a square cuboid with a diagonal drawn on one square face, and a perpendicular diagonal on the other one
Dihedral symmetry in three dimensions 7

• a regular tetrahedron scaled in the direction of a line connecting the midpoints of two opposite edges (D2d is a
subgroup of Td, by scaling we reduce the symmetry).

Subgroups
For Dnh
• Cnh
• Cnv
• Dn
For Dnd
• S2n
• Cnv
• Dn
Dnd is also subgroup of D2nh.

Examples
Dnh (*22n):

prisms

D5h (*225):

Pentagrammic prism
Pentagrammic antiprism

D4d (2*4):

Snub square antiprism

D5d (2*5):

Pentagonal antiprism

Pentagrammic crossed-antiprism pentagonal trapezohedron

D17d (*22(17)):
Dihedral symmetry in three dimensions 8

Tetrahedral symmetry
A regular tetrahedron has 12 rotational (or orientation-preserving)
symmetries, and a symmetry order of 24 including transformations that
combine a reflection and a rotation.
The group of all symmetries is isomorphic to the group S4 of permutations of
four objects, since there is exactly one such symmetry for each permutation of
the vertices of the tetrahedron. The set of orientation-preserving symmetries
forms a group referred to as the alternating subgroup A4 of S4.

Details A regular tetrahedron, an example of a
solid with full tetrahedral symmetry
Chiral and full (or achiral) tetrahedral symmetry and pyritohedral
symmetry are discrete point symmetries (or equivalently, symmetries on the
sphere). They are among the crystallographic point groups of the cubic crystal system.

Chiral tetrahedral symmetry
T or 332 or 23, of order 12 - chiral or
rotational tetrahedral symmetry.
There are three orthogonal 2-fold
rotation axes, like chiral dihedral
symmetry D2 or 222, with in addition
four 3-fold axes, centered between the
three orthogonal directions. This group
is isomorphic to A4, the alternating
group on 4 elements; in fact it is the
group of even permutations of the four
3-fold axes: e, (123), (132), (124),
(142), (134), (143), (234), (243),
(12)(34), (13)(24), (14)(23).

The conjugacy classes of T are:
• identity
• 4 × rotation by 120° clockwise
(seen from a vertex): (234), (143),
(412), (321)
• 4 × rotation by 120° anti-clockwise The tetrahedral rotation group T with fundamental domain; for the triakis tetrahedron, see
below, the latter is one full face
(ditto)
• 3 × rotation by 180°
Tetrahedral symmetry 9

The rotations by 180°, together with the identity,
form a normal subgroup of type Dih2, with
quotient group of type Z3. The three elements of
the latter are the identity, "clockwise rotation", and
"anti-clockwise rotation", corresponding to
permutations of the three orthogonal 2-fold axes,
preserving orientation.

A4 is the smallest group demonstrating that the
converse of Lagrange's theorem is not true in
general: given a finite group G and a divisor d of
|G|, there does not necessarily exist a subgroup of
G with order d: the group G = A4 has no subgroup
of order 6. Although it is a property for the abstract
group in general, it is clear from the isometry
group of chiral tetrahedral symmetry: because of
the chirality the subgroup would have to be C6 or
D3, but neither applies.

Subgroups
• T
• D2
• C3 and C2 A tetrahedron can be placed in 12 distinct positions by rotation alone.
• E These are illustrated above in the cycle graph format, along with the 180°
edge (blue arrows) and 120° vertex (reddish arrows) rotations that permute
the tetrahedron through those positions.
Achiral tetrahedral symmetry
Td or *332 or , of order 24 - achiral or full
tetrahedral symmetry, also known as the (2,3,3)
triangle group. This group has the same rotation
axes as T, but with six mirror planes, each through
two 3-fold axes. The 2-fold axes are now S4 ( )
axes. Td and O are isomorphic as abstract groups:
they both correspond to S4, the symmetric group
on 4 objects. Td is the union of T and the set
obtained by combining each element of O \ T with
tetrahedron.

The conjugacy classes of Td are: In the tetrakis hexahedron one full face is a
fundamental domain; other solids with the same
• identity symmetry can be obtained by adjusting the
• 8 × rotation by 120° orientation of the faces, e.g. flattening selected
• 3 × rotation by 180° subsets of faces to combine each subset into one
face, or replacing each face by multiple faces, or
• 6 × reflection in a plane through two rotation
a curved surface.
axes
• 6 × rotoreflection by 90°

Subgroups
Tetrahedral symmetry 10

• Td
• T
• D2d
• D3 and D2
• C3v and C2v
• C3 and C2
• S4 and S2=Ci
• E and Cs

Pyritohedral symmetry
Th or 3*2 or , of order 24 - pyritohedral symmetry. This group has the same rotation axes as T, with
mirror planes through two of the orthogonal directions. The 3-fold axes are now S6 ( ) axes, and there is inversion
symmetry. Th is isomorphic to T × Z2: every element of Th is either an element of T, or one combined with inversion.
Apart from these two normal subgroups, there is also a normal subgroup D2h (that of a cuboid), of type Dih2 × Z2 =
Z2 × Z2 × Z2 . It is the direct product of the normal subgroup of T (see above) with Ci. The quotient group is the same
as above: of type Z3. The three elements of the latter are the identity, "clockwise rotation", and "anti-clockwise
rotation", corresponding to permutations of the three orthogonal 2-fold axes, preserving orientation.
It is the symmetry of a cube with on each face a line segment dividing the
face into two equal rectangles, such that the line segments of adjacent faces
do not meet at the edge. The symmetries correspond to the even permutations
of the body diagonals and the same combined with inversion. It is also the
symmetry of a pyritohedron, which is extremely similar to the cube described,
with each rectangle replaced by a pentagon with one symmetry axis and 4
equal sides and 1 different side (the one corresponding to the line segment
dividing the cube's face); i.e., the cube's faces bulge out at the dividing line
and become narrower there. It is a subgroup of the full icosahedral symmetry
group (as isometry group, not just as abstract group), with 4 of the 10 3-fold
axes.

The conjugacy classes of Th include those of T, with the two classes of 4 The Gaelic football has pyritohedral
combined, and each with inversion: symmetry

• identity
• 8 × rotation by 120°
• 3 × rotation by 180°
• inversion
• 8 × rotoreflection by 60°
• 3 × reflection in a plane
Tetrahedral symmetry 11

Subgroups
• Th
• T
• D2h
• D3d
• D3 and D2
• C2h
• C3v and C2v
• C3 and C2
• S6 and S2=Ci
• E and Cs

Solids with chiral
tetrahedral symmetry

The full tetrahedral group Td with fundamental domain
The Icosahedron
colored as a snub tetrahedron has
chiral symmetry.

Solids with full
tetrahedral symmetry

The pyritohedral group Th with fundamental domain
Tetrahedral symmetry 12

Platonic solid

Name Picture Faces Edges Vertices Edges per face Faces
meeting
at each vertex

tetrahedron 4 6 4 3 3

(Animation)

Archimedean solid
(semi-regular: vertex-uniform)

Name picture Faces Edges Vertices Vertex configuration

truncated tetrahedron 8 4 triangles 18 12 3,6,6
4 hexagons

(Video)

Catalan solid
(semi-regular dual: face-uniform)

Name picture Dual Archimedean solid Faces Edges Vertices Face polygon

triakis tetrahedron truncated tetrahedron 12 18 8 isosceles triangle

(Video)

Nonconvex uniform polyhedron

Tetrahemihexahedron Octahemioctahedron
Octahedral symmetry 13

Octahedral symmetry
A regular octahedron has 24 rotational (or orientation-preserving)
symmetries, and a symmetry order of 48 including transformations that
combine a reflection and a rotation. A cube has the same set of symmetries,
since it is the dual of an octahedron.
The group of orientation-preserving symmetries is S4, or the group of
permutations of four objects, since there is exactly one such symmetry for
each permutation of the four pairs of opposite sides of the octahedron.

The cube is the most common shape with
octahedral symmetry

Details
Chiral and full (or achiral)
octahedral symmetry are the discrete
point symmetries (or equivalently,
symmetries on the sphere) with the
largest symmetry groups compatible
with translational symmetry. They are
among the crystallographic point
groups of the cubic crystal system.

The octahedral rotation group O with fundamental domain
Octahedral symmetry 14

Chiral octahedral symmetry
O, 432, or of order 24, is chiral octahedral symmetry or rotational octahedral symmetry . This
group is like chiral tetrahedral symmetry T, but the C2 axes are now C4 axes, and additionally there are 6 C2 axes,
through the midpoints of the edges of the cube. Td and O are isomorphic as abstract groups: they both correspond to
S4, the symmetric group on 4 objects. Td is the union of T and the set obtained by combining each element of O \ T
with inversion. O is the rotation group of the cube and the regular octahedron.

Subgroups
• O and T
• D4, D3 and D2
• C4, C3 and C2
• E

Conjugacy classes
• identity
• 6 × rotation by 90°
• 8 × rotation by 120°
• 3 × rotation by 180° about a 4-fold axis
• 6 × rotation by 180° about a 2-fold axis

Achiral octahedral symmetry
• Oh (*432) of order 48 - achiral octahedral symmetry or full octahedral symmetry. This group has the same
rotation axes as O, but with mirror planes, comprising both the mirror planes of Td and Th. This group is
isomorphic to S4 × C2, and is the full symmetry group of the cube and octahedron. It is the hyperoctahedral group

In the disdyakis dodecahedron one full face is a
fundamental domain; other solids with the same
symmetry can be obtained by adjusting the
orientation of the faces, e.g. flattening selected
subsets of faces to combine each subset into one
face, or replacing each face by multiple faces, or
A dual cube-octahedron. a curved surface.
Octahedral symmetry 15

The octahedral group Oh with fundamental domain

With the 4-fold axes as coordinate axes, a fundamental domain of Oh is given by 0 ≤ x ≤ y ≤ z. An object with this
symmetry is characterized by the part of the object in the fundamental domain, for example the cube is given by z =
1, and the octahedron by x + y + z = 1 (or the corresponding inequalities, to get the solid instead of the surface). ax +
by + cz = 1 gives a polyhedron with 48 faces, e.g. the disdyakis dodecahedron.
Faces are 8-by-8 combined to larger faces for a = b = 0 (cube) and 6-by-6 for a = b = c (octahedron).

Subgroups
• Oh
• O, Th, Td and T
• D4h and D2h
• D3d and D2d
• D4, D3 and D2
• C4h, C3h and C2h
• C4v, C3v and C2v
• C4, C3 and C2
• S6, S4 and S2=Ci
• E and Cs
Octahedral symmetry 16

Conjugacy classes
• inversion
• 6 × rotoreflection by 90°
• 8 × rotoreflection by 60°
• 3 × reflection in a plane perpendicular to a 4-fold axis
• 6 × reflection in a plane perpendicular to a 2-fold axis

The isometries of the cube
(To be integrated in the rest of the text.)
The cube has 48 isometries, forming the symmetry group Oh, isomorphic to S4 × C2. They can be categorized as
follows:
• O (the identity and 23 proper rotations) with the following conjugacy classes (in parentheses are given the
permutations of the body diagonals and the unit quaternion representation):
• identity (identity; 1)
• rotation about an axis from the center of a face to the center of the opposite face by an angle of 90°: 3 axes, 2
per axis, together 6 ((1 2 3 4), etc.; ((1±i)/√2, etc.)
• ditto by an angle of 180°: 3 axes, 1 per axis, together 3 ((1 2)(3 4), etc.; i,j,k)
• rotation about an axis from the center of an edge to the center of the opposite edge by an angle of 180°: 6 axes,
1 per axis, together 6 ((1 2), etc.; ((i±j)/√2, etc.)
• rotation about a body diagonal by an angle of 120°: 4 axes, 2 per axis, together 8 ((1 2 3), etc.; (1±i±j±k)/2)
• The same with inversion (x is mapped to −x) (also 24 isometries). Note that rotation by an angle of 180° about an
axis combined with inversion is just reflection in the perpendicular plane. The combination of inversion and
rotation about a body diagonal by an angle of 120° is rotation about the body diagonal by an angle of 60°,
combined with reflection in the perpendicular plane (the rotation itself does not map the cube to itself; the
intersection of the reflection plane with the cube is a regular hexagon).
An isometry of the cube can be identified in various ways:
• by the faces three given adjacent faces (say 1, 2, and 3 on a die) are mapped to
• by the image of a cube with on one face a non-symmetric marking: the face with the marking, whether it is
normal or a mirror image, and the orientation
• by a permutation of the four body diagonals (each of the 24 permutations is possible), combined with a toggle for
inversion of the cube, or not
For cubes with colors or markings (like dice have), the symmetry group is a subgroup of Oh. Examples:
• C4v: if one face has a different color (or two opposite faces have colors different from each other and from the
other four), the cube has 8 isometries, like a square has in 2D.
• D2h: if opposite faces have the same colors, different for each set of two, the cube has 8 isometries, like a cuboid.
• D4h: if two opposite faces have the same color, and all other faces have one different color, the cube has 16
isometries, like a square prism (square box).
• C2v:
• if two adjacent faces have the same color, and all other faces have one different color, the cube has 4
isometries.
• if three faces, of which two opposite to each other, have one color and the other three one other color, the cube
has 4 isometries.
• if two opposite faces have the same color, and two other opposite faces also, and the last two have different
colors, the cube has 4 isometries, like a piece of blank paper with a shape with a mirror symmetry.
• Cs:
Octahedral symmetry 17

• if two adjacent faces have colors different from each other, and the other four have a third color, the cube has 2
isometries.
• if two opposite faces have the same color, and all other faces have different colors, the cube has 2 isometries,
like an asymmetric piece of blank paper.
• C3v: if three faces, of which none opposite to each other, have one color and the other three one other color, the
cube has 6 isometries.
For some larger subgroups a cube with that group as symmetry group is not possible with just coloring whole faces.
One has to draw some pattern on the faces. Examples:
• D2d: if one face has a line segment dividing the face into two equal rectangles, and the opposite has the same in
perpendicular direction, the cube has 8 isometries; there is a symmetry plane and 2-fold rotational symmetry with
an axis at an angle of 45° to that plane, and, as a result, there is also another symmetry plane perpendicular to the
first, and another axis of 2-fold rotational symmetry perpendicular to the first.
• Th: if each face has a line segment dividing the face into two equal rectangles, such that the line segments of
adjacent faces do not meet at the edge, the cube has 24 isometries: the even permutations of the body diagonals
and the same combined with inversion (x is mapped to −x).
• Td: if the cube consists of eight smaller cubes, four white and four black, put together alternatingly in all three
standard directions, the cube has again 24 isometries: this time the even permutations of the body diagonals and
the inverses of the other proper rotations.
• T: if each face has the same pattern with 2-fold rotational symmetry, say the letter S, such that at all edges a top of
one S meets a side of the other S, the cube has 12 isometries: the even permutations of the body diagonals.
The full symmetry of the cube (Oh) is preserved if and only if all faces have the same pattern such that the full
symmetry of the square is preserved, with for the square a symmetry group of order 8.
The full symmetry of the cube under proper rotations (O) is preserved if and only if all faces have the same pattern
with 4-fold rotational symmetry.

Octahedral symmetry of the Bolza surface
In Riemann surface theory, the Bolza surface, sometimes called the Bolza curve, is obtained as the ramified double
cover of the Riemann sphere, with ramification locus at the set of vertices of the regular inscribed octahedron. Its
automorphism group includes the hyperelliptic involution which flips the two sheets of the cover. The quotient by
the order 2 subgroup generated by the hyperelliptic involution yields precisely the group of symmetries of the
octahedron. Among the many remarkable properties of the Bolza surface is the fact that it maximizes the systole
among all genus 2 hyperbolic surfaces.
Octahedral symmetry 18

Chiral solids with octahedral rotational symmetry

Snub hexahedron (Ccw) Pentagonal icositetrahedron

• Note to Pentagonal icositetrahedron: (Ccw) - note that, not very clear in the image, at some vertices 4 faces meet
(in the edge of the image)

Archimedean solids

Name picture Faces Edges Vertices Vertex configuration

snub cube 38 32 60 24 3,3,3,3,4
or snub cuboctahedron (2 chiral forms) triangles
6 squares
(Video)

(Video)

Catalan solids

Name picture Dual Archimedean solid Faces Edges Vertices Face Polygon

pentagonal icositetrahedron snub cube 24 60 38 irregular pentagon

(Video)(Video)

Solids with full octahedral symmetry

Platonic solids
Octahedral symmetry 19

Name Picture Faces Edges Vertices Edges per face Faces
meeting
at each vertex

cube (hexahedron) 6 12 8 4 3

(Animation)
octahedron 8 12 6 3 4

(Animation)

Archimedean solids
(semi-regular: vertex-uniform)

Name picture Faces Edges Vertices Vertex configuration

cuboctahedron 14 8 triangles 24 12 3,4,3,4
(quasi-regular: vertex- and edge-uniform) 6 squares

(Video)
truncated cube 14 8 triangles 36 24 3,8,8
or truncated hexahedron 6 octagons

(Video)
truncated octahedron 14 6 squares 36 24 4,6,6
8 hexagons

(Video)
rhombicuboctahedron 26 8 triangles 48 24 3,4,4,4
or small rhombicuboctahedron 18 squares

(Video)
truncated cuboctahedron 26 12 squares 72 48 4,6,8
or great rhombicuboctahedron 8 hexagons
6 octagons
(Video)

Catalan solids
(semi-regular duals: face-uniform)
Octahedral symmetry 20

Name picture Dual Archimedean solid Faces Edges Vertices Face polygon

rhombic dodecahedron cuboctahedron 12 24 14 rhombus
(quasi-regular dual: face- and edge-uniform)

(Video)
triakis octahedron truncated cube 24 36 14 isosceles triangle

(Video)
tetrakis hexahedron truncated octahedron 24 36 14 isosceles triangle

(Video)
deltoidal icositetrahedron rhombicuboctahedron 24 48 26 kite

(Video)
disdyakis dodecahedron truncated cuboctahedron 48 72 26 scalene triangle
or hexakis octahedron

(Video)

Other

stella octangula
Icosahedral symmetry 21

Icosahedral symmetry
A regular icosahedron has 60 rotational (or orientation-preserving)
symmetries, and a symmetry order of 120 including transformations
that combine a reflection and a rotation. A regular dodecahedron has
the same set of symmetries, since it is the dual of the icosahedron.
The set of orientation-preserving symmetries forms a group referred to
as A5 (the alternating group on 5 letters), and the full symmetry group
(including reflections) is the product A5 × C2. The latter group is also
known as the Coxeter group H3.

A Soccer ball, a common example of a spherical
truncated icosahedron, has full icosahedral
symmetry.

As point group
Apart from the two infinite series of
prismatic and antiprismatic symmetry,
rotational icosahedral symmetry or
chiral icosahedral symmetry of chiral
objects and full icosahedral
symmetry or achiral icosahedral
symmetry are the discrete point
symmetries (or equivalently,
symmetries on the sphere) with the
largest symmetry groups.

Icosahedral symmetry is not
compatible with translational
symmetry, so there are no associated
crystallographic point groups or space
groups.

The icosahedral rotation group I with fundamental domain
Icosahedral symmetry 22

Schönflies crystallographic notation Coxeter notation Orbifold notation Order

I [3,5]+ 532 60

Ih [3,5] *532 120

Presentations corresponding to the above are:

These correspond to the icosahedral groups (rotational and full) being the (2,3,5) triangle groups.
The first presentation was given by William Rowan Hamilton in 1856, in his paper on Icosian Calculus.[1]
Note that other presentations are possible, for instance as an alternating group (for I).

Group structure
The icosahedral rotation group I is of order 60. The group I is isomorphic to A5, the alternating group of even
permutations of five objects. This isomorphism can be realized by I acting on various compounds, notably the
compound of five cubes (which inscribe in the dodecahedron), the compound of five octahedra, or either of the two
compounds of five tetrahedra (which are enantiomorphs, and inscribe in the dodecahedron).
The group contains 5 versions of Th with 20 versions of D3 (10 axes, 2 per axis), and 6 versions of D5.
The full icosahedral group Ih has order 120. It has I as normal subgroup of index 2. The group Ih is isomorphic to I
× C2, or A5 × C2, with the inversion in the center corresponding to element (identity,-1), where C2 is written
multiplicatively.
Ih acts on the compound of five cubes and the compound of five octahedra, but -1 acts as the identity (as cubes and
octahedra are centrally symmetric). It acts on the compound of ten tetrahedra: I acts on the two chiral halves
(compounds of five tetrahedra), and -1 interchanges the two halves. Notably, it does not act as S5, and these groups
are not isomorphic; see below for details.
The group contains 10 versions of D3d and 6 versions of D5d (symmetries like antiprisms).
I is also isomorphic to PSL2(5), but Ih is not isomorphic to SL2(5).

Commonly confused groups
The following groups all have order 120, but are not isomorphic:
• S5, the symmetric group on 5 elements
• Ih, the full icosahedral group (subject of this article, also known as H3)
• 2I, the binary icosahedral group
They correspond to the following short exact sequences (which do not split) and product

In words,
• is a normal subgroup of
• is a factor of , which is a direct product
• is a quotient group of
Note that has an exceptional irreducible 3-dimensional representation (as the icosahedral rotation group), but
does not have an irreducible 3-dimensional representation, corresponding to the full icosahedral group not being the
Icosahedral symmetry 23

symmetric group.
These can also be related to linear groups over the finite field with five elements, which exhibit the subgroups and
covering groups directly; none of these are the full icosahedral group:
• the projective special linear group;
• the projective general linear group;
• the special linear group.

Conjugacy classes
The conjugacy classes of I are:
• identity
• 12 × rotation by 72°, order 5
• 12 × rotation by 144°, order 5
• 20 × rotation by 120°, order 3
• 15 × rotation by 180°, order 2
Those of Ih include also each with inversion:
• inversion
• 12 × rotoreflection by 108°, order 10
• 12 × rotoreflection by 36°, order 10
• 20 × rotoreflection by 60°, order 6
• 15 × reflection, order 2

Subgroups
• Ih,I , Th and T
• D2h
• D5d, D3d
• D5, D3 and D2
• C2h
• C5v, C3v and C2v
• C5, C3 and C2
• S10, S6 and S2=Ci
• E and Cs
All of these classes of subgroups are conjugate (i.e., all vertex stabilizers are conjugate), and admit geometric
interpretations.
Note that the stabilizer of a vertex/edge/face/polyhedron and its opposite are equal, since is central.

Vertex stabilizers
Stabilizers of an opposite pair of vertices can be interpreted as stabilizers of the axis they generate.
• vertex stabilizers in I give cyclic groups C3
• vertex stabilizers in Ih give dihedral groups D3
• stabilizers of an opposite pair of vertices in I give dihedral groups D3
• stabilizers of an opposite pair of vertices in Ih give
Icosahedral symmetry 24

Edge stabilizers
Stabilizers of an opposite pair of edges can be interpreted as stabilizers of the rectangle they generate.
• edges stabilizers in I give cyclic groups C2
• edges stabilizers in Ih give Klein four-groups
• stabilizers of a pair of edges in I give Klein four-groups ; there are 5 of these, given by rotation by
180° in 3 perpendicular axes.
• stabilizers of a pair of edges in Ih give ; these are 5 of these, given by reflections in 3
perpendicular axes.

Face stabilizers
Stabilizers of an opposite pair of faces can be interpreted as stabilizers of the anti-prism they generate.
• face stabilizers in I give cyclic groups C5
• face stabilizers in Ih give dihedral groups D5
• stabilizers of an opposite pair of faces in I give dihedral groups D5
• stabilizers of an opposite pair of faces in Ih give

Polyhedron stabilizers
For each of these, there are 5 conjugate copies, and the conjugation action gives a map, indeed an isomorphism,
.
• stabilizers of the inscribed tetrahedra in I are a copy of T
• stabilizers of the inscribed tetrahedra in Ih are a copy of Th
• stabilizers of the inscribed cubes (or opposite pair of tetrahedra, or octahedrons) in I are a copy of O
• stabilizers of the inscribed cubes (or opposite pair of tetrahedra, or octahedrons) in Ih are a copy of Oh

Fundamental domain
Fundamental domains for the icosahedral rotation group and the full icosahedral group are given by:

The icosahedral rotation group I with fundamental domain The full icosahedral group Ih with fundamental domain
Icosahedral symmetry 25

In the disdyakis triacontahedron one full face is a fundamental domain;
other solids with the same symmetry can be obtained by adjusting the
orientation of the faces, e.g. flattening selected subsets of faces to
combine each subset into one face, or replacing each face by multiple
faces, or a curved surface.

Solids with icosahedral symmetry

Full icosahedral symmetry
Platonic solids - regular polyhedra (all faces of the same type)

Fundamental domain in the disdyakis
triacontahedron

{5,3} {3,5}

Archimedean solids - polyhedra with more than one polygon face type.

3.10.10 4.6.10 5.6.6 3.4.5.4 3.5.3.5

Catalan solids - duals of the Archimedean solids.

V3.10.10 V4.6.10 V5.6.6 V3.4.5.4
V3.5.3.5

Other objects with icosahedral symmetry
• Barth surfaces

Related geometries
Icosahedral symmetry is equivalently the projective special linear group PSL(2,5), and is the symmetry group of the
modular curve X(5), and more generally PSL(2,p) is the symmetry group of the modular curve X(p). The modular
curve X(5) is geometrically a dodecahedron with a cusp at the center of each polygonal face, which demonstrates the
symmetry group.
This geometry, and associated symmetry group, was studied by Felix Klein as the monodromy groups of a Belyi
surface – a Riemann surface with a holomorphic map to the Riemann sphere, ramified only at 0, 1, and infinity (a
Icosahedral symmetry 26

Belyi function) – the cusps are the points lying over infinity, while the vertices and the centers of each edge lie over
0 and 1; the degree of the covering (number of sheets) equals 5.
This arose from his efforts to give a geometric setting for why icosahedral symmetry arose in the solution of the
quintic equation, with the theory given in the famous (Klein 1888); a modern exposition is given in (Tóth 2002,
Section 1.6, Additional Topic: Klein's Theory of the Icosahedron, p. 66 [2]).
Klein's investigations continued with his discovery of order 7 and order 11 symmetries in (Klein 1878/79b) and
(Klein 1879) (and associated coverings of degree 7 and 11) and dessins d'enfants, the first yielding the Klein quartic,
whose associated geometry has a tiling by 24 heptagons (with a cusp at the center of each).
Similar geometries occur for PSL(2,n) and more general groups for other modular curves.
More exotically, there are special connections between the groups PSL(2,5) (order 60), PSL(2,7) (order 168) and
PSL(2,11) (order 660), which also admit geometric interpretations – PSL(2,5) is the symmetries of the icosahedron
(genus 0), PSL(2,7) of the Klein quartic (genus 3), and PSL(2,11) the buckyball surface (genus 70). These groups
form a "trinity" in the sense of Vladimir Arnold, which gives a framework for the various relationships; see trinities
for details.

• tetrahedral symmetry
• octahedral symmetry
• binary icosahedral group
• Icosian Calculus

References
[1] Sir William Rowan Hamilton (1856), "Memorandum respecting a new System of Roots of Unity" (http:/ / www. maths. tcd. ie/ pub/
HistMath/ People/ Hamilton/ Icosian/ NewSys. pdf), Philosophical Magazine 12: 446,
[2] http:/ / books. google. com/ books?id=i76mmyvDHYUC& pg=PA66

• Klein, F. (1878). "Ueber die Transformation siebenter Ordnung der elliptischen Functionen (On the order-seven
Mathematische Annalen 14 (3): 428–471. doi:10.1007/BF01677143, English translation in The Eightfold Way,
Silvio Levy, 1999 (Levy 1999).
• Klein, F. (1879), "Ueber die Transformation elfter Ordnung der elliptischen Functionen (On the eleventh order
transformation of elliptic functions)", Mathematische Annalen 15: 533–555, doi:10.1007/BF02086276, collected
as pp. 140–165 in Oeuvres, Tome 3 (http://mathdoc.emath.fr/cgi-bin/oetoc?id=OE_KLEIN__3)
• Klein, Felix (1888), Lectures on the Icosahedron and the Solution of Equations of the Fifth Degree, Trübner &
Co., ISBN 0486495280trans. George Gavin Morrice
• Tóth, Gábor (2002), Finite Möbius groups, minimal immersions of spheres, and moduli
Cyclic symmetries 27

Cyclic symmetries
This article deals with the four infinite series of point groups in three dimensions (n≥1) with n-fold rotational
symmetry about one axis (rotation by an angle of 360°/n does not change the object), and no other rotational
symmetry (n=1 covers the cases of no rotational symmetry at all):
Chiral:
• Cn (nn) of order n - n-fold rotational symmetry (abstract group Cn); for n=1: no symmetry (trivial group)
Achiral:
• Cnh (n*) of order 2n - prismatic symmetry (abstract group Dn × C2); for n=1 this is denoted by Cs (1*) and
called reflection symmetry, also bilateral symmetry.
• Cnv (*nn) of order 2n - pyramidal symmetry (abstract group Dn); in biology C2v is called biradial symmetry.
For n=1 we have again Cs (1*).
• S2n (n×) of order 2n (not to be confused with symmetric groups, for which the same notation is used; abstract
group C2n); for n=1 we have S2 (1×), also denoted by Ci; this is inversion symmetry
They are the finite symmetry groups on a cone. For n = they correspond to four frieze groups. Schönflies
notation is used, and, in parentheses, orbifold notation. The terms horizontal (h) and vertical (v) are used with respect
to a vertical axis of rotation.
Cnh (n*) has reflection symmetry with respect to a plane perpendicular to the n-fold rotation axis.
Cnv (*nn) has vertical mirror planes. This is the symmetry group for a regular n-sided pyramid.
S2n (n×) has a 2n-fold rotoreflection axis, also called 2n-fold improper rotation axis, i.e., the symmetry group
contains a combination of a reflection in the horizontal plane and a rotation by an angle 180°/n. Thus, like Dnd, it
contains a number of improper rotations without containing the corresponding rotations.
C2h (2*) and C2v (*22) of order 4 are two of the three 3D symmetry group types with the Klein four-group as
abstract group. C2v applies e.g. for a rectangular tile with its top side different from its bottom side.

Examples
S2/Ci (1x): C4v (*44): C5v (*55):

Parallelepiped

Square pyramid
Elongated square pyramid Pentagonal pyramidhi,sophia
Reflection symmetry 28

Reflection symmetry
Reflection symmetry, reflectional symmetry, line
symmetry, mirror symmetry, mirror-image
symmetry, or bilateral symmetry is symmetry with
respect to reflection.
In 2D there is an axis of symmetry, in 3D a plane of
symmetry. An object or figure which is
indistinguishable from its transformed image is called
mirror symmetric (see mirror image). Also see pattern..
The axis of symmetry or line of symmetry of a
two-dimensional figure is a line such that, for each
perpendicular constructed, if the perpendicular
intersects the figure at a distance 'd' from the axis along
the perpendicular, then there exists another intersection
of the figure and the perpendicular, at the same distance
'd' from the axis, in the opposite direction along the
Figures with the axes of symmetry drawn in.
perpendicular. Another way to think about it is that if
the shape were to be folded in half over the axis, the
two halves would be identical: the two halves are each other's mirror image. Thus a square has four axes of
symmetry, because there are four different ways to fold it and have the edges all match. A circle has infinitely many
axes of symmetry, for the same reason.

If the letter T is reflected along a vertical axis, it appears the same. Note that this is sometimes called horizontal
symmetry, and sometimes vertical symmetry. One can better use an unambiguous formulation, e.g. "T has a vertical
symmetry axis."(this may also be called a line of symmetry)
The triangles with this symmetry are isosceles. The quadrilaterals with this symmetry are the kites and the isosceles
trapezoids.
For each line or plane of reflection, the symmetry group is isomorphic with Cs (see point groups in three
dimensions), one of the three types of order two (involutions), hence algebraically C2. The fundamental domain is a
half-plane or half-space.
In certain contexts there is rotational symmetry anyway. Then mirror-image symmetry is equivalent with inversion
symmetry; in such contexts in modern physics the term P-symmetry is used for both (P stands for parity).
For more general types of reflection there are corresponding more general types of reflection symmetry. Examples:
• with respect to a non-isometric affine involution (an oblique reflection in a line, plane, etc).
• with respect to circle inversion.
Mirrored symmetry is also found in the design of ancient structures, including Stonehenge.[1]
Reflection symmetry 29

• Rotational symmetry
• Translational symmetry
• Holstein–Herring method

References
[1] Johnson, Anthony, Solving Stonehenge: The New Key to an Ancient Enigma. (Thames & Hudson, 2008) ISBN 978-0-500-05155-9

• Weyl, Hermann (1982). Symmetry. Princeton: Princeton University Press. ISBN 0-691-02374-3.

• Mapping with symmetry - source in Delphi (http://republika.pl/fraktal/mapping.html)
• Reflection Symmetry Examples (http://www.mathsisfun.com/geometry/symmetry-reflection.html) from Math
Is Fun

Inverse (mathematics)
In many contexts in mathematics the term inverse indicates the opposite of something. This word and its derivatives
are used greatly in mathematics, as illustrated below.
• Inverse element of an element x with respect to a binary operation * with identity element e is an element y such
that x * y = y * x = e. In particular,
• the additive inverse of x is –x;
• the multiplicative inverse of x is x–1.
• Inverse function — inverse element with respect to function composition: a function that "reverses" the action
of a given function: f–1(f(x)) = x.
• Inversion in a point — a geometric transform.
• Circle inversion — another particular geometric transformation of a plane that maps the outside of a circle to the
inside and vice-versa.
• Inverse limit — a notion in abstract algebra.
• Inverse (logic) — ~p → ~q is the inverse of p → q.
• Inverse matrix — inverse element with respect to matrix multiplication.
• Pseudoinverse, a generalization of the inverse matrix.
• Inverse proportion, also inversely proportional — a relationship between two variables x and y characterized by
the equation
• Inverse problem — the task of identifying model parameters from observed data; see for example
• inverse scattering problem
• inverse kinematics
• inverse dynamics.
• Inverse perspective — the further the objects, the larger they are drawn.
• Inversive ring geometry — classical projective geometry extended by ring theory
• Inverse semigroup
• Inverse of an element in a semigroup
• Inverse-square law — the magnitude of a force is proportional to the inverse square of the distance.
• Inverse transform sampling — generate some random numbers according to a given probability distribution.
• Inverse chain rule method — related to integration and differentiation.
Inverse (mathematics) 30

• Inversion of elements, a pair of adjacent out-of-order elements of a permutation (viewed as a list).
• Inverse relation

Point groups in three dimensions
In geometry, a point group in three dimensions is an isometry group in three dimensions that leaves the origin
fixed, or correspondingly, an isometry group of a sphere. It is a subgroup of the orthogonal group O(3), the group of
all isometries that leave the origin fixed, or correspondingly, the group of orthogonal matrices. O(3) itself is a
subgroup of the Euclidean group E(3) of all isometries.
Symmetry groups of objects are isometry groups. Accordingly, analysis of isometry groups is analysis of possible
symmetries. All isometries of a bounded 3D object have one or more common fixed points. We choose the origin as
one of them.
The symmetry group of an object is sometimes also called full symmetry group, as opposed to its rotation group
or proper symmetry group, the intersection of its full symmetry group and the rotation group SO(3) of the 3D
space itself. The rotation group of an object is equal to its full symmetry group if and only if the object is chiral.
The point groups in three dimensions are heavily used in chemistry, especially to describe the symmetries of a
molecule and of molecular orbitals forming covalent bonds, and in this context they are also called molecular point
groups.

Group structure
SO(3) is a subgroup of E+(3), which consists of direct isometries, i.e., isometries preserving orientation; it contains
those that leave the origin fixed.
O(3) is the direct product of SO(3) and the group generated by inversion (denoted by its matrix −I):
O(3) = SO(3) × { I , −I }
Thus there is a 1-to-1 correspondence between all direct isometries and all indirect isometries, through inversion.
Also there is a 1-to-1 correspondence between all groups of direct isometries H and all groups K of isometries that
contain inversion:
K = H × { I , −I }
H = K ∩ SO(3)
If a group of direct isometries H has a subgroup L of index 2, then, apart from the corresponding group containing
inversion there is also a corresponding group that contains indirect isometries but no inversion:
M = L ∪ ( (H \ L) × { − I } )
where isometry ( A , I ) is identified with A.
Thus M is obtained from H by inverting the isometries in H \ L. This group M is as abstract group isomorphic with
H. Conversely, for all isometry groups that contain indirect isometries but no inversion we can obtain a rotation
group by inverting the indirect isometries. This is clarifying when categorizing isometry groups, see below.
In 2D the cyclic group of k-fold rotations Ck is for every positive integer k a normal subgroup of O(2,R) and
SO(2,R). Accordingly, in 3D, for every axis the cyclic group of k-fold rotations about that axis is a normal subgroup
of the group of all rotations about that axis, and also of the group obtained by adding reflections in planes through
the axis.
Point groups in three dimensions 31

3D isometries that leave origin fixed
The isometries of R3 that leave the origin fixed, forming the group O(3,R), can be categorized as follows:
• SO(3,R):
• identity
• rotation about an axis through the origin by an angle not equal to 180°
• rotation about an axis through the origin by an angle of 180°
• the same with inversion (x is mapped to −x), i.e. respectively:
• inversion
• rotation about an axis by an angle not equal to 180°, combined with reflection in the plane through the origin
perpendicular to the axis
• reflection in a plane through the origin
The 4th and 5th in particular, and in a wider sense the 6th also, are called improper rotations.

Conjugacy
When comparing the symmetry type of two objects, the origin is chosen for each separately, i.e. they need not have
the same center. Moreover, two objects are considered to be of the same symmetry type if their symmetry groups are
conjugate subgroups of O(3) (two subgroups H1, H2 of a group G are conjugate, if there exists g ∈ G such that H1 =
g−1H2g ).
Thus two 3D objects have the same symmetry type:
• if both have mirror symmetry, but with respect to a different mirror plane
• if both have 3-fold rotational symmetry, but with respect to a different axis.
In the case of multiple mirror planes and/or axes of rotation, two symmetry groups are of the same symmetry type if
and only if there is a single rotation mapping this whole structure of the first symmetry group to that of the second.
The conjugacy definition would also allow a mirror image of the structure, but this is not needed, the structure itself
is achiral. For example, if a symmetry group contains a 3-fold axis of rotation, it contains rotations in two opposite
directions. (The structure is chiral for 11 pairs of space groups with a screw axis.)

Infinite isometry groups
We restrict ourselves to isometry groups that are closed as topological subgroups of O(3). This excludes for example
the group of rotations by an irrational number of turns about an axis.
The whole O(3) is the symmetry group of spherical symmetry; SO(3) is the corresponding rotation group. The other
infinite isometry groups consist of all rotations about an axis through the origin, and those with additionally
reflection in the planes through the axis, and/or reflection in the plane through the origin, perpendicular to the axis.
Those with reflection in the planes through the axis, with or without reflection in the plane through the origin,
perpendicular to the axis, are the symmetry groups for the two types of cylindrical symmetry.
Point groups in three dimensions 32

Finite isometry groups
For point groups, being finite corresponds to being discrete; infinite discrete groups as in the case of translational
symmetry and glide reflectional symmetry do not apply.
Symmetries in 3D that leave the origin fixed are fully characterized by symmetries on a sphere centered at the origin.
Up to conjugacy the set of finite 3D point groups consists of:
• 7 infinite series with at most one more-than-2-fold rotation axis; they are the finite symmetry groups on an infinite
cylinder, or equivalently, those on a finite cylinder.
• 7 point groups with multiple 3-or-more-fold rotation axes; they can also be characterized as point groups with
multiple 3-fold rotation axes, because all 7 include these axes; with regard to 3-or-more-fold rotation axes the
possible combinations are:
• 4×3
• 4×3 and 3×4
• 10×3 and 6×5
A selection of point groups is compatible with discrete translational symmetry: 27 from the 7 infinite series, and 5 of
the 7 others, the 32 so-called crystallographic point groups. See also the crystallographic restriction theorem.

The seven infinite series
The infinite series have an index n, which can be any integer; in each series, the nth symmetry group contains n-fold
rotational symmetry about an axis, i.e. symmetry with respect to a rotation by an angle 360°/n. n=1 covers the cases
of no rotational symmetry at all. There are four series with no other axes of rotational symmetry, see cyclic
symmetries, and three with additional axes of 2-fold symmetry, see dihedral symmetry.
For n = ∞ they correspond to the frieze groups. Schönflies notation is used, and, in parentheses, orbifold notation;
the latter is not only conveniently related to its properties, but also to the order of the group, see below; it is a unified
notation, also applicable for wallpaper groups and frieze groups.
The 7 infinite series are:
• Cn (nn ) of order n - n-fold rotational symmetry (abstract group Zn ); for n = 1: no symmetry (trivial group)
• Cnh (n* ) of order 2n (for odd n abstract group Z2n = Zn × Z2 , for even n abstract group Zn × Z2 )
• Cnv (*nn ) of order 2n - pyramidal symmetry (abstract group Dihn ); in biology C2v is called biradial symmetry.
• Dn (22n ) of order 2n - dihedral symmetry (abstract group Dihn )
• S2n (nx ) of order 2n (not to be confused with symmetric groups, for which the same notation is used; abstract
group Z2n )
• Dnh (*22n ) of order 4n - prismatic symmetry (for odd n abstract group Dih2n = Dihn × Z2 ; for even n abstract
group Dihn × Z2 )
• Dnd (or Dnv ) (2*n ) - antiprismatic symmetry of order 4n (abstract group Dih2n )
The terms horizontal (h) and vertical (v), and the corresponding subscripts, refer to the additional mirror plane, that
can be parallel to the rotation axis (vertical) or perpendicular to the rotation axis (horizontal).
Involutional symmetry (abstract group Z2 ):
• Ci - inversion symmetry
• C2 - 2-fold rotational symmetry
• Cs - reflection symmetry, also called bilateral symmetry.
Point groups in three dimensions 33

The second of these is the first of the uniaxial groups (cyclic groups) Cn of
order n (also applicable in 2D), which are generated by a single rotation of
angle 360°/n. In addition to this, one may add a mirror plane perpendicular to
the axis, giving the group Cnh of order 2n, or a set of n mirror planes
containing the axis, giving the group Cnv, also of order 2n. The latter is the
symmetry group for a regular n-sided pyramid. A typical object with
symmetry group Cn or Dn is a propellor.

If both horizontal and vertical reflection planes are added, their intersections
give n axes of rotation through 180°, so the group is no longer uniaxial. This
new group of order 4n is called Dnh. Its subgroup of rotations is the dihedral
group Dn of order 2n, which still has the 2-fold rotation axes perpendicular to
the primary rotation axis, but no mirror planes. Note that in 2D Dn includes
reflections, which can also be viewed as flipping over flat objects without
distinction of front- and backside, but in 3D the two operations are
distinguished: the group contains "flipping over", not reflections.

There is one more group in this family, called Dnd (or Dnv), which has vertical
mirror planes containing the main rotation axis, but instead of having a
horizontal mirror plane, it has an isometry that combines a reflection in the
horizontal plane and a rotation by an angle 180°/n. Dnh is the symmetry group
for a regular n-sided prisms and also for a regular n-sided bipyramid. Dnd is
the symmetry group for a regular n-sided antiprism, and also for a regular
n-sided trapezohedron. Dn is the symmetry group of a partially rotated prism.
Patterns on a cylindrical band
Sn is generated by the combination of a reflection in the horizontal plane and a illustrating the case n = 6 for each of the
rotation by an angle 360°/n. For n odd this is equal to the group generated by 7 infinite families of point groups. The
symmetry group of each pattern is the
the two separately, Cnh of order 2n, and therefore the notation Sn is not needed;
indicated group.
however, for n even it is distinct, and of order n. Like Dnd it contains a number
of improper rotations without containing the corresponding rotations.
All symmetry groups in the 7 infinite series are different, except for the following four pairs of mutually equal ones:
• C1h and C1v: group of order 2 with a single reflection (Cs )
• D1 and C2: group of order 2 with a single 180° rotation
• D1h and C2v: group of order 4 with a reflection in a plane and a 180° rotation through a line in that plane
• D1d and C2h: group of order 4 with a reflection in a plane and a 180° rotation through a line perpendicular to that
plane
S2 is the group of order 2 with a single inversion (Ci )
"Equal" is meant here as the same up to conjugacy in space. This is stronger than "up to algebraic isomorphism". For
example, there are three different groups of order two in the first sense, but there is only one in the second sense.
Similarly, e.g. S2n is algebraically isomorphic with Z2n.
Point groups in three dimensions 34

The seven remaining point groups
The remaining point groups are said to be of very high or polyhedral symmetry because they have more than one
rotation axis of order greater than 2. Using Cn to denote an axis of rotation through 360°/n and Sn to denote an axis of
improper rotation through the same, the groups are:
• T (332) of order 12 - chiral tetrahedral symmetry. There are four C3 axes, each through two vertices of a cube
(body diagonals) or one of a regular tetrahedron, and three C2 axes, through the centers of the cube's faces, or the
midpoints of the tetrahedron's edges. This group is isomorphic to A4, the alternating group on 4 elements, and is
the rotation group for a regular tetrahedron.
• Td (*332) of order 24 - full tetrahedral symmetry. This group has the same rotation axes as T, but with six
mirror planes, each containing two edges of the cube or one edge of the tetrahedron, a single C2 axis and two C3
axes. The C2 axes are now actually S4 axes. This group is the symmetry group for a regular tetrahedron. Td is
isomorphic to S4, the symmetric group on 4 letters. See also the isometries of the regular tetrahedron.
• Th (3*2) of order 24 - pyritohedral symmetry.
This group has the same rotation axes as T, with mirror planes parallel
to the cube faces. The C3 axes become S6 axes, and there is inversion
symmetry. Th is isomorphic to A4 × C2. It is the symmetry of a cube
with on each face a line segment dividing the face into two equal
rectangles, such that the line segments of adjacent faces do not meet at
the edge. The symmetries correspond to the even permutations of the
body diagonals and the same combined with inversion. It is also the
symmetry of a pyritohedron, which is similar to the cube described,
with each rectangle replaced by a pentagon with one symmetry axis
and 4 equal sides and 1 different side (the one corresponding to the line
segment dividing the cube's face); i.e., the cube's faces bulge out at the
dividing line and become narrower there. It is a subgroup of the full The structure of a volleyball has Th symmetry.
icosahedral symmetry group (as isometry group, not just as abstract
group), with 4 of the 10 3-fold axes.

• O (432) of order 24 - chiral octahedral symmetry. This group is like T, but the C2 axes are now C4 axes, and
additionally there are 6 C2 axes, through the midpoints of the edges of the cube. This group is also isomorphic to
S4, and is the rotation group of the cube and octahedron.
• Oh (*432) of order 48 - full octahedral symmetry. This group has the same rotation axes as O, but with mirror
planes, comprising both the mirror planes of Td and Th. This group is isomorphic to S4 × C2, and is the symmetry
group of the cube and octahedron. See also the isometries of the cube.
• I (532) of order 60 - chiral icosahedral symmetry; the rotation group of the icosahedron and the dodecahedron.
It is a normal subgroup of index 2 in the full group of symmetries Ih. The group I is isomorphic to A5, the
alternating group on 5 letters. The group contains 10 versions of D3 and 6 versions of D5 (rotational symmetries
like prisms and antiprisms).
• Ih (*532) of order 120 - full icosahedral symmetry; the symmetry group of the icosahedron and the
dodecahedron. The group Ih is isomorphic to A5 × C2. The group contains 10 versions of D3d and 6 versions of
D5d (symmetries like antiprisms).
Point groups in three dimensions 35

Relation between orbifold notation and order
The order of each group is 2 divided by the orbifold Euler characteristic; the latter is 2 minus the sum of the feature
values, assigned as follows:
• n without or before * counts as (n−1)/n
• n after * counts as (n−1)/(2n)
• * and x count as 1
This can also be applied for wallpaper groups and frieze groups: for them, the sum of the feature values is 2, giving
an infinite order; see orbifold Euler characteristic for wallpaper groups

Rotation groups
The rotation groups, i.e. the finite subgroups of SO(3), are: the cyclic groups Cn (the rotation group of a regular
pyramid), the dihedral groups Dn (the rotation group of a regular prism, or regular bipyramid), and the rotation
groups T, O and I of a regular tetrahedron, octahedron/cube and icosahedron/dodecahedron.
In particular, the dihedral groups D3, D4 etc. are the rotation groups of plane regular polygons embedded in
three-dimensional space, and such a figure may be considered as a degenerate regular prism. Therefore it is also
called a dihedron (Greek: solid with two faces), which explains the name dihedral group.
• An object with symmetry group Cn, Cnh, Cnv or S2n has rotation group Cn.
• An object with symmetry group Dn, Dnh, or Dnd has rotation group Dn.
• An object with one of the other seven symmetry groups has as rotation group the corresponding one without
subscript: T, O or I.
The rotation group of an object is equal to its full symmetry group if and only if the object is chiral. In other words,
the chiral objects are those with their symmetry group in the list of rotation groups.

Correspondence between rotation groups and other groups
The following groups contain inversion:
• Cnh and Dnh for even n
• S2n and Dnd for odd n (S2 = Ci is the group generated by inversion; D1d = C2h)
• Th, Oh, and Ih
As explained above, there is a 1-to-1 correspondence between these groups and all rotation groups:
• Cnh for even n and S2n for odd n correspond to Cn
• Dnh for even n and Dnd for odd n correspond to Dn
• Th, Oh, and Ih correspond to T, O, and I, respectively.
The other groups contain indirect isometries, but not inversion:
• Cnv
• Cnh and Dnh for odd n
• S2n and Dnd for even n
• Td
They all correspond to a rotation group H and a subgroup L of index 2 in the sense that they are obtained from H by
inverting the isometries in H \ L, as explained above:
• Cn is subgroup of Dn of index 2, giving Cnv
• Cn is subgroup of C2n of index 2, giving Cnh for odd n and S2n for even n
• Dn is subgroup of D2n of index 2, giving Dnh for odd n and Dnd for even n
• T is subgroup of O of index 2, giving Td
Point groups in three dimensions 36

Maximal symmetries
There are two discrete point groups with the property that no discrete point group has it as proper subgroup: Oh and
Ih. Their largest common subgroup is Th. The two groups are obtained from it by changing 2-fold rotational
symmetry to 4-fold, and adding 5-fold symmetry, respectively. Alternatively the two groups are generated by adding
for each a reflection plane to Th.
There are two crystallographic point groups with the property that no crystallographic point group has it as proper
subgroup: Oh and D6h. Their maximal common subgroups, depending on orientation, are D3d and D2h.

The groups arranged by abstract group type
Below the groups explained above are arranged by abstract group type.
The smallest abstract groups that are not any symmetry group in 3D, are the quaternion group (of order 8), the
dicyclic group Dic3 (of order 12), and 10 of the 14 groups of order 16.
The column "# of order 2 elements" in the following tables shows the total number of isometry subgroups of types
C2 , Ci , Cs. This total number is one of the characteristics helping to distinguish the various abstract group types,
while their isometry type helps to distinguish the various isometry groups of the same abstract group.
Within the possibilities of isometry groups in 3D, there are infinitely many abstract group types with 0, 1 and 3
elements of order 2, there are two with 2n + 1 elements of order 2, and there are three with 2n + 3 elements of order
2 (for each n ≥ 2 ). There is never a positive even number of elements of order 2.

Symmetry groups in 3D that are cyclic as abstract group
The symmetry group for n-fold rotational symmetry is Cn; its abstract group type is cyclic group Zn , which is also
denoted by Cn. However, there are two more infinite series of symmetry groups with this abstract group type:
• For even order 2n there is the group S2n (Schoenflies notation) generated by a rotation by an angle 180°/n about
an axis, combined with a reflection in the plane perpendicular to the axis. For S2 the notation Ci is used; it is
generated by inversion.
• For any order 2n where n is odd, we have Cnh; it has an n-fold rotation axis, and a perpendicular plane of
reflection. It is generated by a rotation by an angle 360°/n about the axis, combined with the reflection. For C1h
the notation Cs is used; it is generated by reflection in a plane.
Thus we have, with bolding of the 10 cyclic crystallographic point groups, for which the crystallographic restriction
applies:

Order Isometry groups Abstract group # of order 2 elements

1 C1 Z1 0

2 C2 , Ci , Cs Z2 1

3 C3 Z3 0

4 C4 , S4 Z4 1

5 C5 Z5 0

6 C6 , S6 , C3h Z6 = Z3 × Z2 1

7 C7 Z7 0

8 C8 , S8 Z8 1

9 C9 Z9 0

10 C10 , S10 , C5h Z10 = Z5 × Z2 1
Point groups in three dimensions 37

etc.

Symmetry groups in 3D that are dihedral as abstract group
In 2D dihedral group Dn includes reflections, which can also be viewed as flipping over flat objects without
distinction of front- and backside.
However, in 3D the two operations are distinguished: the symmetry group denoted by Dn contains n 2-fold axes
perpendicular to the n-fold axis, not reflections. Dn is the rotation group of the n-sided prism with regular base, and
n-sided bipyramid with regular base, and also of a regular, n-sided antiprism and of a regular, n-sided trapezohedron.
The group is also the full symmetry group of such objects after making them chiral by e.g. an identical chiral
marking on every face, or some modification in the shape.
The abstract group type is dihedral group Dihn, which is also denoted by Dn. However, there are three more infinite
series of symmetry groups with this abstract group type:
• Cnv of order 2n, the symmetry group of a regular n-sided pyramid
• Dnd of order 4n, the symmetry group of a regular n-sided antiprism
• Dnh of order 4n for odd n. For n = 1 we get D2, already covered above, so n ≥ 3.
Note the following property:
Dih4n+2 Dih2n+1 × Z2
Thus we have, with bolding of the 12 crystallographic point groups, and writing D1d as the equivalent C2h:

Order Isometry groups Abstract group # of order 2 elements

4 D2 , C2v , C2h Dih2 = Z2 × Z2 3

6 D3 , C3v Dih3 3

8 D4 , C4v , D2d Dih4 5

10 D5 , C5v Dih5 5

12 D6 , C6v , D3d , D3h Dih6 = Dih3 × Z2 7

14 D7 , C7v Dih7 7

16 D8 , C8v , D4d Dih8 9

18 D9 , C9v Dih9 9

etc.

Other
C2n,h of order 4n is of abstract group type Z2n × Z2. For n = 1 we get Dih2 , already covered above, so n ≥ 2.
Thus we have, with bolding of the 2 cyclic crystallographic point groups:
Point groups in three dimensions 38

Order Isometry group Abstract group # of order 2 elements Cycle diagram

8 C4h Z4 × Z2 3

12 C6h Z6 × Z2 = Z3 × Z2 × Z2 = Z3 × Dih2 3

16 C8h Z8 × Z2 3

20 C10h Z10 × Z2 = Z5 × Z2 × Z2 3

etc.
Dnh of order 4n is of abstract group type Dihn × Z2. For odd n this is already covered above, so we have here D2nh of
order 8n, which is of abstract group type Dih2n × Z2 (n≥1).
Thus we have, with bolding of the 3 dihedral crystallographic point groups:

Order Isometry group Abstract group # of order 2 elements Cycle diagram

8 D2h Dih2 × Z2 7

16 D4h Dih4 × Z2 11

24 D6h Dih6 × Z2 15

32 D8h Dih8 × Z2 19

etc.
The remaining seven are, with bolding of the 5 crystallographic point groups (see also above):
• order 12: of type A4 (alternating group): T
• order 24:
• of type S4 (symmetric group, not to be confused with the symmetry group with this notation): Td, O
• of type A4 × Z2: Th .
• order 48, of type S4 × Z2: Oh
• order 60, of type A5: I
• order 120, of type A5 × Z2: Ih
Point groups in three dimensions 39

Impossible discrete symmetries
Since the overview is exhaustive, it also shows implicitly what is not possible as discrete symmetry group. For
example:
• a C6 axis in one direction and a C3 in another
• a C5 axis in one direction and a C4 in another
• a C3 axis in one direction and another C3 axis in a perpendicular direction
etc.

Fundamental domain
The fundamental domain of a point group is a conic solid. An object with a given symmetry in a given orientation is
characterized by the fundamental domain. If the object is a surface it is characterized by a surface in the fundamental
domain continuing to its radial bordal faces or surface. If the copies of the surface do not fit, radial faces or surfaces
can be added. They fit anyway if the fundamental domain is bounded by reflection planes.
For a polyhedron this surface in the fundamental domain can be part of an arbitrary plane. For example, in the
disdyakis triacontahedron one full face is a fundamental domain. Adjusting the orientation of the plane gives various
possibilities of combining two or more adjacent faces to one, giving various other polyhedra with the same
symmetry. The polyhedron is convex if the surface fits to its copies and the radial line perpendicular to the plane is
in the fundamental domain.
Also the surface in the fundamental domain may be composed of multiple faces.

Binary polyhedral groups
The map Spin(3) → SO(3) is the double cover of the rotation group by the spin group in 3 dimensions. (This is the
only connected cover of SO(3), since Spin(3) is simply connected.) By the lattice theorem, there is a Galois
connection between subgroups of Spin(3) and subgroups of SO(3) (rotational point groups): the image of a subgroup
of Spin(3) is a rotational point group, and the preimage of a point group is a subgroup of Spin(3).
The preimage of a finite point group is called a binary polyhedral group, and is called by the same name as its
point group, with the prefix binary. For instance, the preimage of the icosahedral group is the binary icosahedral
group.
The binary polyhedral groups are:
• : binary cyclic group of an (n + 1)-gon
• : binary dihedral group of an n-gon
• : binary tetrahedral group
• : binary octahedral group
• : binary icosahedral group
These are classified by the ADE classification, and the quotient of C2 by the action of a binary polyhedral group is a
Du Val singularity.[1]
For point groups that reverse orientation, the situation is more complicated, as there are two pin groups, so there are
two possible binary groups corresponding to a given point group.
Note that this is a covering of groups, not a covering of spaces – the sphere is simply connected, and thus has no
covering spaces. There is thus no notion of a "binary polyhedron" that covers a 3-dimensional polyhedron. Binary
polyhedral groups are discrete subgroups of a Spin group, and under a representation of the spin group act on a
vector space, and may stabilize a polyhedron in this representation – under the map Spin(3) → SO(3) they act on the
same polyhedron that the underlying (non-binary) group acts on, while under spin representations or other
representations they may stabilize other polyhedra.
Point groups in three dimensions 40

This is in contrast to projective polyhedra – the sphere does cover projective space (and also lens spaces), and thus a
tessellation of projective space or lens space yields a distinct notion of polyhedron.

Footnotes
[1] Du Val Singularities, by Igor Burban (http:/ / enriques. mathematik. uni-mainz. de/ burban/ singul. pdf)

References
• Coxeter, H. S. M. (1974), "7 The Binary Polyhedral Groups", Regular Complex Polytopes, Cambridge University
• Conway, John Horton; Huson, Daniel H. (2002), "The Orbifold Notation for Two-Dimensional Groups",
Structural Chemistry (Springer Netherlands) 13 (3): 247–257, doi:10.1023/A:1015851621002

• Graphic overview of the 32 crystallographic point groups (http://newton.ex.ac.uk/research/qsystems/people/
goss/symmetry/Solids.html) - form the first parts (apart from skipping n=5) of the 7 infinite series and 5 of the 7
separate 3D point groups
• Overview of properties of point groups (http://newton.ex.ac.uk/research/qsystems/people/goss/symmetry/
CC_All.html)
• Simplest Canonical Polyhedra of Each Symmetry Type (http://homepage.mac.com/dmccooey/polyhedra/
Simplest.html) (uses Java)

Cyclic group
In group theory, a cyclic group is a group that can be generated by a single element, in the sense that the group has
an element g (called a "generator" of the group) such that, when written multiplicatively, every element of the group
is a power of g (a multiple of g when the notation is additive).

Definition
A group G is called cyclic if there exists an element g in G such that G = <g>
= { gn | n is an integer }. Since any group generated by an element in a group
is a subgroup of that group, showing that the only subgroup of a group G that
contains g is G itself suffices to show that G is cyclic.
For example, if G = { g0, g1, g2, g3, g4, g5 } is a group, then g6 = g0, and G is
cyclic. In fact, G is essentially the same as (that is, isomorphic to) the set { 0,
1, 2, 3, 4, 5 } with addition modulo 6. For example, 1 + 2 = 3 (mod 6)
corresponds to g1·g2 = g3, and 2 + 5 = 1 (mod 6) corresponds to g2·g5 = g7 =
g1, and so on. One can use the isomorphism φ defined by φ(gi) = i.
The six 6th complex roots of unity form a
For every positive integer n there is exactly one cyclic group (up to
cyclic group under multiplication. z is a
isomorphism) whose order is n, and there is exactly one infinite cyclic group primitive element, but z2 is not, because
(the integers under addition). Hence, the cyclic groups are the simplest groups the odd powers of z are not a power of z2.
and they are completely classified.

The name "cyclic" may be misleading: it is possible to generate infinitely many elements and not form any literal
cycles; that is, every is distinct. (It can be said that it has one infinitely long cycle.) A group generated in this
Cyclic group 41

way is called an infinite cyclic group, and is isomorphic to the additive group of integers Z.
Furthermore, the circle group (whose elements are uncountable) is not a cyclic group—a cyclic group always has
countable elements.
Since the cyclic groups are abelian, they are often written additively and denoted Zn. However, this notation can be
problematic for number theorists because it conflicts with the usual notation for p-adic number rings or localization
at a prime ideal. The quotient notations Z/nZ, Z/n, and Z/(n) are standard alternatives. We adopt the first of these
here to avoid the collision of notation. See also the section Subgroups and notation below.
One may write the group multiplicatively, and denote it by Cn, where n is the order (which can be ∞). For example,
g3g4 = g2 in C5, whereas 3 + 4 = 2 in Z/5Z.

Properties
The fundamental theorem of cyclic groups states that if G is a cyclic group of order n then every subgroup of G is
cyclic. Moreover, the order of any subgroup of G is a divisor of n and for each positive divisor k of n the group G has
exactly one subgroup of order k. This property characterizes finite cyclic groups: a group of order n is cyclic if and
only if for every divisor d of n the group has at most one subgroup of order d. Sometimes the equivalent statement is
used: a group of order n is cyclic if and only if for every divisor d of n the group has exactly one subgroup of order d.
Every finite cyclic group is isomorphic to the group { [0], [1], [2], ..., [n − 1] } of integers modulo n under addition,
and any infinite cyclic group is isomorphic to Z (the set of all integers) under addition. Thus, one only needs to look
at such groups to understand the properties of cyclic groups in general. Hence, cyclic groups are one of the simplest
groups to study and a number of nice properties are known.
Given a cyclic group G of order n (n may be infinity) and for every g in G,
• G is abelian; that is, their group operation is commutative: gh = hg (for all h in G). This is so since g + h mod n =
h + g mod n.
• If n is finite, then gn = g0 is the identity element of the group, since kn mod n = 0 for any integer k.
• If n = ∞, then there are exactly two elements that generate the group on their own: namely 1 and −1 for Z
• If n is finite, then there are exactly φ(n) elements that generate the group on their own, where φ is the Euler
totient function
• Every subgroup of G is cyclic. Indeed, each finite subgroup of G is a group of { 0, 1, 2, 3, ... m − 1} with addition
modulo m. And each infinite subgroup of G is mZ for some m, which is bijective to (so isomorphic to) Z.
• Gn is isomorphic to Z/nZ (factor group of Z over nZ) since Z/nZ = {0 + nZ, 1 + nZ, 2 + nZ, 3 + nZ, 4 + nZ, ..., n
− 1 + nZ} { 0, 1, 2, 3, 4, ..., n − 1} under addition modulo n.
More generally, if d is a divisor of n, then the number of elements in Z/n which have order d is φ(d). The order of the
residue class of m is n / gcd(n,m).
If p is a prime number, then the only group (up to isomorphism) with p elements is the cyclic group Cp or Z/pZ.
There are more numbers with the same property, see cyclic number.
The direct product of two cyclic groups Z/nZ and Z/mZ is cyclic if and only if n and m are coprime. Thus e.g. Z/12Z
is the direct product of Z/3Z and Z/4Z, but not the direct product of Z/6Z and Z/2Z.
The definition immediately implies that cyclic groups have very simple group presentation C∞ = < x | > and Cn = < x
| xn > for finite n.
A primary cyclic group is a group of the form Z/pk where p is a prime number. The fundamental theorem of abelian
groups states that every finitely generated abelian group is the direct product of finitely many finite primary cyclic
and infinite cyclic groups.
Z/nZ and Z are also commutative rings. If p is a prime, then Z/pZ is a finite field, also denoted by Fp or GF(p).
Every field with p elements is isomorphic to this one.
Cyclic group 42

The units of the ring Z/nZ are the numbers coprime to n. They form a group under multiplication modulo n with
φ(n) elements (see above). It is written as (Z/nZ)×. For example, when n = 6, we get (Z/nZ)× = {1,5}. When n = 8,
we get (Z/nZ)× = {1,3,5,7}.
In fact, it is known that (Z/nZ)× is cyclic if and only if n is 1 or 2 or 4 or pk or 2 pk for an odd prime number p and k
≥ 1, in which case every generator of (Z/nZ)× is called a primitive root modulo n. Thus, (Z/nZ)× is cyclic for n = 6,
but not for n = 8, where it is instead isomorphic to the Klein four-group.
The group (Z/pZ)× is cyclic with p − 1 elements for every prime p, and is also written (Z/pZ)* because it consists of
the non-zero elements. More generally, every finite subgroup of the multiplicative group of any field is cyclic.

Examples
In 2D and 3D the symmetry group for n-fold rotational symmetry is Cn, of abstract group type Zn. In 3D there are
also other symmetry groups which are algebraically the same, see Symmetry groups in 3D that are cyclic as abstract
group.
Note that the group S1 of all rotations of a circle (the circle group) is not cyclic, since it is not even countable.
The nth roots of unity form a cyclic group of order n under multiplication. e.g.,
where and a group of under
multiplication is cyclic.
The Galois group of every finite field extension of a finite field is finite and cyclic; conversely, given a finite field F
and a finite cyclic group G, there is a finite field extension of F whose Galois group is G.

Representation
The cycle graphs of finite cyclic groups are all n-sided polygons with the elements at the vertices. The dark vertex in
the cycle graphs below stand for the identity element, and the other vertices are the other elements of the group. A
cycle consists of successive powers of either of the elements connected to the identity element.

C1 C2 C3 C4 C5 C6 C7 C8

The representation theory of the cyclic group is a critical base case for the representation theory of more general
finite groups. In the complex case, a representation of a cyclic group decomposes into a direct sum of linear
characters, making the connection between character theory and representation theory transparent. In the positive
characteristic case, the indecomposable representations of the cyclic group form a model and inductive basis for the
representation theory of groups with cyclic Sylow subgroups and more generally the representation theory of blocks
of cyclic defect.

Subgroups and notation
All subgroups and quotient groups of cyclic groups are cyclic. Specifically, all subgroups of Z are of the form mZ,
with m an integer ≥0. All of these subgroups are different, and apart from the trivial group (for m=0) all are
isomorphic to Z. The lattice of subgroups of Z is isomorphic to the dual of the lattice of natural numbers ordered by
divisibility. All factor groups of Z are finite, except for the trivial exception Z/{0} = Z/0Z. For every positive divisor
d of n, the quotient group Z/nZ has precisely one subgroup of order d, the one generated by the residue class of n/d.
There are no other subgroups. The lattice of subgroups is thus isomorphic to the set of divisors of n, ordered by
Cyclic group 43

divisibility. In particular, a cyclic group is simple if and only if its order (the number of its elements) is prime.[1]
Using the quotient group formalism, Z/nZ is a standard notation for the additive cyclic group with n elements. In
ring terminology, the subgroup nZ is also the ideal (n), so the quotient can also be written Z/(n) or Z/n without abuse
of notation. These alternatives do not conflict with the notation for the p-adic integers. The last form is very common
in informal calculations; it has the additional advantage that it reads the same way that the group or ring is often
described verbally, "Zee mod en".
As a practical problem, one may be given a finite subgroup C of order n, generated by an element g, and asked to
find the size m of the subgroup generated by gk for some integer k. Here m will be the smallest integer > 0 such that
mk is divisible by n. It is therefore n/m where m = (k, n) is the greatest common divisor of k and n. Put another way,
the index of the subgroup generated by gk is m. This reasoning is known as the index calculus algorithm, in number
theory.

Endomorphisms
The endomorphism ring of the abelian group Z/nZ is isomorphic to Z/nZ itself as a ring. Under this isomorphism,
the number r corresponds to the endomorphism of Z/nZ that maps each element to the sum of r copies of it. This is a
bijection if and only if r is coprime with n, so the automorphism group of Z/nZ is isomorphic to the unit group
(Z/nZ)× (see above).
Similarly, the endomorphism ring of the additive group Z is isomorphic to the ring Z. Its automorphism group is
isomorphic to the group of units of the ring Z, i.e. to {−1, +1} C2.

Virtually cyclic groups
A group is called virtually cyclic if it contains a cyclic subgroup of finite index (the number of cosets that the
subgroup has). In other words, any element in a virtually cyclic group can be arrived at by applying a member of the
cyclic subgroup to a member in a certain finite set. Every cyclic group is virtually cyclic, as is every finite group. It
is known that a finitely generated discrete group with exactly two ends is virtually cyclic (for instance the product of
Z/n and Z). Every abelian subgroup of a Gromov hyperbolic group is virtually cyclic.

• An introduction to cyclic groups [2]

Notes
[1] Gannon (2006), p. 18 (http:/ / books. google. com/ books?id=ehrUt21SnsoC& pg=PA18& dq="Zn+ is+ simple+ iff+ n+ is+ prime")
[2] http:/ / members. tripod. com/ ~dogschool/ cyclic. html

References
• Gallian, Joseph (1998) (in English), Contemporary abstract algebra (4th ed.), Boston: Houghton Mifflin,
ISBN 978-0-669-86179-2, especially chapter 4.
• Herstein, I. N. (1996), Abstract algebra (3rd ed.), Prentice Hall, MR1375019, ISBN 978-0-13-374562-7,
especially pages 53–60.
• Gannon, Terry (2006). Moonshine beyond the monster: the bridge connecting algebra, modular forms and
physics. Cambridge monographs on mathematical physics. Cambridge University Press. ISBN 9780521835312.
Dihedral group 44

Dihedral group
In mathematics, a dihedral group is the group of symmetries of a
regular polygon, including both rotations and reflections.[1] Dihedral
groups are among the simplest examples of finite groups, and they play
an important role in group theory, geometry, and chemistry.

Notation
There are two competing notations for the dihedral group associated to
a polygon with n sides. In geometry the group is denoted Dn, while in
algebra the same group is denoted by D2n to indicate the number of
This snowflake has the dihedral symmetry of a
elements.
regular hexagon.
In this article, Dn (and sometimes Dihn) refers to the symmetries of a
regular polygon with n sides.

Definition

Elements
A regular polygon with n sides has 2n different symmetries: n
rotational symmetries and n reflection symmetries. The associated
rotations and reflections make up the dihedral group Dn. If n is odd
each axis of symmetry connects the mid-point of one side to the
opposite vertex. If n is even there are n/2 axes of symmetry connecting
the mid-points of opposite sides and n/2 axes of symmetry connecting
opposite vertices. In either case, there are n axes of symmetry
altogether and 2n elements in the symmetry group. Reflecting in one
axis of symmetry followed by reflecting in another axis of symmetry
produces a rotation through twice the angle between the axes. The
following picture shows the effect of the sixteen elements of D8 on a
stop sign: The six reflection symmetries of a regular
hexagon

The first row shows the effect of the eight rotations, and the second row shows the effect of the eight reflections.
Dihedral group 45

Group structure
As with any geometric object, the composition of two symmetries of a regular polygon is again a symmetry. This
operation gives the symmetries of a polygon the algebraic structure of a finite group.
The following Cayley table shows the effect of composition in the
group D3 (the symmetries of an equilateral triangle). R0 denotes the
identity; R1 and R2 denote counterclockwise rotations by 120 and 240
degrees; and S0, S1, and S2 denote reflections across the three lines
shown in the picture to the right.

The composition of these two reflections is a
rotation.

R0 R1 R2 S0 S1 S2
R0 R0 R1 R2 S0 S1 S2
R1 R1 R2 R0 S1 S2 S0
R2 R2 R0 R1 S2 S0 S1
S0 S0 S2 S1 R0 R2 R1
S1 S1 S0 S2 R1 R0 R2
S2 S2 S1 S0 R2 R1 R0
For example, S2S1 = R1 because the reflection S1 followed by the reflection S2 results in a 120-degree rotation. (This
is the normal backwards order for composition.) Note that the composition operation is not commutative.
In general, the group Dn has elements R0,...,Rn−1 and S0,...,Sn−1, with composition given by the following formulae:

In all cases, addition and subtraction of subscripts should be performed using modular arithmetic with modulus n.
Dihedral group 46

Matrix representation
If we center the regular polygon at the origin, then elements of the
dihedral group act as linear transformations of the plane. This lets us
represent elements of Dn as matrices, with composition being matrix
multiplication. This is an example of a (2-dimensional) group
representation.
For example, the elements of the group D4 can be represented by the
following eight matrices:

The symmetries of this pentagon are linear
transformations.

In general, the matrices for elements of Dn have the following form:

Rk is a rotation matrix, expressing a counterclockwise rotation through an angle of 2πk ⁄ n. Sk is a reflection across a
line that makes an angle of πk ⁄ n with the x-axis.

Small dihedral groups
For n = 1 we have Dih1. This notation is rarely used except in the framework of the series, because it is equal to Z2.
For n = 2 we have Dih2, the Klein four-group. Both are exceptional within the series:
• They are abelian; for all other values of n the group Dihn is not abelian.
• They are not subgroups of the symmetric group Sn, corresponding to the fact that 2n > n ! for these n.
The cycle graphs of dihedral groups consist of an n-element cycle and n 2-element cycles. The dark vertex in the
cycle graphs below of various dihedral groups stand for the identity element, and the other vertices are the other
elements of the group. A cycle consists of successive powers of either of the elements connected to the identity
element.

Dih1 Dih2 Dih3 Dih4 Dih5 Dih6 Dih7
Dihedral group 47

The dihedral group as symmetry group in 2D and rotation group in 3D
An example of abstract group Dihn, and a common way to visualize it, is the group Dn of Euclidean plane isometries
which keep the origin fixed. These groups form one of the two series of discrete point groups in two dimensions. Dn
consists of n rotations of multiples of 360°/n about the origin, and reflections across n lines through the origin,
making angles of multiples of 180°/n with each other. This is the symmetry group of a regular polygon with n sides
(for n ≥3, and also for the degenerate case n = 2, where we have a line segment in the plane).
Dihedral group Dn is generated by a rotation r of order n and a reflection s of order 2 such that

(in geometric terms: in the mirror a rotation looks like an inverse rotation).
In matrix form, an anti-clockwise rotation and a reflection in the x-axis are given by

(in terms of complex numbers: multiplication by and complex conjugation).
By setting

and defining and for we can write the product rules for  Dn as

(Compare coordinate rotations and reflections.)
The dihedral group D2 is generated by the rotation r of 180 degrees, and the reflection s across the x-axis. The
elements of D2 can then be represented as {e, r, s, rs}, where e is the identity or null transformation and rs is the
reflection across the y-axis.
D2 is isomorphic to the Klein
four-group.
If the order of Dn is greater than 4, the
operations of rotation and reflection in
general do not commute and Dn is not
abelian; for example, in D4, a rotation The four elements of D2 (x-axis is vertical here)
of 90 degrees followed by a reflection
yields a different result from a reflection followed by a rotation of 90 degrees:

Thus, beyond their obvious application
to problems of symmetry in the plane,
these groups are among the simplest
examples of non-abelian groups, and
as such arise frequently as easy
counterexamples to theorems which
D4 is nonabelian (x-axis is vertical here).
are restricted to abelian groups.
Dihedral group 48

The 2n elements of Dn can be written as e, r, r2, ..., rn−1, s, r s, r2 s, ..., rn−1 s. The first n listed elements are rotations
and the remaining n elements are axis-reflections (all of which have order 2). The product of two rotations or two
reflections is a rotation; the product of a rotation and a reflection is a reflection.
So far, we have considered Dn to be a subgroup of O(2), i.e. the group of rotations (about the origin) and reflections
(across axes through the origin) of the plane. However, notation Dn is also used for a subgroup of SO(3) which is
also of abstract group type Dihn: the proper symmetry group of a regular polygon embedded in three-dimensional
space (if n ≥ 3). Such a figure may be considered as a degenerate regular solid with its face counted twice. Therefore
it is also called a dihedron (Greek: solid with two faces), which explains the name dihedral group (in analogy to
tetrahedral, octahedral and icosahedral group, referring to the proper symmetry groups of a regular tetrahedron,
octahedron, and icosahedron respectively).

Examples of 2D dihedral symmetry

2D D6 symmetry – The Red Star of David 2D D24 symmetry – Ashoka Chakra, as
depicted on the National flag of the Republic
of India.

Equivalent definitions
Further equivalent definitions of Dihn are:
• The automorphism group of the graph consisting only of a cycle with n vertices (if n ≥ 3).
• The group with presentation

or

(The only finite groups that can be generated by two elements of order 2 are the dihedral groups and the cyclic
groups. If the two elements of order 2 are distinct, then the group generated is dihedral.)
From the second presentation follows that Dihn belongs to the class of coxeter groups.
• The semidirect product of cyclic groups Zn and Z2, with Z2 acting on Zn by inversion (thus, Dihn always has a
normal subgroup isomorphic to the group Zn
is isomorphic to Dihn if φ(0) is the identity and φ(1) is inversion.
Dihedral group 49

Properties
If we consider Dihn (n ≥ 3) as the symmetry group of a regular n-gon and number the polygon's vertices, we see that
Dihn is a subgroup of the symmetric group Sn via this permutation representation.
The properties of the dihedral groups Dihn with n ≥ 3 depend on whether n is even or odd. For example, the center of
Dihn consists only of the identity if n is odd, but if n is even the center has two elements, namely the identity and the
element rn / 2 (with Dn as a subgroup of O(2), this is inversion; since it is scalar multiplication by −1, it is clear that it
commutes with any linear transformation).
For odd n, abstract group Dih2n is isomorphic with the direct product of Dihn and Z2.
In the case of 2D isometries, this corresponds to adding inversion, giving rotations and mirrors in between the
existing ones.
If m divides n, then Dihn has n / m subgroups of type Dihm, and one subgroup Zm. Therefore the total number of
subgroups of Dihn (n ≥ 1), is equal to d(n) + σ(n), where d(n) is the number of positive divisors of n and σ(n) is the
sum of the positive divisors of n. See list of small groups for the cases n ≤ 8.

Conjugacy classes of reflections
All the reflections are conjugate to each other in case n is odd, but they fall into two conjugacy classes if n is even. If
we think of the isometries of a regular n-gon: for odd n there are rotations in the group between every pair of mirrors,
while for even n only half of the mirrors can be reached from one by these rotations. Geometrically, in an odd
polygon every axis of symmetry passes through a vertex and a side, while in an even polygon half the axes pass
through two vertices, and half pass through two sides.
Algebraically, this is an instance of the conjugate Sylow theorem (for n odd): for n odd, each reflection, together
with the identity, form a subgroup of order 2, which is a Sylow 2-subgroup ( is the maximum power of 2
dividing ), while for n even, these order 2 subgroups are not Sylow subgroups because 4 (a
higher power of 2) divides the order of the group.
For n even there is instead an outer automorphism interchanging the two types of reflections (properly, a class of
outer automorphisms, which are all conjugate by an inner automorphism).

Automorphism group
The automorphism group of Dihn is isomorphic to the affine group Aff(Z/nZ) and has
order where is Euler's totient function, the number of k in coprime to n.
It can be understood in terms of the generators of a reflection and an elementary rotation (rotation by , for
k coprime to n); which automorphisms are inner and outer depends on the parity of n.
• For n odd, the dihedral group is centerless, so any element defines a non-trivial inner automorphism; for n even,
the rotation by 180° (reflection through the origin) is the non-trivial element of the center.
• Thus for n odd, the inner automorphism group has order 2n, and for n even the inner automorphism group has
order n.
• For n odd, all reflections are conjugate; for n even, they fall into two classes (those through two vertices and those
through two faces), related by an outer automorphism, which can be represented by rotation by (half the
minimal rotation).
• The rotations are a normal subgroup; conjugation by a reflection changes the sign (direction) of the rotation, but
otherwise leaves them unchanged. Thus automorphisms that multiply angles by k (coprime to n) are outer unless
Dihedral group 50

Examples of automorphism groups
Dih9 has 18 inner automorphisms. As 2D isometry group D9, the group has mirrors at 20° intervals. The 18 inner
automorphisms provide rotation of the mirrors by multiples of 20°, and reflections. As isometry group these are all
automorphisms. As abstract group there are in addition to these, 36 outer automorphisms, e.g. multiplying angles of
rotation by 2.
Dih10 has 10 inner automorphisms. As 2D isometry group D10, the group has mirrors at 18° intervals. The 10 inner
automorphisms provide rotation of the mirrors by multiples of 36°, and reflections. As isometry group there are 10
more automorphisms; they are conjugates by isometries outside the group, rotating the mirrors 18° with respect to
the inner automorphisms. As abstract group there are in addition to these 10 inner and 10 outer automorphisms, 20
more outer automorphisms, e.g. multiplying rotations by 3.
Compare the values 6 and 4 for Euler's totient function, the multiplicative group of integers modulo n for n = 9 and
10, respectively. This triples and doubles the number of automorphisms compared with the two automorphisms as
isometries (keeping the order of the rotations the same or reversing the order).

Generalizations
There are several important generalizations of the dihedral groups:
• The infinite dihedral group is an infinite group with algebraic structure similar to the finite dihedral groups. It can
be viewed as the group of symmetries of the integers.
• The orthogonal group O(2), i.e. the symmetry group of the circle, also has similar properties to the dihedral
groups.
• The family of generalized dihedral groups includes both of the examples above, as well as many other groups.
• The quasidihedral groups are family of finite groups with similar properties to the dihedral groups.

References
[1] Dummit, David S.; Foote, Richard M. (2004). Abstract Algebra (3rd ed.). John Wiley & Sons. ISBN 0-471-43334-9.

• Dihedral Group n of Order 2n (http://demonstrations.wolfram.com/DihedralGroupNOfOrder2n/) by Shawn
Dudzik, Wolfram Demonstrations Project.
Lattice (group) 51

Lattice (group)
In mathematics, especially in geometry and group
theory, a lattice in Rn is a discrete subgroup of Rn
which spans the real vector space Rn. Every lattice in
Rn can be generated from a basis for the vector space
by forming all linear combinations with integer
coefficients. A lattice may be viewed as a regular tiling
of a space by a primitive cell.

Lattices have many significant applications in pure
mathematics, particularly in connection to Lie algebras,
number theory and group theory. They also arise in
applied mathematics in connection with coding theory,
in cryptography because of conjectured computational A lattice in the Euclidean plane.
hardness of several lattice problems, and are used in
various ways in the physical sciences. For instance, in materials science and solid-state physics, a lattice is a
synonym for the "frame work" of a crystalline structure, a 3-dimensional array of regularly spaced points coinciding
with the atom or molecule positions in a crystal. More generally, lattice models are studied in physics, often by the
techniques of computational physics.

Symmetry considerations and examples
A lattice is the symmetry group of discrete translational symmetry in n directions. A pattern with this lattice of
translational symmetry cannot have more, but may have less symmetry than the lattice itself.
A lattice in the sense of a 3-dimensional array of regularly spaced points coinciding with e.g. the atom or molecule
positions in a crystal, or more generally, the orbit of a group action under translational symmetry, is a translate of the
translation lattice: a coset, which need not contain the origin, and therefore need not be a lattice in the previous
sense.
A simple example of a lattice in Rn is the subgroup Zn. A more complicated example is the Leech lattice, which is a
lattice in R24. The period lattice in R2 is central to the study of elliptic functions, developed in nineteenth century
mathematics; it generalises to higher dimensions in the theory of abelian functions.

Dividing space according to a lattice
A typical lattice Λ in Rn thus has the form

where {v1, ..., vn} is a basis for Rn. Different bases can generate the same lattice, but the absolute value of the
determinant of the vectors vi is uniquely determined by Λ, and is denoted by d(Λ). If one thinks of a lattice as
dividing the whole of Rn into equal polyhedra (copies of an n-dimensional parallelepiped, known as the fundamental
region of the lattice), then d(Λ) is equal to the n-dimensional volume of this polyhedron. This is why d(Λ) is
sometimes called the covolume of the lattice.
Lattice (group) 52

Lattice points in convex sets
Minkowski's theorem relates the number d(Λ) and the volume of a symmetric convex set S to the number of lattice
points contained in S. The number of lattice points contained in a polytope all of whose vertices are elements of the
lattice is described by the polytope's Ehrhart polynomial. Formulas for some of the coefficients of this polynomial
involve d(Λ) as well.
Theorem: let P be the polytope: fundamental region of a basis which is a weighted square self-blocking clutter S.
then covolume(P) = k and P contains k - 1 integer interior points, where k is the wheight of the edges of S.

Computing with lattices
Lattice basis reduction is the problem of finding a short and nearly orthogonal lattice basis. The
Lenstra-Lenstra-Lovász lattice basis reduction algorithm (LLL) approximates such a lattice basis in polynomial time;
it has found numerous applications, particularly in public-key cryptography.

Lattices in two dimensions: detailed discussion
There are five 2D lattice types as given by the crystallographic restriction theorem. Below, the wallpaper group of
the lattice is given in parentheses; note that a pattern with this lattice of translational symmetry cannot have more,
but may have less symmetry than the lattice itself. If the symmetry group of a pattern contains an n-fold rotation then
the lattice has n-fold symmetry for even n and 2n-fold for odd n.
• a rhombic lattice, also called centered rectangular lattice or isosceles triangular lattice (cmm), with evenly
spaced rows of evenly spaced points, with the rows alternatingly shifted one half spacing (symmetrically
staggered rows):

• a hexagonal lattice or equilateral triangular lattice (p6m)
• a square lattice (p4m):
• a rectangular lattice, also called primitive rectangular lattice (pmm):
• more generally, a parallelogrammic lattice, also called oblique lattice (p2)(with asymmetrically staggered
rows):
For the classification of a given lattice, start with one point and take a nearest second point. For the third point, not
on the same line, consider its distances to both points. Among the points for which the smaller of these two distances
is least, choose a point for which the larger of the two is least. (Not logically equivalent but in the case of lattices
giving the same result is just "Choose a point for which the larger of the two is least".)
The five cases correspond to the triangle being equilateral, right isosceles, right, isosceles, and scalene. In a rhombic
lattice, the shortest distance may either be a diagonal or a side of the rhombus, i.e., the line segment connecting the
first two points may or may not be one of the equal sides of the isosceles triangle. This depends on the smaller angle
of the rhombus being less than 60° or between 60° and 90°.
The general case is known as a period lattice. If the vectors p and q generate the lattice, instead of p and q we can
also take p and p-q, etc. In general in 2D, we can take a p + b q and c p + d q for integers a,b, c and d such that
Lattice (group) 53

ad-bc is 1 or -1. This ensures that p and q themselves are integer linear combinations of the other two vectors. Each
pair p, q defines a parallelogram, all with the same area, the magnitude of the cross product. One parallelogram fully
defines the whole object. Without further symmetry, this parallelogram is a fundamental parallelogram.

The fundamental domain of the period lattice.

The vectors p and q can be represented by complex numbers. Up to size and orientation, a pair can be represented by
their quotient. Expressed geometrically: if two lattice points are 0 and 1, we consider the position of a third lattice
point. Equivalence in the sense of generating the same lattice is represented by the modular group:
represents choosing a different third point in the same grid, represents choosing a different side of
the triangle as reference side 0-1, which in general implies changing the scaling of the lattice, and rotating it. Each
"curved triangle" in the image contains for each 2D lattice shape one complex number, the grey area is a canonical
representation, corresponding to the classification above, with 0 and 1 two lattice points that are closest to each
other; duplication is avoided by including only half of the boundary. The rhombic lattices are represented by the
points on its boundary, with the hexagonal lattice as vertex, and i for the square lattice. The rectangular lattices are at
the imaginary axis, and the remaining area represents the parallelogrammetic lattices, with the mirror image of a
parallelogram represented by the mirror image in the imaginary axis.

Lattices in three dimensions
The 14 lattice types in 3D are called Bravais lattices. They are characterized by their space group. 3D patterns with
translational symmetry of a particular type cannot have more, but may have less symmetry than the lattice itself.

Lattices in complex space
A lattice in Cn is a discrete subgroup of Cn which spans the 2n-dimensional real vector space Cn. For example, the
Gaussian integers form a lattice in C.
Every lattice in Rn is a free abelian group of rank n; every lattice in Cn is a free abelian group of rank 2n.

In Lie groups
More generally, a lattice Γ in a Lie group G is a discrete subgroup, such that the quotient G/Γ is of finite measure,
for the measure on it inherited from Haar measure on G (left-invariant, or right-invariant—the definition is
independent of that choice). That will certainly be the case when G/Γ is compact, but that sufficient condition is not
necessary, as is shown by the case of the modular group in SL2(R), which is a lattice but where the quotient isn't
compact (it has cusps). There are general results stating the existence of lattices in Lie groups.
A lattice is said to be uniform or cocompact if G/Γ is compact; otherwise the lattice is called non-uniform.
Lattice (group) 54

Lattices over general vector-spaces
Whilst we normally consider lattices in this concept can be generalised to any finite dimensional vector
space over any field. This can be done as follows:
Let be a field, let be an -dimensional -vector space, let be a -basis for
and let be a ring contained within . Then the lattice in generated by is given by:

Different bases will in general generate different lattices. However, if the transition matrix between the bases
is in - the general linear group of R (in simple terms this means that all the entries of are in and all
the entries of are in - which is equivalent to saying that the determinant of is in - the unit group of
elements in with multiplicative inverses) then the lattices generated by these bases will be isomorphic since
induces an isomorphism between the two lattices.
Important cases of such lattices occur in number theory with K a p-adic field and R the p-adic integers.
For a vector space which is also an inner product space, the dual lattice can be concretely described by the set:

or equivalently as,

References
Birkhoff, Garrett (1967). Lattice Theory (3 ed.). American Mathematical Society. ISBN 0821810251.

Wallpaper group
A wallpaper group (or plane symmetry group or
plane crystallographic group) is a mathematical
classification of a two-dimensional repetitive pattern,
based on the symmetries in the pattern. Such patterns
occur frequently in architecture and decorative art.
There are 17 possible distinct groups.

Wallpaper groups are two-dimensional symmetry
groups, intermediate in complexity between the simpler
frieze groups and the three-dimensional
crystallographic groups (also called space groups).

Introduction
Wallpaper groups categorize patterns by their
symmetries. Subtle differences may place similar
patterns in different groups, while patterns that are very Example of an Egyptian design with wallpaper group p4m
different in style, color, scale or orientation may belong
to the same group.
Consider the following examples:
Wallpaper group 55

Example A: Cloth, Tahiti Example B: Ornamental painting, Nineveh, Example C: Painted porcelain, China
Assyria

Examples A and B have the same wallpaper group; it is called p4m. Example C has a different wallpaper group,
called p4g. The fact that A and B have the same wallpaper group means that they have the same symmetries,
regardless of details of the designs, whereas C has a different set of symmetries despite any superficial similarities.
A complete list of all seventeen possible wallpaper groups can be found below.

Symmetries of patterns
A symmetry of a pattern is, loosely speaking, a way of transforming the pattern so that the pattern looks exactly the
same after the transformation. For example, translational symmetry is present when the pattern can be translated
(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.
Sometimes two categorizations are meaningful, one based on shapes alone and one also including colors. When
colors are ignored there may be more symmetry. In black and white there are also 17 wallpaper groups; e.g., a
colored tiling is equivalent with one in black and white with the colors coded radially in a circularly symmetric "bar
code" in the centre of mass of each tile.
The types of transformations that are relevant here are called Euclidean plane isometries. For example:
• If we shift example B one unit to the right, so that each square covers the square that was originally adjacent to it,
then the resulting pattern is exactly the same as the pattern we started with. This type of symmetry is called a
translation. Examples A and C are similar, except that the smallest possible shifts are in diagonal directions.
• If we turn example B clockwise by 90°, around the centre of one of the squares, again we obtain exactly the same
pattern. This is called a rotation. Examples A and C also have 90° rotations, although it requires a little more
ingenuity to find the correct centre of rotation for C.
• We can also flip example B across a horizontal axis that runs across the middle of the image. This is called a
reflection. Example B also has reflections across a vertical axis, and across two diagonal axes. The same can be
said for A.
However, example C is different. It only has reflections in horizontal and vertical directions, not across diagonal
axes. If we flip across a diagonal line, we do not get the same pattern back; what we do get is the original pattern
shifted across by a certain distance. This is part of the reason that the wallpaper group of A and B is different from
the wallpaper group of C.
Wallpaper group 56

History
All 17 groups were used by Egyptian craftsmen, and used extensively in the Muslim world. A proof that there were
only 17 possible patterns was first carried out by Evgraf Fedorov in 1891[1] and then derived independently by
George Pólya in 1924.[2] [3]

Formal definition and discussion
Mathematically, a wallpaper group or plane crystallographic group is a type of topologically discrete group of
isometries of the Euclidean plane that contains two linearly independent translations.
Two such isometry groups are of the same type (of the same wallpaper group) if they are the 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 no glide
reflections, and rotational symmetry is at most of order 2).
Unlike in the three-dimensional case, we can equivalently restrict the affine transformations to those that preserve
orientation.
It follows from the Bieberbach theorem that all wallpaper groups are different even as abstract groups (as opposed to
e.g. Frieze groups, of which two are isomorphic with Z).
2D patterns with double translational symmetry can be categorized according to their symmetry group type.

Isometries of the Euclidean plane
Isometries of the Euclidean plane fall into four categories (see the article Euclidean plane isometry for more
information).
• Translations, denoted by Tv, where v is a vector in R2. This has the effect of shifting the plane applying
displacement vector v.
• Rotations, denoted by Rc,θ, where c is a point in the plane (the centre of rotation), and θ is the angle of rotation.
• Reflections, or mirror isometries, denoted by FL, where L is a line in R2. (F is for "flip"). This has the effect of
reflecting the plane in the line L, called the reflection axis or the associated mirror.
• Glide reflections, denoted by GL,d, where L is a line in R2 and d is a distance. This is a combination of a
reflection in the line L and a translation along L by a distance d.

The independent translations condition
The condition on linearly independent translations means that there exist linearly independent vectors v and w (in
R2) such that the group contains both Tv and Tw.
The purpose of this condition is to distinguish wallpaper groups from frieze groups, which possess a translation but
not two linearly independent ones, and from two-dimensional discrete point groups, which have no translations at all.
In other words, wallpaper groups represent patterns that repeat themselves in two distinct directions, in contrast to
frieze groups, which only repeat along a single axis.
(It is possible to generalise this situation. We could for example study discrete groups of isometries of Rn with m
linearly independent translations, where m is any integer in the range 0 ≤ m ≤ n.)
Wallpaper group 57

The discreteness condition
The discreteness condition means that there is some positive real number ε, such that for every translation Tv in the
group, the vector v has length at least ε (except of course in the case that v is the zero vector).
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, we might have for
example a group containing the translation Tx for every rational number x, 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 the crystallographic restriction theorem,
and can be generalised to higher-dimensional cases.

Notations for wallpaper groups

Crystallographic notation
Crystallography has 230 space groups to distinguish, far more than the 17 wallpaper groups, but many of the
symmetries in the groups are the same. Thus we can use a similar notation for both kinds of groups, that of Carl
Hermann and Charles-Victor Mauguin. An example of a full wallpaper name in Hermann-Mauguin style is p31m,
with four letters or digits; more usual is a shortened name like cmm or pg.
For wallpaper groups the full notation begins with either p or c, for a primitive cell or a face-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 we choose that axis as
the main one (or if there are two, one of them). The symbols are either m, g, or 1, 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 (when n > 2) for the second letter. Many groups include other symmetries implied by the given ones.
The short notation drops digits or an m 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 crystal space groups uses additional cell types.
Examples
• p2 (p211): Primitive cell, 2-fold rotation symmetry, no mirrors or glide reflections.
• p4g (p4gm): Primitive cell, 4-fold rotation, glide reflection perpendicular to main axis, mirror axis at 45°.
• cmm (c2mm): Centred cell, 2-fold rotation, mirror axes both perpendicular and parallel to main axis.
• p31m (p31m): Primitive cell, 3-fold rotation, mirror axis at 60°.
Here are all the names that differ in short and full notation.
Wallpaper group 58

Crystallographic short and full names
Short p2 pm pg cm pmm pmg pgg cmm p4m p4g p6m

Full p211 p1m1 p1g1 c1m1 p2mm p2mg p2gg c2mm p4mm p4gm p6mm

The remaining names are p1, p3, p3m1, p31m, p4, and p6.

Orbifold notation
Orbifold notation for wallpaper groups, introduced by John Horton Conway (Conway, 1992), is based not on
crystallography, but on topology. We fold the infinite periodic tiling of the plane into its essence, an orbifold, then
describe that with a few symbols.
• A digit, n, indicates a centre of n-fold rotation corresponding to a cone point on the orbifold. By the
crystallographic restriction theorem, n must be 2, 3, 4, or 6.
• An asterisk, *, indicates a mirror symmetry corresponding to a boundary of the orbifold. It interacts with the
digits as follows:
1. Digits before * denote centres of pure rotation (cyclic).
2. Digits after * denote centres of rotation with mirrors through them, corresponding to "corners" on the
boundary of the orbifold (dihedral).
• A cross, x, occurs when a glide reflection is present and indicates a crosscap on the orbifold. Pure mirrors
combine with lattice translation to produce glides, but those are already accounted for so we do not notate them.
• The "no symmetry" symbol, o, stands alone, and indicates we have only lattice translations with no other
symmetry. The orbifold with this symbol is a torus; in general the symbol o denotes a handle on the orbifold.
Consider the group denoted in crystallographic notation by cmm; in Conway's notation, this will be 2*22. The 2
before the * says we have a 2-fold rotation centre with no mirror through it. The * itself says we have a mirror. The
first 2 after the * says we have a 2-fold rotation centre on a mirror. The final 2 says we have 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 by pgg will be 22x. We have two pure 2-fold rotation centres, and a glide reflection axis.
Contrast this with pmg, Conway 22*, where crystallographic notation mentions a glide, but one that is implicit in the
other symmetries of the orbifold.

Conway and crystallographic correspondence
Conway o xx *x ** 632 *632

Crystal. p1 pg cm pm p6 p6m

Conway 333 *333 3*3 442 *442 4*2

Crystal. p3 p3m1 p31m p4 p4m p4g

Conway 2222 22x 22* *2222 2*22

Crystal. p2 pgg pmg pmm cmm

Why there are exactly seventeen groups
An orbifold can be viewed as a polygon with face, edges, and vertices, which can be unfolded to form a possibly
infinite set of polygons which tile either the sphere, the plane or the hyperbolic plane. When it tiles the plane it will
give a wallpaper group and when it tiles the sphere or hyperbolic plane it gives either a spherical symmetry groups or
Hyperbolic symmetry group. The type of space the polygons tile can be found by calculating the Euler characteristic,
χ = V − E + F, where V is the number of corners (vertices), E is the number of edges and F is the number of faces. If
Wallpaper group 59

the Euler characteristic is positive then the orbifold has a 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, we 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 the order of the symmetry group.
The orbifold Euler characteristic is 2 minus the sum of the feature values, assigned as follows:
• A digit n before a * counts as (n−1)/n.
• A digit n after a * counts as (n−1)/2n.
• Both * and x count as 1.
• The "no symmetry" o counts as 2.
For a wallpaper group, the sum for the characteristic must be zero; thus the feature sum must be 2.
Examples
• 632: 5/6 + 2/3 + 1/2 = 2
• 3*3: 2/3 + 1 + 1/3 = 2
• 4*2: 3/4 + 1 + 1/4 = 2
• 22x: 1/2 + 1/2 + 1 = 2
Now enumeration of all wallpaper groups becomes a matter of arithmetic, of listing all feature strings with values
summing to 2.
Incidentally, 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 is hyperbolic; when positive, spherical or bad).

Guide to recognising wallpaper groups
To work out which wallpaper group corresponds to a given design, one may use the following table.

Size of Has reflection?
smallest
rotation Yes No

360° / 6 p6m p6

360° / 4 Has mirrors at 45°? p4

Yes: p4m No: p4g

360° / 3 Has rot. centre off mirrors? p3

Yes: p31m No: p3m1

360° / 2 Has perpendicular reflections? Has glide reflection?

Yes No

Has rot. centre off mirrors? pmg Yes: pgg No: p2

Yes: cmm No: pmm

none Has glide axis off mirrors? Has glide reflection?

Yes: cm No: pm Yes: pg No: p1

Wallpaper group 60

The seventeen groups
Each of the groups in this section has two cell structure diagrams, which are to be interpreted as follows:

a centre of rotation of order two (180°).

a centre of rotation of order three (120°̊).

a centre of rotation of order four (90°̊).

a centre of rotation of order six (60°).

an axis of reflection.

an axis of glide reflection.

On the right-hand side diagrams, different equivalence classes of symmetry elements are colored (and rotated)
differently.
The brown or yellow area indicates a fundamental domain, i.e. the smallest part of the pattern that is repeated.
The diagrams on the right show the cell of the lattice corresponding to the smallest translations; those on the left
sometimes show a larger area.

Group p1
• Orbifold notation: o.
• The group p1 contains only translations; there are no rotations,
reflections, or glide reflections.
Examples of group p1
Example and diagram for p1

Cell structure for p1

Cell structure for p1
Wallpaper group 61

Computer generated Mediæval wall diapering

The two translations (cell sides) can each have different lengths, and can form any angle.

Group p2
• Orbifold notation: 2222.
• The group p2 contains four rotation centres of order two (180°), but
no reflections or glide reflections.
Examples of group p2
Example and diagram for p2

Cell structure for p2

Cell structure for p2
Wallpaper group 62

Computer generated Cloth, Hawaiian Mat on which Ancient Egyptian mat (detail)
IslandsSandwich Islands EgyptEgyptian king stood
(Hawaii)

Ceiling of Ancient Wire fence, U.S.
EgyptEgyptian tomb

Group pm
• Orbifold notation: **.
• The group pm has no rotations. It has reflection axes, they are all
parallel.
Examples of group pm
(The first three have a vertical symmetry axis, and the last two each Example and diagram for pm

have a different diagonal one.)

Cell structure for pm
Wallpaper group 63

Cell structure for pm

Computer generated Dress of a figure in a tomb at Ancient EgyptEgyptian tomb, Ceiling of a tomb at Gourna,
Biban el Moluk, Ancient Thebes (Egypt)Thebes Ancient EgyptEgypt. Reflection
EgyptEgypt axis is diagonal.

Indian metalwork at the Great
Exhibition in 1851. This is
almost pm (ignoring short
diagonal lines between ovals
motifs, which make it #Group
p1p1).

Group pg
• Orbifold notation: xx.
• The group pg contains glide reflections only, and their axes are all
parallel. There are no rotations or reflections.
Examples of group pg
Example and diagram for pg
Wallpaper group 64

Cell structure for pg

Cell structure for pg

Computer generated Mat with herringbone Egyptian mat (detail) Pavement with herringbone
pattern on which Ancient pattern in Salzburg. Glide
EgyptEgyptian king stood reflection axis runs
northeast-southwest.
Wallpaper group 65

One of the colorings of the snub
square tiling; the glide reflection
lines are in the direction upper
left / lower right; ignoring colors
there is much more symmetry
than just pg, then it is p4g (see
there for this image with equally
colored triangles)It helps to
consider the squares as the
background, then we see a simple
patterns of rows of rhombuses.

Without the details inside the zigzag bands the mat is pmg; with the details but without the distinction between
brown and black it is pgg.
Ignoring the wavy borders of the tiles, the pavement is pgg.

Group cm
• Orbifold notation: *x.
• The group cm contains no rotations. It has reflection axes, all
parallel. There is at least one glide reflection whose axis is not a
reflection axis; it is halfway between two adjacent parallel reflection
axes.
This group applies for symmetrically staggered rows (i.e. there is a
shift per row of half the translation distance inside the rows) of
identical objects, which have a symmetry axis perpendicular to the
rows.
Cell structure for cm
Examples of group cm

Cell structure for cm
Wallpaper group 66

Computer generated Dress of Amun, from Abu Dado (architecture)Dado from Bronze vessel in Nimroud,
Simbel, Ancient EgyptEgypt Biban el Moluk, Ancient Assyria
EgyptEgypt

Spandrils of arches, Soffitt of arch, the Alhambra, Persian empirePersian Indian metalwork at the Great
the Alhambra, Spain tapestry Exhibition in 1851
Spain

Dress of a figure in a tomb at
Biban el Moluk, Ancient
EgyptEgypt

Group pmm
• Orbifold notation: *2222.
• The group pmm has reflections in two perpendicular directions, and
four rotation centres of order two (180°) located at the intersections
of the reflection axes.
Examples of group pmm Example and diagram for pmm
Wallpaper group 67

Cell structure for pmm

Cell structure for pmm

Computer generated 2D image of lattice fence, U.S. Mummy case stored in The Ceiling of Ancient
(in 3D there is additional Louvre EgyptEgyptian tomb. Ignoring
symmetry) minor asymmetries, this would
be cmm.

Mummy case stored in The Compact packing of two sizes of Another compact packing Another compact packing
Louvre. Would be type p4m circle. of two sizes of circle. of two sizes of circle.
except for the mismatched
coloring.
Wallpaper group 68

Group pmg
• Orbifold notation: 22*.
• The group pmg has two rotation centres of order two (180°), and
reflections in only one direction. It has glide reflections whose axes
are perpendicular to the reflection axes. The centres of rotation all
lie on glide reflection axes.
Example and diagram for pmg
Examples of group pmg

Cell structure for pmg

Cell structure for pmg

Computer generated Cloth, Hawaiian Ceiling of Ancient Floor tiling in Prague, the Czech
IslandsSandwich Islands EgyptEgyptian tomb Republic
(Hawaii)
Wallpaper group 69

Bowl from Kingdom of Pentagon packing
KermaKerma

Group pgg
• Orbifold notation: 22x.
• The group pgg contains two rotation centres of order two (180°),
and glide reflections in two perpendicular directions. The centres of
rotation are not located on the glide reflection axes. There are no
reflections.
Example and diagram for pgg
Examples of group pgg

Cell structure for pgg

Cell structure for pgg
Wallpaper group 70

Computer generated Bronze vessel in Nimroud, Assyria Pavement (roads)Pavement in Budapest,
Hungary. Glide reflection axes are diagonal.

Group cmm
• Orbifold notation: 2*22.
• The group cmm has reflections in two perpendicular directions, and
a rotation of order two (180°) whose centre is not on a reflection
axis. It also has two rotations whose centres are on a reflection axis.
• This group is frequently seen in everyday life, since the most
common arrangement of bricks in a brick building utilises this
group (see example below).
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
Cell structure for cmm properties.
The pattern corresponds to each of the following:
• symmetrically staggered rows of identical doubly symmetric objects
• a checkerboard pattern of two alternating rectangular tiles, of which
each, by itself, is doubly symmetric
• a checkerboard pattern of alternatingly a 2-fold rotationally
symmetric rectangular tile and its mirror image
Examples of group cmm

Cell structure for cmm
Wallpaper group 71

Computer generated one of the 8 Tilings of regular Suburban brick wall, U.S. Ceiling of Ancient
polygons#Archimedean, EgyptEgyptian tomb. Ignoring
uniform or semiregular colors, this would be #Group
tilingssemi-regular p4gp4g.
tessellations; ignoring color this
is this group cmm, otherwise
group p1

Ancient EgyptEgyptian Persian Ancient EgyptEgyptian tomb Turkic peoplesTurkish dish
empirePersian
tapestry

Group p4
• Orbifold notation: 442.
• The group p4 has two rotation centres of order four (90°̊), and one
rotation centre of order two (180°̊). It has no reflections or glide
reflections.
Examples of group p4 Example and diagram for p4

A p4 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 a checkerboard pattern of two such
tiles, a factor smaller and rotated 45°.
Wallpaper group 72

Cell structure for p4

Cell structure for p4

Computer generated Ceiling of Ancient Ceiling of Ancient Frieze, the Alhambra, Spain.
EgyptEgyptian tomb; EgyptEgyptian tomb Requires close inspection to see
ignoring colors this is p4, why there are no reflections.
otherwise #Group p2p2

Viennese cane Renaissance earthenware
Wallpaper group 73

Group p4m
• Orbifold notation: *442.
• The group p4m has two rotation centres of order four (90°), and
reflections in four distinct directions (horizontal, vertical, and
diagonals). It has additional glide reflections whose axes are not
reflection axes; rotations of order two (180°) are centred at the
Example and diagram for p4m
intersection of the glide reflection axes. All rotation centres lie on
reflection axes.

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

Cell structure for p4m

Cell structure for p4m

Computer generated one of the 3 Tilings of regular Tetrakis square one of the 8 Tilings of regular
polygons#Regular tilingsregular tilingDemiregular tiling with polygons#Archimedean, uniform
tessellations (in this triangles; ignoring colors, this is or semiregular
checkerboard coloring, smallest p4m, otherwise #Group tilingssemi-regular tessellations
translations are diagonal) cmmcmm (ignoring color also, with smaller
translations)
Wallpaper group 74

Ornamental painting, Storm drain, U.S. Ancient EgyptEgyptian Persian EmpirePersian glaze
Nineveh, Assyria mummy case (painting technique)glazed
tile

Compact packing of two sizes of
circle.

Examples displayed with the smallest translations diagonal (like on a checkerboard):

Cloth, Otaheite Ancient Cathedral of Bourges Dish from Turkey,
(Tahiti) EgyptEgyptian tomb Ottoman
EmpireOttoman
period

Group p4g
• Orbifold notation: 4*2.
• The group p4g has two centres of rotation of order four (90°), which
are each other's mirror image, but it has reflections in only two
directions, which are perpendicular. There are rotations of order two
(180°) whose centres are located at the intersections of reflection
Example and diagram for p4g
axes. It has glide reflections axes parallel to the reflection axes, in
between them, and also at an angle of 45° with these.

A p4g pattern can be looked upon as a checkerboard pattern of copies of a square tile with 4-fold rotational
symmetry, and its mirror image.
Wallpaper group 75

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 group p4m
(with diagonal translation cells).
Note that the diagram on the left represents in area twice the smallest
square that is repeated by translation.
Examples of group p4g

Cell structure for p4g

Cell structure for p4g

Computer generated Bathroom linoleum, U.S. Painted porcelain, China Fly screen, U.S.

Painting, China one of the colorings of the snub
Wallpaper group 76

Group p3
• Orbifold notation: 333.
• The group p3 has three different rotation centres of order three
(120°), but no reflections or glide reflections.
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
Cell structure for p3 (the rotation centres at the the same orientation are equal, while both types have rotational
centres of the triangles are not shown) 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 we have p6,
if they are each other's mirror image we have p31m, if they are both
symmetric we have p3m1; if two of the three apply then the third also,
and we have p6m). 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,
Cell structure for p3
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 we have p6, if they are symmetric with respect to the main
diagonals we have p31m, if they are symmetric with respect to lines perpendicular to the sides we have p3m1; if two
of the three apply then the third also, and we have p6m). 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.

Examples of group p3

Computer generated one of the 8 Tilings of Street pavement in Wall tiling in the Alhambra,
regular Zakopane, Poland Spain (and the whole wall);
polygons#Archimedean, ignoring all colors this is p3
uniform or semiregular (ignoring only star colors it is
tilingssemi-regular #Group p1p1)
tessellations (ignoring the
colors: p6); the translation
vectors are rotated a little to
the right compared with the
directions in the underlying
hexagonal lattice of the
image
Wallpaper group 77

Group p3m1
• Orbifold notation: *333.
• The group p3m1 has three different rotation centres of order three
(120°). It has reflections in the three sides of an equilateral triangle.
The centre of every rotation lies on a reflection axis. There are
additional glide reflections in three distinct directions, whose axes
Example and diagram for p3m1
are located halfway between adjacent parallel reflection axes.
Like for p3, 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
Cell structure for p3m1
centres as vertices. In terms of the image: the vertices can be the red,
the dark blue or the green triangles.

Examples of group p3m1

Cell structure for p3m1

one of the 3 Tilings of regular another regular tessellation one of the 8 Tilings of regular Persian EmpirePersian
polygons#Regular tilingsregular (ignoring colors: p6m) polygons#Archimedean, uniform glaze (painting
tessellations (ignoring colors: or semiregular technique)glazed tile
p6m) tilingssemi-regular tessellations (ignoring colors: p6m)
(ignoring colors: p6m)
Wallpaper group 78

Persian EmpirePersian ornament Painting, China (see detailed Computer generated Compact packing of two
image) sizes of circle.

Group p31m
• Orbifold notation: 3*3.
• The group p31m has three different rotation centres of order three
(120°), of which two are each other's mirror image. It has reflections
in three distinct directions. It has at least one rotation whose centre
does not lie on a reflection axis. There are additional glide
Example and diagram for p31m
reflections in three distinct directions, whose axes are located
halfway between adjacent parallel reflection axes.

Like for p3 and p3m1, 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 Cell structure for p31m

image: the vertices can not be dark blue triangles.

Examples of group p31m

Cell structure for p31m
Wallpaper group 79

Persian empirePersian glaze Painted porcelain, China Painting, China Computer generated
(painting technique)glazed
tile

Group p6
• Orbifold notation: 632.
• The group p6 has one rotation centre of order six (60°); it has also
two rotation centres of order three, which only differ by a rotation
of 60° (or, equivalently, 180°), and three of order two, which only
differ by a rotation of 60°. It has no reflections or glide reflections.
Example and diagram for p6
A pattern with this symmetry can be looked upon as a tessellation of
the plane with equal triangular tiles with C3 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).
Examples of group p6

Cell structure for p6

Cell structure for p6
Wallpaper group 80

Computer generated Wall panelling, the Alhambra, Spain Persian EmpirePersian
ornament

Group p6m
• Orbifold notation: *632.
• The group p6m has one rotation centre of order six (60°); it has also
two rotation centres of order three, which only differ by a rotation
of 60° (or, equivalently, 180°), and three of order two, which only
differ by a rotation of 60°. It has also reflections in six distinct
Example and diagram for p6m
directions. There are additional glide reflections in six distinct
directions, whose axes are located halfway between adjacent
parallel reflection axes.

A pattern with this symmetry can be looked upon as a tessellation of
the plane with equal triangular tiles with D3 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 a triangular lattice with or without connecting
lines, and a hexagonal tiling with one color for outlining the hexagons
Cell structure for p6m
and one for the background.

Examples of group p6m

Cell structure for p6m
Wallpaper group 81

Computer generated one of the 8 Tilings of regular another semi-regular another semi-regular
polygons#Archimedean, tessellation tessellation
uniform or semiregular
tilingssemi-regular
tessellations

Persian empirePersian glaze King's dress, Bronze vessel in Byzantine
(painting technique)glazed tile Khorsabad, Assyria; Nimroud, Assyria artByzantine marble
this is almost p6m pavement, Rome
(ignoring inner parts
of flowers, which
make it #Group
cmmcmm)

Painted porcelain, China Painted porcelain, China Compact packing of two sizes of Another compact packing of two
circle. sizes of circle.

Lattice types
There are five lattice types, 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.
• In the 5 cases of rotational symmetry of order 3 or 6, the cell consists of two equilateral triangles (hexagonal
lattice, itself p6m).
• In the 3 cases of rotational symmetry of order 4, the cell is a square (square lattice, itself p4m).
• In the 5 cases of reflection or glide reflection, but not both, the cell is a rectangle (rectangular lattice, itself pmm),
therefore the diagrams show a rectangle, but a special case is that it actually is a square.
Wallpaper group 82

• In the 2 cases of reflection combined with glide reflection, the cell is a rhombus (rhombic lattice, itself cmm); a
special case is that it actually is a square.
• In the case of only rotational symmetry of order 2, and the case of no other symmetry than translational, the cell is
in general a parallelogram (parallelogrammatic lattice, itself p2), therefore the diagrams show a parallelogram,
but special cases are that it actually is a rectangle, rhombus, or square.

Symmetry groups
The actual symmetry 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 of degrees of freedom are:
• 6 for p2
• 5 for pmm, pmg, pgg, and cmm
• 4 for the rest.
However, within each wallpaper group, all symmetry groups are algebraically isomorphic.
Some symmetry group isomorphisms:
• p1: Z2
• pm: Z × D∞
• pmm: D∞ × D∞.

Dependence of wallpaper groups on transformations
• The wallpaper group of a pattern is invariant under isometries and uniform scaling (similarity transformations).
• Translational symmetry is preserved under arbitrary bijective affine transformations.
• Rotational symmetry of order two ditto; this means also that 4- and 6-fold rotation centres at least keep 2-fold
rotational symmetry.
• Reflection in a line and glide reflection are preserved on expansion/contraction along, or perpendicular to, the axis
of reflection and glide reflection. It changes p6m, p4g, and p3m1 into cmm, p3m1 into cm, and p4m, depending
on direction of expansion/contraction, into pmm or cmm. A pattern of symmetrically staggered rows of points is
special in that it can convert by expansion/contraction from p6m to p4m.
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.
Wallpaper group 83

Web demo and software
There exist several software graphic tools that 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.
• MadPattern [5], a free set of Adobe Illustrator templates that support the 17 wallpaper groups
• Tess [6], a nagware tessellation program for multiple platforms, supports all wallpaper, frieze, and rosette groups,
as well as Heesch tilings.
• Kali [7], online graphical symmetry editor applet.
• Inkscape, a free vector graphics editor, supports all 17 groups plus arbitrary scales, shifts, rotates, and color
changes per row or per column, optionally randomized to a given degree. (See [9])
• SymmetryWorks [10] is a commercial plugin for Adobe Illustrator, supports all 17 groups.
• Arabeske [11] is a free standalone tool, supports a subset of wallpaper groups.

Notes
[1] E. Fedorov (1891) "Simmetrija na ploskosti" [Symmetry in the plane], Zapiski Imperatorskogo Sant-Petersburgskogo Mineralogicheskogo
Obshchestva [Proceedings of the Imperial St. Petersburg Mineralogical Society], series 2, vol. 28, pages 345-291 (in Russian).
[2] George Pólya (1924) "Über die Analogie der Kristallsymmetrie in der Ebene," Zeitschrift für Kristallographie, vol. 60, pages 278–282.
[3] Weyl, Hermann (1952), Symmetry, Princeton University Press, ISBN 0-691-02374-3
[4] It helps to consider the squares as the background, then we see a simple patterns of rows of rhombuses.
[5] http:/ / www. madpattern. com/
[6] http:/ / www. peda. com/ tess/
[7] http:/ / www. scienceu. com/ geometry/ handson/ kali/
[8] http:/ / www. geometrygames. org/ Kali/ index. html
[9] http:/ / tavmjong. free. fr/ INKSCAPE/ MANUAL/ html/ Tiles-Symmetries. html
[10] http:/ / www. artlandia. com/ products/ SymmetryWorks/
[11] http:/ / www. wozzeck. net/ arabeske/ index. html

References
• The Grammar of Ornament (http://www.animationarchive.org/2006/04/
media-grammar-of-ornament-part-one.html) (1856), by Owen Jones. Many of the images in this article are from
this book; it contains many more.
• J. H. Conway (1992). "The Orbifold Notation for Surface Groups". In: M. W. Liebeck and J. Saxl (eds.), Groups,
Combinatorics and Geometry, Proceedings of the L.M.S. Durham Symposium, July 5–15, Durham, UK, 1990;
London Math. Soc. Lecture Notes Series 165. Cambridge University Press, Cambridge. pp. 438–447
• Grünbaum, Branko; Shephard, G. C. (1987): Tilings and Patterns. New York: Freeman. ISBN 0-7167-1193-1.
• Pattern Design, Lewis F. Day
Wallpaper group 84

• The 17 plane symmetry groups (http://www.clarku.edu/~djoyce/wallpaper/seventeen.html) by David E.
Joyce
• Introduction to wallpaper patterns (http://www.geom.uiuc.edu/education/math5337/Wallpaper/introduction.
html) by Chaim Goodman-Strauss and Heidi Burgiel
• Description (http://www.geom.uiuc.edu/docs/reference/CRC-formulas/node12.html) by Silvio Levy
• Example tiling for each group, with dynamic demos of properties (http://clowder.net/hop/17walppr/17walppr.
html)
• Overview with example tiling for each group (http://www.math.toronto.edu/~drorbn/Gallery/Symmetry/
Tilings/Sanderson/index.html)
• Tiling plane and fancy (http://www.spsu.edu/math/tile/) by Steve Edwards
• Escher Web Sketch, a java applet with interactive tools for drawing in all 17 plane symmetry groups (http://
escher.epfl.ch/escher/)
• Burak, a Java applet for drawing symmetry groups. (http://www-viz.tamu.edu/faculty/ergun/research/
artisticdepiction/symmetric/program/index.html)
• Beobachtungen zum geometrischen Motiv der Pelta (http://www.peltenwirbel.de/)
• Seventeen Kinds of Wallpaper Patterns (http://mathmuse.sci.ibaraki.ac.jp/pattrn/PatternE.html) the 17
symmetries found in traditional Japanese patterns.
• Math on the Walls- Natalie Wolchover (http://www.factodiem.com/2010/09/wallpaper-math.html)
Article Sources and Contributors 85

Article Sources and Contributors
List of spherical symmetry groups  Source: http://en.wikipedia.org/w/index.php?oldid=338505211  Contributors: CambridgeBayWeather, Charles Matthews, F1f2f3f4, Giants27, Giftlite, Jitse
Niesen, KSmrq, Linas, Michael Hardy, Patrick, Rich Farmbrough, Tamfang, Tomruen, Woohookitty, 3 anonymous edits

List of planar symmetry groups  Source: http://en.wikipedia.org/w/index.php?oldid=365554506  Contributors: 345Kai, Charles Matthews, Doctormatt, KSmrq, Patrick, Tomruen, Weston.pace,
Winhunter, ZeroOne

Dihedral symmetry in three dimensions  Source: http://en.wikipedia.org/w/index.php?oldid=409235355  Contributors: Chuunen Baka, FyShu^, Jim.belk, KSmrq, Maksim-e, Michael Hardy,
Oleg Alexandrov, Patrick, Quibik, SMasters, Tomruen, Wayne Miller, 3 anonymous edits

Tetrahedral symmetry  Source: http://en.wikipedia.org/w/index.php?oldid=369615802  Contributors: AndrewKepert, Euclidthegreek, Experiment123, Fropuff, Giftlite, JackSchmidt,
JamesBWatson, Maksim-e, MatthewMain, Nbarth, Noe, Pak21, Patrick, Professor Fiendish, Raven4x4x, Schutz, Tohd8BohaithuGh1, Tomruen, 7 anonymous edits

Octahedral symmetry  Source: http://en.wikipedia.org/w/index.php?oldid=365533508  Contributors: 4C, Baccyak4H, Experiment123, Fropuff, Giftlite, JackSchmidt, Jwanders, Katzmik,
Maksim-e, Mets501, Mysid, Pak21, Patrick, Paul D. Anderson, Pjvpjv, Saxbryn, Stannered, Tomruen, 4 anonymous edits

Icosahedral symmetry  Source: http://en.wikipedia.org/w/index.php?oldid=405953029  Contributors: BD2412, Baccyak4H, Charles Matthews, ChrisRuvolo, Colonies Chris, Dendrophilos,
DrBob, Euclidthegreek, Experiment123, Fropuff, Giftlite, Jim.belk, Koavf, Maksim-e, Michael Hardy, Nbarth, Oleg Alexandrov, Ospalh, Patrick, Paul D. Anderson, Sango123, Stephen Bain,
Tintazul, Tomruen, Woscafrench, 12 anonymous edits

Cyclic symmetries  Source: http://en.wikipedia.org/w/index.php?oldid=345482886  Contributors: Oleg Alexandrov, Patrick, TheLimbicOne, Tomruen, 1 anonymous edits

Reflection symmetry  Source: http://en.wikipedia.org/w/index.php?oldid=409083350  Contributors: Abu-Fool Danyal ibn Amir al-Makhiri, Adam majewski, Allmightyduck, AmosWolfe,
AndrewHowse, Anomaly1, Byeee, CanadianLinuxUser, Ceyockey, Charles Matthews, Davwillev, Dbiel, Eaefremov, Enormousdude, Favonian, Fifelfoo, Gadfium, GainLine, Gandalf61, Giftlite,
Husond, Incnis Mrsi, JStor, JWilk, Japanese Searobin, Jedibob5, Johnuniq, Jtir, Kayau, Kitkatkool, Linas, Loggie, MathsIsFun, Mxn, Nsaa, Oleg Alexandrov, OverlordQ, Pampas Cat, Pasajero,
Patrick, Paul August, Paul D. Anderson, Pfalstad, Pontificake, RJASE1, Ronhjones, RoyBoy, Siddhanteocker, Sitehut, Skater, Smack, The Thing That Should Not Be, TheLimbicOne, Tide rolls,
Ummit, Useight, WeLeb14, Woohookitty, Yaragn, Zaslav, 71 anonymous edits

Inverse (mathematics)  Source: http://en.wikipedia.org/w/index.php?oldid=318111010  Contributors: CBM, Ciphers, Funandtrvl, Krishnachandranvn, Lambiam, Oleg Alexandrov, Patrick,
PhotoBox, Rgdboer, So9q, The Great Redirector, 9 anonymous edits

Point groups in three dimensions  Source: http://en.wikipedia.org/w/index.php?oldid=397756821  Contributors: AndrewKepert, Baccyak4H, Bduke, Charles Matthews, Colonies Chris, Crystal
whacker, DMacks, Dalf, DrBob, Eg-T2g, Eric Kvaalen, Fratrep, Giftlite, Itub, Jim.belk, KSmrq, Mets501, Michael Hardy, Nbarth, Noe, Oakwood, Oleg Alexandrov, Oysteinp, Pak21, Patrick,
R.e.b., Tamfang, TheLimbicOne, Tobias Bergemann, Tomruen, Woohookitty, Zundark, 15 anonymous edits

Cyclic group  Source: http://en.wikipedia.org/w/index.php?oldid=408480709  Contributors: A2r4e1, Arcfrk, Arthur Rubin, Arved, AxelBoldt, Bentong Isles, Charles Matthews, Colonies Chris,
DYLAN LENNON, David Eppstein, David.kaplan, DavidHouse, Dbenbenn, Dcoetzee, Deville, DniQ, Drschawrz, Dysprosia, Elroch, Eric Kvaalen, Fadereu, Fibonacci, Giftlite, Greg Kuperberg,
Grubber, Hao2lian, Harrisonmetz, Helder.wiki, HellFire, Herbee, Ht686rg90, Iridescent, JackSchmidt, Jakob.scholbach, Jim.belk, Jjalexand, Joth, Juan Marquez, Kilva, LOL, Lambiam,
LarryLACa, Linas, Lowellian, MathMartin, Michael Hardy, Michael Slone, Mike409, Minesweeper, Nahkh, Nubiatech, Obradovic Goran, PAR, Pako, Patrick, Paul D. Anderson, Pbroks13,
Peruvianllama, Phys, PierreAbbat, Pocketfox, Raven in Orbit, Revolver, Rvollmert, SMP, Salix alba, Schildt.a, Selfworm, Seqsea, Siroxo, Sleske, Spindled, TakuyaMurata, Tarquin, The Stickler,
Tosha, Vipul, Weregerbil, Zundark, 46 anonymous edits

Dihedral group  Source: http://en.wikipedia.org/w/index.php?oldid=407842612  Contributors: 4C, Albmont, AugPi, AxelBoldt, Babomb, Baccyak4H, Bender2k14, Bkell, Bobo192, Charles
Matthews, Chas zzz brown, CommonsDelinker, Dalf, David Radcliffe, Denelson83, Derek farn, Doubtingapostle, Dougofborg, DrBob, Dysprosia, Eliadtsai, Enchanter, Experiment123, Fropuff,
Gabbe, Gauge, Giftlite, Hammer Raccoon, Happy-melon, Heath.gerhardt, Hetar, Idiazabal, Incnis Mrsi, JackSchmidt, Jim.belk, Jleedev, JoshuaZ, Kevin Lamoreau, LOL, MSGJ, Michael Hardy,
Miyagawa, MrRedwood, Nbarth, Niteowlneils, PAR, Patrick, Paul August, PierreAbbat, Pleasantville, Prumpf, Rghthndsd, Rjwilmsi, Shahab, Tomruen, Tosha, Turgidson, Zundark, 33
anonymous edits

Lattice (group)  Source: http://en.wikipedia.org/w/index.php?oldid=406367782  Contributors: Anonymous anonymous, Arcfrk, AxelBoldt, Bandwidthjunkie, Charles Matthews, David Eppstein,
Flammifer, Flandre, Gene Ward Smith, Giftlite, Gregbard, Gvozdet, GyRo567, Hrushikesh Tilak, Ilmari Karonen, Jim.belk, Jitse Niesen, Js coron, Justin W Smith, Linas, Lopkiol, Matusz,
McKay, Merewyn, Michael Hardy, Mikespedia, Msh210, Natalya, Natox, Patrick, R.e.b., Simetrical, Stebulus, Sverigekillen, Tobias Bergemann, Twri, Underdog, Zhw, Zundark, 33 anonymous
edits

Wallpaper group  Source: http://en.wikipedia.org/w/index.php?oldid=406317983  Contributors: 99of9, Ahoerstemeier, Anomalocaris, AnomalousArtemis, Asmeurer, BigrTex, C S,
Calculuslover, CesarB, Charles Matthews, Cimon Avaro, CommonsDelinker, Cwkmail, David Eppstein, Dmharvey, Dogears, Fibonacci, Gaius Cornelius, Giftlite, Greg Kuperberg, Hajor,
HenkvD, JaGa, JackSchmidt, Jeff3000, Jim.belk, John Baez, Johntinker, Joseph Myers, KSmrq, Karlscherer3, Keenan Pepper, Kjoonlee, Lasunncty, Lowellian, Madmarigold, Magicmonster,
Maproom, Martin von Gagern, Mayooranathan, Mhym, Michael Hardy, Mordomo, Mpatel, Nevit, Noe, Oleg Alexandrov, P0lyglut, Pak21, Paolo.dL, Patrick, Paul D. Anderson, Pengo, Phys,
Prodego, RDBury, Rich Farmbrough, Salix alba, Schneelocke, Sculleyjp, Seberle, SilentC, Tedder, TimBentley, Titian1962, Tkircher, Tomruen, Tosha, Trapolator, Wikidsoup, Woohookitty, 73
anonymous edits
Image Sources, Licenses and Contributors 86

Image:Sphere_symmetry_group_d2.png  Source: http://en.wikipedia.org/w/index.php?title=File:Sphere_symmetry_group_d2.png  License: Public Domain  Contributors: User:Tomruen
Image:Sphere_symmetry_group_d3.png  Source: http://en.wikipedia.org/w/index.php?title=File:Sphere_symmetry_group_d3.png  License: Public Domain  Contributors: Tom Ruen
Image:Sphere_symmetry_group_d2h.png  Source: http://en.wikipedia.org/w/index.php?title=File:Sphere_symmetry_group_d2h.png  License: Public Domain  Contributors: Maksim,
Nonenmac
Image:Sphere_symmetry_group_d3h.png  Source: http://en.wikipedia.org/w/index.php?title=File:Sphere_symmetry_group_d3h.png  License: Public Domain  Contributors: Maksim,
Nonenmac
Image:Sphere symmetry group d2d.png  Source: http://en.wikipedia.org/w/index.php?title=File:Sphere_symmetry_group_d2d.png  License: Public Domain  Contributors:
Image:Sphere symmetry group d3d.png  Source: http://en.wikipedia.org/w/index.php?title=File:Sphere_symmetry_group_d3d.png  License: Public Domain  Contributors:
Image:Sphere symmetry group t.png  Source: http://en.wikipedia.org/w/index.php?title=File:Sphere_symmetry_group_t.png  License: Public Domain  Contributors: Maksim
Image:Sphere symmetry group td.png  Source: http://en.wikipedia.org/w/index.php?title=File:Sphere_symmetry_group_td.png  License: Public Domain  Contributors: Tomruen
Image:Sphere symmetry group th.png  Source: http://en.wikipedia.org/w/index.php?title=File:Sphere_symmetry_group_th.png  License: Public Domain  Contributors: Maksim
Image:Sphere symmetry group o.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Sphere_symmetry_group_o.svg  License: Public Domain  Contributors: User:Tomruen
Image:Sphere symmetry group oh.png  Source: http://en.wikipedia.org/w/index.php?title=File:Sphere_symmetry_group_oh.png  License: Public Domain  Contributors: Maksim
Image:Sphere symmetry group i.png  Source: http://en.wikipedia.org/w/index.php?title=File:Sphere_symmetry_group_i.png  License: Public Domain  Contributors: Maksim
Image:Sphere symmetry group ih.png  Source: http://en.wikipedia.org/w/index.php?title=File:Sphere_symmetry_group_ih.png  License: Public Domain  Contributors: Maksim
Image:Sphere symmetry group c1.png  Source: http://en.wikipedia.org/w/index.php?title=File:Sphere_symmetry_group_c1.png  License: Public Domain  Contributors: Maksim
Image:Sphere symmetry group_c2.png  Source: http://en.wikipedia.org/w/index.php?title=File:Sphere_symmetry_group_c2.png  License: Public Domain  Contributors: Tomruen
Image:Sphere_symmetry_group_cs.png  Source: http://en.wikipedia.org/w/index.php?title=File:Sphere_symmetry_group_cs.png  License: Public Domain  Contributors: Maksim
Image:Sphere_symmetry_group_c2v.png  Source: http://en.wikipedia.org/w/index.php?title=File:Sphere_symmetry_group_c2v.png  License: Public Domain  Contributors: Maksim, Verne
Equinox
Image:Sphere_symmetry_group_c3v.png  Source: http://en.wikipedia.org/w/index.php?title=File:Sphere_symmetry_group_c3v.png  License: Public Domain  Contributors: Maksim, Verne
Equinox
Image:Sphere symmetry group c2h.png  Source: http://en.wikipedia.org/w/index.php?title=File:Sphere_symmetry_group_c2h.png  License: Public Domain  Contributors: Tomruen
Image:Sphere symmetry group ci.png  Source: http://en.wikipedia.org/w/index.php?title=File:Sphere_symmetry_group_ci.png  License: Public Domain  Contributors: Tomruen
File:GeometricKite.svg  Source: http://en.wikipedia.org/w/index.php?title=File:GeometricKite.svg  License: Public Domain  Contributors: User:Drini
Image:Flag of Hong Kong.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Flag_of_Hong_Kong.svg  License: Public Domain  Contributors: Designed by
Image:frieze2b.png  Source: http://en.wikipedia.org/w/index.php?title=File:Frieze2b.png  License: GNU Free Documentation License  Contributors: HenkvD, Ronaldino, 1 anonymous edits
Image:Wallpaper group diagram p2.png  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_p2.png  License: Public Domain  Contributors: User:Martin von
Gagern
Image:Wallpaper group diagram p4.png  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_p4.png  License: Public Domain  Contributors: User:Martin von
Gagern
Image:Wallpaper group diagram p3.png  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_p3.png  License: Public Domain  Contributors: User:Martin von
Gagern
Image:Wallpaper group diagram p6.png  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_p6.png  License: Public Domain  Contributors: User:Martin von
Gagern
Image:Wallpaper group diagram pmm.png  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_pmm.png  License: Public Domain  Contributors: User:Martin
von Gagern
Image:Wallpaper group diagram cmm.png  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_cmm.png  License: Public Domain  Contributors: User:Martin
von Gagern
Image:Wallpaper group diagram p4m.png  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_p4m.png  License: Public Domain  Contributors: Denniss,
Patrick, Zscout370
Image:Wallpaper group diagram p6mm.png  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_p6mm.png  License: Public Domain  Contributors:
User:Martin von Gagern
Image:Wallpaper group diagram p3m1.png  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_p3m1.png  License: Public Domain  Contributors: User:Martin
von Gagern
Image:Wallpaper group diagram p31m.png  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_p31m.png  License: Public Domain  Contributors: User:Martin
von Gagern
Image:Wallpaper group diagram p4g.png  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_p4g.png  License: Public Domain  Contributors: Denniss, Patrick,
Zscout370
Image:Wallpaper group diagram pm.png  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_pm.png  License: Public Domain  Contributors: User:Martin von
Gagern
Image:Wallpaper group diagram p1.png  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_p1.png  License: Public Domain  Contributors: User:Martin von
Gagern
Image:Wallpaper group diagram pg.png  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_pg.png  License: Public Domain  Contributors: User:Martin von
Gagern
Image:Wallpaper group diagram pmg.png  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_pmg.png  License: Public Domain  Contributors: User:Martin
von Gagern
Image:Wallpaper group diagram cm.png  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_cm.png  License: Public Domain  Contributors: User:Martin von
Gagern
Image:Wallpaper group diagram pgg.png  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_pgg.png  License: Public Domain  Contributors: User:Martin von
Gagern
Image:Geometricprisms.gif  Source: http://en.wikipedia.org/w/index.php?title=File:Geometricprisms.gif  License: Public Domain  Contributors: Maksim
Image:Pentagrammic prism.png  Source: http://en.wikipedia.org/w/index.php?title=File:Pentagrammic_prism.png  License: unknown  Contributors: Tomruen
Image:Pentagrammic antiprism.png  Source: http://en.wikipedia.org/w/index.php?title=File:Pentagrammic_antiprism.png  License: unknown  Contributors: Tomruen
Image:Snub square antiprism.png  Source: http://en.wikipedia.org/w/index.php?title=File:Snub_square_antiprism.png  License: GNU Free Documentation License  Contributors: Jidari,
SharkD
Image:Pentagrammic crossed antiprism.png  Source: http://en.wikipedia.org/w/index.php?title=File:Pentagrammic_crossed_antiprism.png  License: unknown  Contributors: Tomruen
Image:Trapezohedron5.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Trapezohedron5.jpg  License: GNU Free Documentation License  Contributors: Hellisp, Joseolgon, Snaily
Image:antiprism17.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Antiprism17.jpg  License: GNU Free Documentation License  Contributors: Geniac, Hellisp, Nonenmac, Pieter
Kuiper, Snaily
Image Sources, Licenses and Contributors 87

image:tetrahedron.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Tetrahedron.jpg  License: GNU Free Documentation License  Contributors: Dbenbenn, Kjell André, Matthias M.,
Quasipalm, SharkD, Warden
Image:Tetrahedral group 2.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Tetrahedral_group_2.svg  License: GNU Free Documentation License  Contributors: User Debivort on
en.wikipedia
image:Gaelic football ball.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Gaelic_football_ball.jpg  License: GNU Free Documentation License  Contributors: Kanchelskis,
TFCforever
Image:Snub tetrahedron.png  Source: http://en.wikipedia.org/w/index.php?title=File:Snub_tetrahedron.png  License: unknown  Contributors: Frankee 67, GeorgHH, Kilom691, MrBogus,
RosarioVanTulpe, Sanbec
Image:Tetrahemihexahedron.png  Source: http://en.wikipedia.org/w/index.php?title=File:Tetrahemihexahedron.png  License: unknown  Contributors: Jidari
Image:Octahemioctahedron 3-color.png  Source: http://en.wikipedia.org/w/index.php?title=File:Octahemioctahedron_3-color.png  License: Public Domain  Contributors: User:Tomruen
image:hexahedron.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Hexahedron.jpg  License: GNU Free Documentation License  Contributors: Dbenbenn, Kjell André, Matthias M.,
Quasipalm, SharkD, Str4nd, WikipediaMaster, 1 anonymous edits
4C
Cyberpunk, EugeneZelenko, Lipedia, SharkD, Tintazul
image:triakisoctahedron.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Triakisoctahedron.jpg  License: GNU Free Documentation License  Contributors: Angr, Maxim Razin,
Image:Stella octangula.png  Source: http://en.wikipedia.org/w/index.php?title=File:Stella_octangula.png  License: Public Domain  Contributors: User:Fropuff
File:Sphere symmetry group i.png  Source: http://en.wikipedia.org/w/index.php?title=File:Sphere_symmetry_group_i.png  License: Public Domain  Contributors: Maksim
File:Sphere symmetry group ih.png  Source: http://en.wikipedia.org/w/index.php?title=File:Sphere_symmetry_group_ih.png  License: Public Domain  Contributors: Maksim
File:Icosahedron.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Icosahedron.jpg  License: GNU Free Documentation License  Contributors: Bukk, Dbenbenn, Juiced lemon, Kjell
André, Matthias M., Nevit, Quasipalm, SharkD
Hellisp, Paddy, SharkD, Tropylium, 1 anonymous edits
Image Sources, Licenses and Contributors 88

Image:Parallelepipedon.png  Source: http://en.wikipedia.org/w/index.php?title=File:Parallelepipedon.png  License: Public Domain  Contributors: User:Sverdrup
Image:Square pyramid.png  Source: http://en.wikipedia.org/w/index.php?title=File:Square_pyramid.png  License: GNU Free Documentation License  Contributors: Jidari, Man vyi, SharkD,
Tamorlan
Image:Elongated square pyramid.png  Source: http://en.wikipedia.org/w/index.php?title=File:Elongated_square_pyramid.png  License: GNU Free Documentation License  Contributors: Jidari,
SharkD
Image:Pentagonal pyramid.png  Source: http://en.wikipedia.org/w/index.php?title=File:Pentagonal_pyramid.png  License: GNU Free Documentation License  Contributors: GDK, Jidari,
Image:Symmetry.png  Source: http://en.wikipedia.org/w/index.php?title=File:Symmetry.png  License: unknown  Contributors: User:Dbc334
Derlay, 1 anonymous edits
Image:Volleyball seams diagram.png  Source: http://en.wikipedia.org/w/index.php?title=File:Volleyball_seams_diagram.png  License: Public Domain  Contributors: Tamfang
Image:GroupDiagramMiniC2C4.png  Source: http://en.wikipedia.org/w/index.php?title=File:GroupDiagramMiniC2C4.png  License: Public Domain  Contributors: Helder.wiki, Irigi,
Joey-das-WBF, Kilom691, Nbarth
Image:GroupDiagramMiniC2C6.png  Source: http://en.wikipedia.org/w/index.php?title=File:GroupDiagramMiniC2C6.png  License: Public Domain  Contributors: Irigi, 1 anonymous edits
Image:GroupDiagramMiniC2C8.png  Source: http://en.wikipedia.org/w/index.php?title=File:GroupDiagramMiniC2C8.png  License: Public Domain  Contributors: Helder.wiki,
Joey-das-WBF, Maksim, Nbarth
Image:GroupDiagramMiniC2x3.png  Source: http://en.wikipedia.org/w/index.php?title=File:GroupDiagramMiniC2x3.png  License: Public Domain  Contributors: Helder.wiki, Joey-das-WBF,
Maksim, Nbarth
Image:GroupDiagramMiniC2D8.png  Source: http://en.wikipedia.org/w/index.php?title=File:GroupDiagramMiniC2D8.png  License: Public Domain  Contributors: Helder.wiki,
Joey-das-WBF, Maksim, Nbarth
User:Pbroks13
File:GroupDiagramMiniC1.png  Source: http://en.wikipedia.org/w/index.php?title=File:GroupDiagramMiniC1.png  License: Public Domain  Contributors: Amit6, Joey-das-WBF, Maksim,
Nbarth, 1 anonymous edits
File:GroupDiagramMiniC2.png  Source: http://en.wikipedia.org/w/index.php?title=File:GroupDiagramMiniC2.png  License: Public Domain  Contributors: Helder.wiki, Joey-das-WBF,
Maksim, Nbarth
File:GroupDiagramMiniC3.png  Source: http://en.wikipedia.org/w/index.php?title=File:GroupDiagramMiniC3.png  License: Public Domain  Contributors: Helder.wiki, Ilmari Karonen,
Joey-das-WBF, Maksim, Nbarth, PAR
File:GroupDiagramMiniC4.png  Source: http://en.wikipedia.org/w/index.php?title=File:GroupDiagramMiniC4.png  License: Public Domain  Contributors: Helder.wiki, Joey-das-WBF,
Maksim, Nbarth
File:GroupDiagramMiniC5.png  Source: http://en.wikipedia.org/w/index.php?title=File:GroupDiagramMiniC5.png  License: Public Domain  Contributors: Helder.wiki, Ilmari Karonen,
Joey-das-WBF, Maksim, Nbarth
File:GroupDiagramMiniC6.png  Source: http://en.wikipedia.org/w/index.php?title=File:GroupDiagramMiniC6.png  License: Public Domain  Contributors: Helder.wiki, Joey-das-WBF,
Maksim, Nbarth
File:GroupDiagramMiniC7.png  Source: http://en.wikipedia.org/w/index.php?title=File:GroupDiagramMiniC7.png  License: Public Domain  Contributors: Helder.wiki, Joey-das-WBF,
Maksim, Nbarth
File:GroupDiagramMiniC8.png  Source: http://en.wikipedia.org/w/index.php?title=File:GroupDiagramMiniC8.png  License: Public Domain  Contributors: Helder.wiki, Joey-das-WBF,
Maksim, Nbarth
File:Hexagon Reflections.png  Source: http://en.wikipedia.org/w/index.php?title=File:Hexagon_Reflections.png  License: Public Domain  Contributors: Grafite, Nbarth
File:Dihedral8.png  Source: http://en.wikipedia.org/w/index.php?title=File:Dihedral8.png  License: Public Domain  Contributors: Jim.belk
File:Labeled Triangle Reflections.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Labeled_Triangle_Reflections.svg  License: Public Domain  Contributors: User:Jim.belk
File:Two Reflection Rotation.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Two_Reflection_Rotation.svg  License: Public Domain  Contributors: User:Jim.belk
File:Pentagon Linear.png  Source: http://en.wikipedia.org/w/index.php?title=File:Pentagon_Linear.png  License: Public Domain  Contributors: Jim.belk
File:GroupDiagramMiniD4.png  Source: http://en.wikipedia.org/w/index.php?title=File:GroupDiagramMiniD4.png  License: Public Domain  Contributors: Helder.wiki, Joey-das-WBF,
Maksim, Nbarth
File:GroupDiagramMiniD6.png  Source: http://en.wikipedia.org/w/index.php?title=File:GroupDiagramMiniD6.png  License: Public Domain  Contributors: Helder.wiki, Ilmari Karonen,
Joey-das-WBF, Maksim, Nbarth, PAR
File:GroupDiagramMiniD8.png  Source: http://en.wikipedia.org/w/index.php?title=File:GroupDiagramMiniD8.png  License: Public Domain  Contributors: Helder.wiki, Joey-das-WBF,
Maksim, Nbarth
File:GroupDiagramMiniD10.png  Source: http://en.wikipedia.org/w/index.php?title=File:GroupDiagramMiniD10.png  License: Public Domain  Contributors: Helder.wiki, Joey-das-WBF,
Maksim, Nbarth
File:GroupDiagramMiniD12.png  Source: http://en.wikipedia.org/w/index.php?title=File:GroupDiagramMiniD12.png  License: Public Domain  Contributors: Helder.wiki, Joey-das-WBF,
Maksim, Nbarth
File:GroupDiagramMiniD14.png  Source: http://en.wikipedia.org/w/index.php?title=File:GroupDiagramMiniD14.png  License: Public Domain  Contributors: Helder.wiki, Joey-das-WBF,
Maksim, Nbarth
File:Red Star of David.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Red_Star_of_David.svg  License: Public Domain  Contributors: User:Denelson83, user:Denelson83
File:Ashoka Chakra.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Ashoka_Chakra.svg  License: Public Domain  Contributors: Abhishekjoshi, Davin7, Fred the Oyster, Fry1989,
Homo lupus, Incnis Mrsi, Kwasura, Madden, Nichalp, Patrick, Rocket000, Roland zh, Xiengyod, Zscout370, 1 anonymous edits
File:Equilateral Triangle Lattice.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Equilateral_Triangle_Lattice.svg  License: Public Domain  Contributors: User:Jim.belk
File:Rhombic Lattice.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Rhombic_Lattice.svg  License: Public Domain  Contributors: User:Jim.belk
File:ModularGroup-FundamentalDomain-01.png  Source: http://en.wikipedia.org/w/index.php?title=File:ModularGroup-FundamentalDomain-01.png  License: GNU Free Documentation
Image:Wallpaper group-p4m-5.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-p4m-5.jpg  License: Public Domain  Contributors: Owen Jones
Image:Wallpaper_group-p4m-2.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-p4m-2.jpg  License: Public Domain  Contributors: Dogears, GeorgHH, Juiced
lemon, Maksim
Image:Wallpaper_group-p4m-1.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-p4m-1.jpg  License: Public Domain  Contributors: Dogears, GeorgHH, Juiced
lemon, Maksim
Image:Wallpaper_group-p4g-2.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-p4g-2.jpg  License: Public Domain  Contributors: Dogears, GeorgHH, Juiced
lemon, Maksim
Image:Wallpaper group diagram legend rotation2.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_legend_rotation2.svg  License: Public Domain
Contributors: User:Martin von Gagern
Image:Wallpaper group diagram legend rotation3.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_legend_rotation3.svg  License: Public Domain
Contributors: User:Martin von Gagern
Image Sources, Licenses and Contributors 89

Image:Wallpaper group diagram legend rotation4.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_legend_rotation4.svg  License: Public Domain
Contributors: User:Martin von Gagern
Image:Wallpaper group diagram legend rotation6.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_legend_rotation6.svg  License: Public Domain
Contributors: User:Martin von Gagern
Image:Wallpaper group diagram legend reflection.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_legend_reflection.svg  License: Public Domain
Contributors: User:Martin von Gagern
Image:Wallpaper group diagram legend glide reflection.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_legend_glide_reflection.svg  License: Public
Domain  Contributors: User:Martin von Gagern
Image:SymBlend p1.svg  Source: http://en.wikipedia.org/w/index.php?title=File:SymBlend_p1.svg  License: Creative Commons Attribution-Sharealike 3.0  Contributors: Martin von Gagern
ChongDae, Dongseok86
Image:Wallpaper group diagram p1.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_p1.svg  License: Public Domain  Contributors: User:Martin von
Gagern
Sfan00 IMG, Zscout370
Image:SymBlend p2.svg  Source: http://en.wikipedia.org/w/index.php?title=File:SymBlend_p2.svg  License: Creative Commons Attribution-Sharealike 3.0  Contributors: Martin von Gagern
ChongDae, GeorgHH
Image:Wallpaper group diagram p2.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_p2.svg  License: Public Domain  Contributors: User:Martin von
Gagern
Sfan00 IMG, Zscout370
Image:Wallpaper_group-p2-1.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-p2-1.jpg  License: Public Domain  Contributors: w:Owen Jones (architect)Owen
Jones, uploaded to the English Wikipedia by
Image:Wallpaper_group-p2-2.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-p2-2.jpg  License: Public Domain  Contributors: w:Owen Jones (architect)Owen
Jones, uploaded to the English Wikipedia by
Image:Wallpaper_group-p2-2 detail 2.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-p2-2_detail_2.jpg  License: Public Domain  Contributors: GeorgHH, Joolz,
Patrick, 1 anonymous edits
Image:Wallpaper_group-p2-3.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-p2-3.jpg  License: Public Domain  Contributors: w:Owen Jones (architect)Owen
Jones, uploaded to the English Wikipedia by
Image:Wallpaper_group-p2-4.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-p2-4.jpg  License: unknown  Contributors: User:Dmharvey at the English Wikipedia
Image:SymBlend pm.svg  Source: http://en.wikipedia.org/w/index.php?title=File:SymBlend_pm.svg  License: Creative Commons Attribution-Sharealike 3.0  Contributors: Martin von Gagern
Image:Wallpaper group diagram pm.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_pm.svg  License: Public Domain  Contributors: User:Martin von
Gagern
AnomalousArtemis at en.wikipedia
at en.wikipedia
at en.wikipedia
at en.wikipedia
at en.wikipedia
Image:SymBlend pg.svg  Source: http://en.wikipedia.org/w/index.php?title=File:SymBlend_pg.svg  License: Creative Commons Attribution-Sharealike 3.0  Contributors: Martin von Gagern
ChongDae, GeorgHH
Image:Wallpaper group diagram pg.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_pg.svg  License: Public Domain  Contributors: User:Martin von
Gagern
Sfan00 IMG, Zscout370, 1 anonymous edits
at en.wikipedia
Image:Wallpaper_group-pg-1 detail.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-pg-1_detail.jpg  License: Public Domain  Contributors: Denniss, Patrick,
Toobaz
Image:Wallpaper_group-pg-2.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-pg-2.jpg  License: Public Domain  Contributors: Dmharvey, Tomruen
Image:Tile 33434.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Tile_33434.svg  License: GNU Free Documentation License  Contributors: User:Fibonacci, User:Fibonacci
GeorgHH, Maksim, 1 anonymous edits
Image:Wallpaper group diagram cm.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_cm.svg  License: Public Domain  Contributors: User:Martin von
Gagern
Sfan00 IMG, Zscout370
Image:Wallpaper_group-cm-1.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-cm-1.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH, Nevit,
Nonenmac
Image:Wallpaper_group-cm-2.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-cm-2.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH, Nevit,
Nonenmac
Image:Wallpaper_group-cm-3.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-cm-3.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH, Nevit,
Nonenmac
Image:Wallpaper_group-cm-4.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-cm-4.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH, Nevit,
Nonenmac
Image:Wallpaper_group-cm-5.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-cm-5.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH, Nevit,
Nonenmac
Image:Wallpaper_group-cm-6.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-cm-6.jpg  License: Public Domain  Contributors: Unknown
Image:Wallpaper_group-cm-7.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-cm-7.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH
Image:Wallpaper_group-pm-2.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-pm-2.jpg  License: Public Domain  Contributors: Dmharvey, Dogears
Image Sources, Licenses and Contributors 90

Image:SymBlend pmm.svg  Source: http://en.wikipedia.org/w/index.php?title=File:SymBlend_pmm.svg  License: Creative Commons Attribution-Sharealike 3.0  Contributors: Martin von
Gagern
ChongDae, GeorgHH
Image:Wallpaper group diagram pmm.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_pmm.svg  License: Public Domain  Contributors: User:Martin
von Gagern
Image:Wallpaper_group-pmm-1.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-pmm-1.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH, Wst,
Zscout370
Image:Wallpaper_group-pmm-2.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-pmm-2.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH
Image:Wallpaper_group-pmm-3.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-pmm-3.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH
Image:Wallpaper_group-pmm-4.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-pmm-4.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH
Image:2-d dense packing r1.svg  Source: http://en.wikipedia.org/w/index.php?title=File:2-d_dense_packing_r1.svg  License: Creative Commons Attribution-Sharealike 3.0  Contributors:
User:99of9
Image:2-d dense packing r3.svg  Source: http://en.wikipedia.org/w/index.php?title=File:2-d_dense_packing_r3.svg  License: Creative Commons Attribution-Sharealike 3.0  Contributors:
User:99of9
Image:2-d dense packing r7.svg  Source: http://en.wikipedia.org/w/index.php?title=File:2-d_dense_packing_r7.svg  License: Creative Commons Attribution-Sharealike 3.0  Contributors:
User:99of9
Image:SymBlend pmg.svg  Source: http://en.wikipedia.org/w/index.php?title=File:SymBlend_pmg.svg  License: Creative Commons Attribution-Sharealike 3.0  Contributors: Martin von Gagern
Original uploader was Dmharvey at en.wikipedia
Image:Wallpaper group diagram pmg.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_pmg.svg  License: Public Domain  Contributors: User:Martin von
Gagern
Image:Wallpaper_group-pmg-1.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-pmg-1.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH
Image:Wallpaper_group-pmg-2.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-pmg-2.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH
Image:Wallpaper_group-pmg-3.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-pmg-3.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH,
Zscout370
Image:Wallpaper_group-pmg-4.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-pmg-4.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH,
Neithsabes
User:99of9
Image:SymBlend pgg.svg  Source: http://en.wikipedia.org/w/index.php?title=File:SymBlend_pgg.svg  License: Creative Commons Attribution-Sharealike 3.0  Contributors: Martin von Gagern
Original uploader was Dmharvey at en.wikipedia
Image:Wallpaper group diagram pgg.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_pgg.svg  License: Public Domain  Contributors: User:Martin von
Gagern
AnomalousArtemis at en.wikipedia
Dmharvey at en.wikipedia
Dmharvey at en.wikipedia
GeorgHH, Maksim, 1 anonymous edits
Image:Wallpaper group diagram cmm.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_cmm.svg  License: Public Domain  Contributors: User:Martin
von Gagern
Image:Tile 33344.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Tile_33344.svg  License: GNU Free Documentation License  Contributors: User:Fibonacci, User:Fibonacci
Image:Wallpaper_group-cmm-1.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-cmm-1.jpg  License: Public Domain  Contributors: ChongDae, Zscout370
Image:Wallpaper_group-cmm-2.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-cmm-2.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH
Image:Wallpaper_group-cmm-3.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-cmm-3.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH
Image:Wallpaper_group-cmm-4.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-cmm-4.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH
Image:Wallpaper_group-cmm-5.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-cmm-5.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH
Image:Wallpaper_group-cmm-6.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-cmm-6.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH, Nevit
Image:SymBlend p4.svg  Source: http://en.wikipedia.org/w/index.php?title=File:SymBlend_p4.svg  License: Creative Commons Attribution-Sharealike 3.0  Contributors: Martin von Gagern
Image:Wallpaper group diagram p4.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_p4.svg  License: Public Domain  Contributors: User:Martin von
Gagern
Sfan00 IMG, Zscout370
Image:Wallpaper_group-p4-1.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-p4-1.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH
Image:Wallpaper_group-p4-2.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-p4-2.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH
Image:Wallpaper_group-p4-3.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-p4-3.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH
Image:Wallpaper_group-p4-4.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-p4-4.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH, Nevit,
Zscout370
Image:Wallpaper_group-p4-5.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-p4-5.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH
Image:SymBlend p4m.svg  Source: http://en.wikipedia.org/w/index.php?title=File:SymBlend_p4m.svg  License: Creative Commons Attribution-Sharealike 3.0  Contributors: Martin von Gagern
ChongDae, GeorgHH
Image:Wallpaper group diagram p4m.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_p4m.svg  License: Public Domain  Contributors: User:Martin von
Gagern
Image Sources, Licenses and Contributors 91

Sfan00 IMG, Zscout370
Image:Tile 4,4.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Tile_4,4.svg  License: Public Domain  Contributors: User:Fibonacci, User:Fibonacci
Image:Tile V488.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Tile_V488.svg  License: Public Domain  Contributors: User:Fibonacci, User:Fibonacci
Image:Tile 488.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Tile_488.svg  License: GNU Free Documentation License  Contributors: User:Fibonacci, User:Fibonacci
Image:Wallpaper_group-p4m-3.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-p4m-3.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH, Nevit,
Zscout370
Image:Wallpaper_group-p4m-5.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-p4m-5.jpg  License: Public Domain  Contributors: Owen Jones
Image:Wallpaper_group-p4m-6.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-p4m-6.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH
Image:2-d dense packing r4.svg  Source: http://en.wikipedia.org/w/index.php?title=File:2-d_dense_packing_r4.svg  License: Creative Commons Attribution-Sharealike 3.0  Contributors:
User:99of9
Image:Wallpaper_group-p4m-4.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-p4m-4.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH
Image:Wallpaper_group-p4m-7.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-p4m-7.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH
Image:Wallpaper_group-p4m-8.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-p4m-8.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH, Nevit
Image:SymBlend p4g.svg  Source: http://en.wikipedia.org/w/index.php?title=File:SymBlend_p4g.svg  License: Creative Commons Attribution-Sharealike 3.0  Contributors: Martin von Gagern
GeorgHH, Maksim
Image:Wallpaper group diagram p4g.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_p4g.svg  License: Public Domain  Contributors: User:Martin von
Gagern
Image:Wallpaper_group-p4g-1.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-p4g-1.jpg  License: Public Domain  Contributors: ChongDae, Zscout370
Image:Wallpaper_group-p4g-3.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-p4g-3.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH, Nevit,
Zscout370
Image:Wallpaper_group-p4g-4.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-p4g-4.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH
File:Uniform tiling 44-h01.png  Source: http://en.wikipedia.org/w/index.php?title=File:Uniform_tiling_44-h01.png  License: Public Domain  Contributors: Tomruen
Maksim, 1 anonymous edits
Image:Wallpaper group diagram p3.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_p3.svg  License: Public Domain  Contributors: User:Martin von
Gagern
Sfan00 IMG, Zscout370
Image:Tile 33336.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Tile_33336.svg  License: GNU Free Documentation License  Contributors: User:Fibonacci, User:Fibonacci
Image:Wallpaper_group-p3-1.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-p3-1.jpg  License: Public Domain  Contributors: w:en:User:DmharveyDmharvey
User:Dmharvey
Image:SymBlend p3m1.svg  Source: http://en.wikipedia.org/w/index.php?title=File:SymBlend_p3m1.svg  License: Creative Commons Attribution-Sharealike 3.0  Contributors: Martin von
Gagern
Original uploader was Dmharvey at en.wikipedia
Image:Wallpaper group diagram p3m1.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_p3m1.svg  License: Public Domain  Contributors: User:Martin
von Gagern
Image:Tile 3,6.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Tile_3,6.svg  License: Public Domain  Contributors: User:Fibonacci, User:Fibonacci
Image:Tile 6,3.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Tile_6,3.svg  License: Public Domain  Contributors: User:Fibonacci, User:Fibonacci
Image:Tile 3bb.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Tile_3bb.svg  License: GNU Free Documentation License  Contributors: User:Fibonacci, User:Fibonacci
Image:Wallpaper_group-p3m1-1.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-p3m1-1.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH
Image:Wallpaper_group-p3m1-3.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-p3m1-3.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH
Image:Wallpaper_group-p3m1-2.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-p3m1-2.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH
Image:2-d dense packing r2.svg  Source: http://en.wikipedia.org/w/index.php?title=File:2-d_dense_packing_r2.svg  License: Creative Commons Attribution-Sharealike 3.0  Contributors:
User:99of9
Image:SymBlend p31m.svg  Source: http://en.wikipedia.org/w/index.php?title=File:SymBlend_p31m.svg  License: Creative Commons Attribution-Sharealike 3.0  Contributors: Martin von
Gagern
Original uploader was Dmharvey at en.wikipedia
Image:Wallpaper group diagram p31m.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_p31m.svg  License: Public Domain  Contributors: User:Martin
von Gagern
Image:Wallpaper_group-p31m-1.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-p31m-1.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH
Image:Wallpaper_group-p31m-2.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-p31m-2.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH
Image:Wallpaper_group-p31m-3.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-p31m-3.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH
Image:SymBlend p6.svg  Source: http://en.wikipedia.org/w/index.php?title=File:SymBlend_p6.svg  License: Creative Commons Attribution-Sharealike 3.0  Contributors: Martin von Gagern
Image:Wallpaper group diagram p6.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_p6.svg  License: Public Domain  Contributors: User:Martin von
Gagern
Sfan00 IMG, Zscout370
Image:Wallpaper_group-p6-1.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-p6-1.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH
Image:Wallpaper_group-p6-2.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-p6-2.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH
Image:SymBlend p6m.svg  Source: http://en.wikipedia.org/w/index.php?title=File:SymBlend_p6m.svg  License: Creative Commons Attribution-Sharealike 3.0  Contributors: Martin von Gagern
ChongDae, GeorgHH
Image Sources, Licenses and Contributors 92

Image:Wallpaper group diagram p6m.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group_diagram_p6m.svg  License: Public Domain  Contributors: User:Martin von
Gagern
Image:Tile 3636.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Tile_3636.svg  License: Public Domain  Contributors: User:Fibonacci, User:Fibonacci
Image:Tile 3464.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Tile_3464.svg  License: GNU Free Documentation License  Contributors: User:Fibonacci, User:Fibonacci
Image:Tile 46b.svg  Source: http://en.wikipedia.org/w/index.php?title=File:Tile_46b.svg  License: GNU Free Documentation License  Contributors: User:Fibonacci, User:Fibonacci
Image:Wallpaper_group-p6m-1.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-p6m-1.jpg  License: Public Domain  Contributors: Anarkman, Kilom691, Nevit
Image:Wallpaper_group-p6m-2.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-p6m-2.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH
Image:Wallpaper_group-p6m-3.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-p6m-3.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH
Image:Wallpaper_group-p6m-4.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-p6m-4.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH
Image:Wallpaper_group-p6m-5.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-p6m-5.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH
Image:Wallpaper_group-p6m-6.jpg  Source: http://en.wikipedia.org/w/index.php?title=File:Wallpaper_group-p6m-6.jpg  License: Public Domain  Contributors: ChongDae, GeorgHH
Image:2-d dense packing r5.svg  Source: http://en.wikipedia.org/w/index.php?title=File:2-d_dense_packing_r5.svg  License: Creative Commons Attribution-Sharealike 3.0  Contributors:
User:99of9
Image:2-d dense packing r6.svg  Source: http://en.wikipedia.org/w/index.php?title=File:2-d_dense_packing_r6.svg  License: Creative Commons Attribution-Sharealike 3.0  Contributors:
User:99of9