8/13/2021 Symmetry group - Wikipedia

Symmetry group
In group theory, the symmetry group of a geometric
object is the group of all transformations under which
the object is invariant, endowed with the group
operation of composition. Such a transformation is an
invertible mapping of the ambient space which takes
the object to itself, and which preserves all the
relevant structure of the object. A frequent notation
for the symmetry group of an object X is G = Sym(X).

For an object in a metric space, its symmetries form a

subgroup of the isometry group of the ambient space.
This article mainly considers symmetry groups in
Euclidean geometry, but the concept may also be
studied for more general types of geometric structure.

Contents
Introduction
One dimension
Two dimensions
Three dimensions A tetrahedron is invariant under 12 distinct
rotations, reflections excluded. These are
Symmetry groups in general illustrated here in the cycle graph format, along
Group structure in terms of symmetries with the 180° edge (blue arrows) and 120° vertex
(reddish arrows) rotations that permute the
See also
tetrahedron through the positions. The 12
Further reading rotations form the rotation (symmetry) group of
External links the figure.

Introduction
We consider the "objects" possessing symmetry to be geometric figures, images, and patterns, such as
a wallpaper pattern. For symmetry of physical objects, one may also take their physical composition
as part of the pattern. (A pattern may be specified formally as a scalar field, a function of position with
values in a set of colors or substances; as a vector field; or as a more general function on the object.)
The group of isometries of space induces a group action on objects in it, and the symmetry group
Sym(X) consists of those isometries which map X to itself (as well as mapping any further pattern to
itself). We say X is invariant under such a mapping, and the mapping is a symmetry of X.

The above is sometimes called the full symmetry group of X to emphasize that it includes
orientation-reversing isometries (reflections, glide reflections and improper rotations), as long as
those isometries map this particular X to itself. The subgroup of orientation-preserving symmetries
https://en.wikipedia.org/wiki/Symmetry_group 1/6
8/13/2021 Symmetry group - Wikipedia

(translations, rotations, and compositions of these) is called its proper symmetry group. An object
is chiral when it has no orientation-reversing symmetries, so that its proper symmetry group is equal
to its full symmetry group.

Any symmetry group whose elements have a common fixed point, which is true if the group is finite or
the figure is bounded, can be represented as a subgroup of the orthogonal group O(n) by choosing the
origin to be a fixed point. The proper symmetry group is then a subgroup of the special orthogonal
group SO(n), and is called the rotation group of the figure.

In a discrete symmetry group, the points symmetric to a given point do not accumulate toward a
limit point. That is, every orbit of the group (the images of a given point under all group elements)
forms a discrete set. All finite symmetry groups are discrete.

Discrete symmetry groups come in three types: (1) finite point groups, which include only rotations,
reflections, inversions and rotoinversions – i.e., the finite subgroups of O(n); (2) infinite lattice
groups, which include only translations; and (3) infinite space groups containing elements of both
previous types, and perhaps also extra transformations like screw displacements and glide reflections.
There are also continuous symmetry groups (Lie groups), which contain rotations of arbitrarily small
angles or translations of arbitrarily small distances. An example is O(3), the symmetry group of a
sphere. Symmetry groups of Euclidean objects may be completely classified as the subgroups of the
Euclidean group E(n) (the isometry group of Rn).

Two geometric figures have the same symmetry type when their symmetry groups are conjugate
subgroups of the Euclidean group: that is, when the subgroups H1, H2 are related by H1 = g−1H2g for
some g in E(n). For example:

two 3D figures have mirror symmetry, but with respect to different mirror planes.
two 3D figures have 3-fold rotational symmetry, but with respect to different axes.
two 2D patterns have translational symmetry, each in one direction; the two translation vectors
have the same length but a different direction.

In the following sections, we only consider isometry groups whose orbits are topologically closed,
including all discrete and continuous isometry groups. However, this excludes for example the 1D
group of translations by a rational number; such a non-closed figure cannot be drawn with reasonable
accuracy due to its arbitrarily fine detail.

One dimension
The isometry groups in one dimension are:

the trivial cyclic group C1

the groups of two elements generated by a reflection; they are isomorphic with C2
the infinite discrete groups generated by a translation; they are isomorphic with Z, the additive
group of the integers
the infinite discrete groups generated by a translation and a reflection; they are isomorphic with
the generalized dihedral group of Z, Dih(Z), also denoted by D∞ (which is a semidirect product of
Z and C2).
the group generated by all translations (isomorphic with the additive group of the real numbers R);
this group cannot be the symmetry group of a Euclidean figure, even endowed with a pattern:

https://en.wikipedia.org/wiki/Symmetry_group 2/6
8/13/2021 Symmetry group - Wikipedia

such a pattern would be homogeneous, hence could also be reflected. However, a constant one-
dimensional vector field has this symmetry group.
the group generated by all translations and reflections in points; they are isomorphic with the
generalized dihedral group Dih(R).

See also symmetry groups in one dimension.

Two dimensions
Up to conjugacy the discrete point groups in two-dimensional space are the following classes:

cyclic groups C1, C2, C3, C4, ... where Cn consists of all rotations about a fixed point by multiples
of the angle 360°/n
dihedral groups D1, D2, D3, D4, ..., where Dn (of order 2n) consists of the rotations in Cn together
with reflections in n axes that pass through the fixed point.

C1 is the trivial group containing only the identity operation, which occurs when the figure is
asymmetric, for example the letter "F". C2 is the symmetry group of the letter "Z", C3 that of a
triskelion, C4 of a swastika, and C5, C6, etc. are the symmetry groups of similar swastika-like figures
with five, six, etc. arms instead of four.

D1 is the 2-element group containing the identity operation and a single reflection, which occurs when
the figure has only a single axis of bilateral symmetry, for example the letter "A".

D2, which is isomorphic to the Klein four-group, is the symmetry group of a non-equilateral rectangle.
This figure has four symmetry operations: the identity operation, one twofold axis of rotation, and two
nonequivalent mirror planes.

D3, D4 etc. are the symmetry groups of the regular polygons.

Within each of these symmetry types, there are two degrees of freedom for the center of rotation, and
in the case of the dihedral groups, one more for the positions of the mirrors.

The remaining isometry groups in two dimensions with a fixed point are:

the special orthogonal group SO(2) consisting of all rotations about a fixed point; it is also called
the circle group S1, the multiplicative group of complex numbers of absolute value 1. It is the
proper symmetry group of a circle and the continuous equivalent of Cn. There is no geometric
figure that has as full symmetry group the circle group, but for a vector field it may apply (see the
three-dimensional case below).
the orthogonal group O(2) consisting of all rotations about a fixed point and reflections in any axis
through that fixed point. This is the symmetry group of a circle. It is also called Dih(S1) as it is the
generalized dihedral group of S1.

Non-bounded figures may have isometry groups including translations; these are:

the 7 frieze groups

the 17 wallpaper groups
for each of the symmetry groups in one dimension, the combination of all symmetries in that
group in one direction, and the group of all translations in the perpendicular direction

https://en.wikipedia.org/wiki/Symmetry_group 3/6
8/13/2021 Symmetry group - Wikipedia

ditto with also reflections in a line in the first direction.

Three dimensions
Up to conjugacy the set of three-dimensional point groups consists of 7 infinite series, and 7 other
individual groups. In crystallography, only those point groups are considered which preserve some
crystal lattice (so their rotations may only have order 1, 2, 3, 4, or 6). This crystallographic restriction
of the infinite families of general point groups results in 32 crystallographic point groups (27
individual groups from the 7 series, and 5 of the 7 other individuals).

The continuous symmetry groups with a fixed point include those of:

cylindrical symmetry without a symmetry plane perpendicular to the axis, this applies for example
for a beer bottle
cylindrical symmetry with a symmetry plane perpendicular to the axis
spherical symmetry

For objects with scalar field patterns, the cylindrical symmetry implies vertical reflection symmetry as
well. However, this is not true for vector field patterns: for example, in cylindrical coordinates with
respect to some axis, the vector field has cylindrical symmetry with respect
to the axis whenever and have this symmetry (no dependence on ); and it has
reflectional symmetry only when .

For spherical symmetry, there is no such distinction: any patterned object has planes of reflection
symmetry.

The continuous symmetry groups without a fixed point include those with a screw axis, such as an
infinite helix. See also subgroups of the Euclidean group.

Symmetry groups in general

In wider contexts, a symmetry group may be any kind of transformation group, or
automorphism group. Each type of mathematical structure has invertible mappings which preserve
the structure. Conversely, specifying the symmetry group can define the structure, or at least clarify
the meaning of geometric congruence or invariance; this is one way of looking at the Erlangen
programme.

For example, objects in a hyperbolic non-Euclidean geometry have Fuchsian symmetry groups, which
are the discrete subgroups of the isometry group of the hyperbolic plane, preserving hyperbolic rather
than Euclidean distance. (Some are depicted in drawings of Escher.) Similarly, automorphism groups
of finite geometries preserve families of point-sets (discrete subspaces) rather than Euclidean
subspaces, distances, or inner products. Just as for Euclidean figures, objects in any geometric space
have symmetry groups which are subgroups of the symmetries of the ambient space.

Another example of a symmetry group is that of a combinatorial graph: a graph symmetry is a

permutation of the vertices which takes edges to edges. Any finitely presented group is the symmetry
group of its Cayley graph; the free group is the symmetry group of an infinite tree graph.

Group structure in terms of symmetries

https://en.wikipedia.org/wiki/Symmetry_group 4/6
8/13/2021 Symmetry group - Wikipedia

Cayley's theorem states that any abstract group is a subgroup of the permutations of some set X, and
so can be considered as the symmetry group of X with some extra structure. In addition, many
abstract features of the group (defined purely in terms of the group operation) can be interpreted in
terms of symmetries.

For example, let G = Sym(X) be the finite symmetry group of a figure X in a Euclidean space, and let
H ⊂ G be a subgroup. Then H can be interpreted as the symmetry group of X+, a "decorated" version
of X. Such a decoration may be constructed as follows. Add some patterns such as arrows or colors to
X so as to break all symmetry, obtaining a figure X# with Sym(X#) = {1}, the trivial subgroup; that is,
gX# ≠ X# for all non-trivial g ∈ G. Now we get:

Normal subgroups may also be characterized in this framework. The symmetry group of the
translation gX + is the conjugate subgroup gHg−1. Thus H is normal whenever:

that is, whenever the decoration of X+ may be drawn in any orientation, with respect to any side or
feature of X, and still yield the same symmetry group gHg−1 = H.

As an example, consider the dihedral group G = D3 = Sym(X), where X is an equilateral triangle. We

may decorate this with an arrow on one edge, obtaining an asymmetric figure X#. Letting τ ∈ G be the
reflection of the arrowed edge, the composite figure X+ = X# ∪ τX# has a bidirectional arrow on that
edge, and its symmetry group is H = {1, τ}. This subgroup is not normal, since gX+ may have the bi-
arrow on a different edge, giving a different reflection symmetry group.

However, letting H = {1, ρ, ρ2} ⊂ D3 be the cyclic subgroup generated by a rotation, the decorated
figure X+ consists of a 3-cycle of arrows with consistent orientation. Then H is normal, since drawing
such a cycle with either orientation yields the same symmetry group H.

See also
Crystal system Molecular symmetry
Euclidean plane isometry Permutation group
Fixed points of isometry groups in Euclidean Symmetric group
space Symmetry in quantum mechanics

Further reading
Burns, G.; Glazer, A. M. (1990). Space Groups for Scientists and Engineers (https://archive.org/de
tails/spacegroupsforso0000burn) (2nd ed.). Boston: Academic Press, Inc. ISBN 0-12-145761-3.
Clegg, W (1998). Crystal Structure Determination (Oxford Chemistry Primer). Oxford: Oxford
University Press. ISBN 0-19-855901-1.
O'Keeffe, M.; Hyde, B. G. (1996). Crystal Structures; I. Patterns and Symmetry. Washington, DC:
Mineralogical Society of America, Monograph Series. ISBN 0-939950-40-5.
Miller, Willard Jr. (1972). Symmetry Groups and Their Applications (https://web.archive.org/web/2
0100217091244/http://www.ima.umn.edu/~miller/symmetrygroups.html). New York: Academic

https://en.wikipedia.org/wiki/Symmetry_group 5/6
8/13/2021 Symmetry group - Wikipedia

Press. OCLC 589081 (https://www.worldcat.org/oclc/589081). Archived from the original (http://w

ww.ima.umn.edu/~miller/symmetrygroups.html) on 2010-02-17. Retrieved 2009-09-28.

External links
Weisstein, Eric W. "Symmetry Group" (https://mathworld.wolfram.com/SymmetryGroup.html).
MathWorld.
Weisstein, Eric W. "Tetrahedral Group" (https://mathworld.wolfram.com/TetrahedralGroup.html).
MathWorld.
Overview of the 32 crystallographic point groups (http://newton.ex.ac.uk/research/qsystems/peopl
e/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

Retrieved from "https://en.wikipedia.org/w/index.php?title=Symmetry_group&oldid=1017932508"

This page was last edited on 15 April 2021, at 11:54 (UTC).

Text is available under the Creative Commons Attribution-ShareAlike License;

additional terms may apply. By using this
site, you agree to the Terms of Use and Privacy Policy. Wikipedia® is a registered trademark of the Wikimedia
Foundation, Inc., a non-profit organization.

https://en.wikipedia.org/wiki/Symmetry_group 6/6