Frieze group

Last updated
Examples of frieze patterns Meander alagrek.svg
Examples of frieze patterns

In mathematics, a frieze or frieze pattern is a two-dimensional design that repeats in one direction. The term is derived from architecture and decorative arts, where such repeating patterns are often used. (See frieze.) Frieze patterns can be classified into seven types according to their symmetries. The set of symmetries of a frieze pattern is called a frieze group.

Contents

Frieze groups are two-dimensional line groups, having repetition in only one direction. They are related to the more complex wallpaper groups, which classify patterns that are repetitive in two directions, and crystallographic groups, which classify patterns that are repetitive in three directions.

General

The seven frieze groups
  1. p1: T (translation only, in the horizontal direction)
  2. p1m1: TV (translation and vertical line reflection)
  3. p11m: THG (translation, horizontal line reflection, and glide reflection)
  4. p11g: TG (translation and glide reflection)
  5. p2: TR (translation and 180° rotation)
  6. p2mg: TRVG (translation, 180° rotation, vertical line reflection, and glide reflection)
  7. p2mm: TRHVG (translation, 180° rotation, horizontal line reflection, vertical line reflection, and glide reflection)

Formally, a frieze group is a class of infinite discrete symmetry groups of patterns on a strip (infinitely wide rectangle), hence a class of groups of isometries of the plane, or of a strip. A symmetry group of a frieze group necessarily contains translations and may contain glide reflections, reflections along the long axis of the strip, reflections along the narrow axis of the strip, and 180° rotations. There are seven frieze groups, listed in the summary table. Many authors present the frieze groups in a different order. [1] [2]

The actual symmetry groups within a frieze group are characterized by the smallest translation distance, and, for the frieze groups with vertical line reflection or 180° rotation (groups 2, 5, 6, and 7), by a shift parameter locating the reflection axis or point of rotation. In the case of symmetry groups in the plane, additional parameters are the direction of the translation vector, and, for the frieze groups with horizontal line reflection, glide reflection, or 180° rotation (groups 3–7), the position of the reflection axis or rotation point in the direction perpendicular to the translation vector. Thus there are two degrees of freedom for group 1, three for groups 2, 3, and 4, and four for groups 5, 6, and 7.

For two of the seven frieze groups (groups 1 and 4) the symmetry groups are singly generated, for four (groups 2, 3, 5, and 6) they have a pair of generators, and for group 7 the symmetry groups require three generators. A symmetry group in frieze group 1, 2, 3, or 5 is a subgroup of a symmetry group in the last frieze group with the same translational distance. A symmetry group in frieze group 4 or 6 is a subgroup of a symmetry group in the last frieze group with half the translational distance. This last frieze group contains the symmetry groups of the simplest periodic patterns in the strip (or the plane), a row of dots. Any transformation of the plane leaving this pattern invariant can be decomposed into a translation, (x, y) ↦ (n + x, y), optionally followed by a reflection in either the horizontal axis, (x, y) ↦ (x, −y), or the vertical axis, (x, y) ↦ (−x, y), provided that this axis is chosen through or midway between two dots, or a rotation by 180°, (x, y) ↦ (−x, −y) (ditto). Therefore, in a way, this frieze group contains the "largest" symmetry groups, which consist of all such transformations.

The inclusion of the discrete condition is to exclude the group containing all translations, and groups containing arbitrarily small translations (e.g. the group of horizontal translations by rational distances). Even apart from scaling and shifting, there are infinitely many cases, e.g. by considering rational numbers of which the denominators are powers of a given prime number.

The inclusion of the infinite condition is to exclude groups that have no translations:

Descriptions of the seven frieze groups

There are seven distinct subgroups (up to scaling and shifting of patterns) in the discrete frieze group generated by a translation, reflection (along the same axis) and a 180° rotation. Each of these subgroups is the symmetry group of a frieze pattern, and sample patterns are shown in Fig. 1. The seven different groups correspond to the 7 infinite series of axial point groups in three dimensions, with n = ∞. [3]

They are identified in the table below using Hermann–Mauguin notation (or IUC notation), [4] Coxeter notation, Schönflies notation, orbifold notation, nicknames created by mathematician John H. Conway, and finally a description in terms of translation, reflections and rotations.

Frieze groups
IUC Cox. Schön. * Orbifold Diagram§Examples and
Conway nickname [5]
Description
p1[∞]+
CDel node h2.pngCDel infin.pngCDel node h2.png
C
Z
∞∞ Frieze group 11.png Frieze example p1.png Frieze hop.png
hop
(T) Translations only:
This group is singly generated, by a translation by the smallest distance over which the pattern is periodic.
p11g[∞+,2+]
CDel node h2.pngCDel infin.pngCDel node h4.pngCDel 2x.pngCDel node h2.png
S
Z
∞× Frieze group 1g.png Frieze example p11g.png Frieze step.png
step
(TG) Glide-reflections and Translations:
This group is singly generated, by a glide reflection, with translations being obtained by combining two glide reflections.
p1m1[∞]
CDel node.pngCDel infin.pngCDel node.png
C∞v
Dih
*∞∞ Frieze group m1.png Frieze example p1m1.png Frieze sidle.png
sidle
(TV) Vertical reflection lines and Translations:
The group is the same as the non-trivial group in the one-dimensional case; it is generated by a translation and a reflection in the vertical axis.
p2[∞,2]+
CDel node h2.pngCDel infin.pngCDel node h2.pngCDel 2x.pngCDel node h2.png
D
Dih
22∞ Frieze group 12.png Frieze example p2.png Frieze spinning hop.png
spinning hop
(TR) Translations and 180° Rotations:
The group is generated by a translation and a 180° rotation.
p2mg[∞,2+]
CDel node.pngCDel infin.pngCDel node h2.pngCDel 2x.pngCDel node h2.png
D∞d
Dih
2*∞ Frieze group mg.png Frieze example p2mg.png Frieze spinning sidle.png
spinning sidle
(TRVG) Vertical reflection lines, Glide reflections, Translations and 180° Rotations:
The translations here arise from the glide reflections, so this group is generated by a glide reflection and either a rotation or a vertical reflection.
p11m[∞+,2]
CDel node h2.pngCDel infin.pngCDel node h2.pngCDel 2.pngCDel node.png
C∞h
Z×Dih1
∞* Frieze group 1m.png Frieze example p11m.png Frieze jump.png
jump
(THG) Translations, Horizontal reflections, Glide reflections:
This group is generated by a translation and the reflection in the horizontal axis. The glide reflection here arises as the composition of translation and horizontal reflection
p2mm[∞,2]
CDel node.pngCDel infin.pngCDel node.pngCDel 2.pngCDel node.png
D∞h
Dih×Dih1
*22∞ Frieze group mm.png Frieze example p2mm.png Frieze spinning jump.png
spinning jump
(TRHVG) Horizontal and Vertical reflection lines, Translations and 180° Rotations:
This group requires three generators, with one generating set consisting of a translation, the reflection in the horizontal axis and a reflection across a vertical axis.
*Schönflies's point group notation is extended here as infinite cases of the equivalent dihedral points symmetries
§The diagram shows one fundamental domain in yellow, with reflection lines in blue, glide reflection lines in dashed green, translation normals in red, and 2-fold gyration points as small green squares.

Of the seven frieze groups, there are only four up to isomorphism. Two are singly generated and isomorphic to ; four of them are doubly generated, among which one is abelian and three are nonabelian and isomorphic to , the infinite dihedral group; and one of them has three generators. [6]

Lattice types: Oblique and rectangular

The groups can be classified by their type of two-dimensional grid or lattice. [7] The lattice being oblique means that the second direction need not be orthogonal to the direction of repeat.

Lattice typeGroups
Obliquep1, p2
Rectangularp1m1, p11m, p11g, p2mm, p2mg

See also

Web demo and software

There exist software graphic tools that create 2D patterns using frieze groups. Usually, the entire pattern is updated automatically in response to edits of the original strip.

Related Research Articles

<span class="mw-page-title-main">Symmetry group</span> Group of transformations under which the object is invariant

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).

<span class="mw-page-title-main">Wallpaper group</span> Classification of a two-dimensional repetitive pattern

A wallpaper is a mathematical object covering a whole Euclidean plane by repeating a motif indefinitely, in manner that certain isometries keep the drawing unchanged. For each wallpaper there corresponds a group of congruent transformations, with function composition as the group operation. Thus, a wallpaper 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, especially in textiles, tessellations, tiles and physical wallpaper.

<span class="mw-page-title-main">Glide reflection</span> Geometric transformation combining reflection and translation

In geometry, a glide reflection or transflection is a geometric transformation that consists of a reflection across a hyperplane and a translation ("glide") in a direction parallel to that hyperplane, combined into a single transformation. Because the distances between points are not changed under glide reflection, it is a motion or isometry. When the context is the two-dimensional Euclidean plane, the hyperplane of reflection is a straight line called the glide line or glide axis. When the context is three-dimensional space, the hyperplane of reflection is a plane called the glide plane. The displacement vector of the translation is called the glide vector.

<span class="mw-page-title-main">Space group</span> Symmetry group of a configuration in space

In mathematics, physics and chemistry, a space group is the symmetry group of a repeating pattern in space, usually in three dimensions. The elements of a space group are the rigid transformations of the pattern that leave it unchanged. In three dimensions, space groups are classified into 219 distinct types, or 230 types if chiral copies are considered distinct. Space groups are discrete cocompact groups of isometries of an oriented Euclidean space in any number of dimensions. In dimensions other than 3, they are sometimes called Bieberbach groups.

<span class="mw-page-title-main">Euclidean group</span> Isometry group of Euclidean space

In mathematics, a Euclidean group is the group of (Euclidean) isometries of a Euclidean space ; that is, the transformations of that space that preserve the Euclidean distance between any two points (also called Euclidean transformations). The group depends only on the dimension n of the space, and is commonly denoted E(n) or ISO(n).

<span class="mw-page-title-main">Rotational symmetry</span> Property of objects which appear unchanged after a partial rotation

Rotational symmetry, also known as radial symmetry in geometry, is the property a shape has when it looks the same after some rotation by a partial turn. An object's degree of rotational symmetry is the number of distinct orientations in which it looks exactly the same for each rotation.

<span class="mw-page-title-main">Translational symmetry</span> Invariance of operations under geometric translation

In physics and mathematics, continuous translational symmetry is the invariance of a system of equations under any translation. Discrete translational symmetry is invariant under discrete translation.

The Schoenfliesnotation, named after the German mathematician Arthur Moritz Schoenflies, is a notation primarily used to specify point groups in three dimensions. Because a point group alone is completely adequate to describe the symmetry of a molecule, the notation is often sufficient and commonly used for spectroscopy. However, in crystallography, there is additional translational symmetry, and point groups are not enough to describe the full symmetry of crystals, so the full space group is usually used instead. The naming of full space groups usually follows another common convention, the Hermann–Mauguin notation, also known as the international notation.

<span class="mw-page-title-main">Point group</span> Group of geometric symmetries with at least one fixed point

In geometry, a point group is a mathematical group of symmetry operations (isometries in a Euclidean space) that have a fixed point in common. The coordinate origin of the Euclidean space is conventionally taken to be a fixed point, and every point group in dimension d is then a subgroup of the orthogonal group O(d). Point groups are used to describe the symmetries of geometric figures and physical objects such as molecules.

In geometry, a Euclidean plane isometry is an isometry of the Euclidean plane, or more informally, a way of transforming the plane that preserves geometrical properties such as length. There are four types: translations, rotations, reflections, and glide reflections.

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.

<span class="mw-page-title-main">Octahedral symmetry</span> 3D symmetry group

A regular octahedron has 24 rotational symmetries, and 48 symmetries altogether. These include transformations that combine a reflection and a rotation. A cube has the same set of symmetries, since it is the polyhedron that is dual to an octahedron.

In geometry, orbifold notation is a system, invented by the mathematician William Thurston and promoted by John Conway, for representing types of symmetry groups in two-dimensional spaces of constant curvature. The advantage of the notation is that it describes these groups in a way which indicates many of the groups' properties: in particular, it follows William Thurston in describing the orbifold obtained by taking the quotient of Euclidean space by the group under consideration.

In geometry, dihedral symmetry in three dimensions is one of three infinite sequences of point groups in three dimensions which have a symmetry group that as an abstract group is a dihedral group Dihn.

<span class="mw-page-title-main">Cyclic symmetry in three dimensions</span>

In three dimensional geometry, there are four infinite series of point groups in three dimensions (n≥1) with n-fold rotational or reflectional symmetry about one axis (by an angle of 360°/n) that does not change the object.

<span class="mw-page-title-main">Point groups in two dimensions</span> Geometry concept

In geometry, a two-dimensional point group or rosette group is a group of geometric symmetries (isometries) that keep at least one point fixed in a plane. Every such group is a subgroup of the orthogonal group O(2), including O(2) itself. Its elements are rotations and reflections, and every such group containing only rotations is a subgroup of the special orthogonal group SO(2), including SO(2) itself. That group is isomorphic to R/Z and the first unitary group, U(1), a group also known as the circle group.

<span class="mw-page-title-main">Coxeter notation</span> Classification system for symmetry groups in geometry

In geometry, Coxeter notation is a system of classifying symmetry groups, describing the angles between fundamental reflections of a Coxeter group in a bracketed notation expressing the structure of a Coxeter-Dynkin diagram, with modifiers to indicate certain subgroups. The notation is named after H. S. M. Coxeter, and has been more comprehensively defined by Norman Johnson.

A line group is a mathematical way of describing symmetries associated with moving along a line. These symmetries include repeating along that line, making that line a one-dimensional lattice. However, line groups may have more than one dimension, and they may involve those dimensions in its isometries or symmetry transformations.

<span class="mw-page-title-main">Symmetry (geometry)</span> Geometrical property

In geometry, an object has symmetry if there is an operation or transformation that maps the figure/object onto itself. Thus, a symmetry can be thought of as an immunity to change. For instance, a circle rotated about its center will have the same shape and size as the original circle, as all points before and after the transform would be indistinguishable. A circle is thus said to be symmetric under rotation or to have rotational symmetry. If the isometry is the reflection of a plane figure about a line, then the figure is said to have reflectional symmetry or line symmetry; it is also possible for a figure/object to have more than one line of symmetry.

References

  1. Coxeter, H. S. M. (1969). Introduction to Geometry . New York: John Wiley & Sons. pp.  47–49. ISBN   0-471-50458-0.
  2. Cederberg, Judith N. (2001). A Course in Modern Geometries, 2nd ed. New York: Springer-Verlag. pp. 117–118, 165–171. ISBN   0-387-98972-2.
  3. Fisher, G.L.; Mellor, B. (2007), "Three-dimensional finite point groups and the symmetry of beaded beads" (PDF), Journal of Mathematics and the Arts, 1 (2): 85–96, doi:10.1080/17513470701416264, S2CID   40755219
  4. Radaelli, Paolo G., Fundamentals of Crystallographic Symmetry (PDF)[ permanent dead link ]
  5. Frieze Patterns Mathematician John Conway created names that relate to footsteps for each of the frieze groups.
  6. https://www.whitman.edu/documents/Academics/Mathematics/2019/Landau-Balof.pdf [ bare URL PDF ]
  7. Hitzer, E.S.M.; Ichikawa, D. (2008), "Representation of crystallographic subperiodic groups by geometric algebra" (PDF), Electronic Proc. Of AGACSE, Leipzig, Germany (3, 17–19 Aug. 2008), archived from the original (PDF) on 2012-03-14