AATA Symmetry

Section 12.2 Symmetry

An isometry or rigid motion in

R^{n}

is a distance-preserving function

f

from

R^{n}

R^{n} .

This means that

f

must satisfy

‖ f (x) - f (y) ‖ = ‖ x - y ‖

🔗

for all

x, y \in R^{n} .

It is not difficult to show that

f

must be a one-to-one map. By Theorem 12.8, any element in

O (n)

is an isometry on

R^{n};

however,

O (n)

does not include all possible isometries on

R^{n} .

Translation by a vector

x,

T_{y} (x) = x + y

is also an isometry (Figure 12.11); however,

T

cannot be in

O (n)

since it is not a linear map.

🔗

We are mostly interested in isometries in

R^{2} .

In fact, the only isometries in

R^{2}

are rotations and reflections about the origin, translations, and combinations of the two. For example, a glide reflection is a translation followed by a reflection (Figure 12.12). In

R^{n}

all isometries are given in the same manner. The proof is very easy to generalize.

$A set of axes with an arrow pointing up and right from the origin to a point x.$

$A set of axes with an arrow of the same length but pointing down and right from a point on the horizontal axis to a point T(x).$

🔗

Figure 12.12. Glide reflections

🔗

Lemma 12.13.

🔗

An isometry

f

that fixes the origin in

R^{2}

is a linear transformation. In particular,

f

is given by an element in

O (2) .

Proof.

Let

f

be an isometry in

R^{2}

fixing the origin. We will first show that

f

preserves inner products. Since

f (0) = 0,

‖ f (x) ‖ = ‖ x ‖;

therefore,

\begin{aligned} ‖ x ‖^{2} - 2 ⟨ f (x), f (y) ⟩ + ‖ y ‖^{2} & = ‖ f (x) ‖^{2} - 2 ⟨ f (x), f (y) ⟩ + ‖ f (y) ‖^{2} \\ = ⟨ f (x) - f (y), f (x) - f (y) ⟩ \\ = ‖ f (x) - f (y) ‖^{2} \\ = ‖ x - y ‖^{2} \\ = ⟨ x - y, x - y ⟩ \\ = ‖ x ‖^{2} - 2 ⟨ x, y ⟩ + ‖ y ‖^{2} . \end{aligned}

Consequently,

⟨ f (x), f (y) ⟩ = ⟨ x, y ⟩ .

Now let

e_{1}

and

e_{2}

(1, 0)^{t}

and

(0, 1)^{t},

respectively. If

x = (x_{1}, x_{2}) = x_{1} e_{1} + x_{2} e_{2},

then

f (x) = ⟨ f (x), f (e_{1}) ⟩ f (e_{1}) + ⟨ f (x), f (e_{2}) ⟩ f (e_{2}) = x_{1} f (e_{1}) + x_{2} f (e_{2}) .

The linearity of

f

easily follows.

🔗

For any arbitrary isometry,

f,

T_{x} f

will fix the origin for some vector

x

R^{2};

hence,

T_{x} f (y) = A y

for some matrix

A \in O (2) .

Consequently,

f (y) = A y + x .

Given the isometries

\begin{aligned} f (y) & = A y + x_{1} \\ g (y) & = B y + x_{2}, \end{aligned}

🔗

their composition is

f (g (y)) = f (B y + x_{2}) = A B y + A x_{2} + x_{1} .

🔗

This last computation allows us to identify the group of isometries on

R^{2}

with

E (2) .

🔗

Theorem 12.14.

🔗

The group of isometries on

R^{2}

is the Euclidean group,

E (2) .

🔗

A symmetry group in

R^{n}

is a subgroup of the group of isometries on

R^{n}

that fixes a set of points

X \subset R^{n} .

It is important to realize that the symmetry group of

X

depends both on

R^{n}

and on

X .

For example, the symmetry group of the origin in

R^{1}

Z_{2},

but the symmetry group of the origin in

R^{2}

O (2) .

🔗

Theorem 12.15.

🔗

The only finite symmetry groups in

R^{2}

are

Z_{n}

and

D_{n} .

Proof.

We simply need to find all of the finite subgroups

G

E (2) .

Any finite symmetry group

G

R^{2}

must fix the origin and must be a finite subgroup of

O (2),

since translations and glide reflections have infinite order. By Example 12.10, elements in

O (2)

are either rotations of the form

R_{θ} = (\begin{matrix} \cos θ & - \sin θ \\ \sin θ & \cos θ \end{matrix})

or reflections of the form

T_{ϕ} = (\begin{matrix} \cos ϕ & - \sin ϕ \\ \sin ϕ & \cos ϕ \end{matrix}) (\begin{matrix} 1 & 0 \\ 0 & - 1 \end{matrix}) = (\begin{matrix} \cos ϕ & \sin ϕ \\ \sin ϕ & - \cos ϕ \end{matrix}) .

Notice that

det (R_{θ}) = 1,

det (T_{ϕ}) = - 1,

and

T_{ϕ}^{2} = I .

We can divide the proof up into two cases. In the first case, all of the elements in

G

have determinant one. In the second case, there exists at least one element in

G

with determinant

- 1 .

Case 1.

The determinant of every element in

G

is one. In this case every element in

G

must be a rotation. Since

G

is finite, there is a smallest angle, say

θ_{0},

such that the corresponding element

R_{θ_{0}}

is the smallest rotation in the positive direction. We claim that

R_{θ_{0}}

generates

G .

If not, then for some positive integer

n

there is an angle

θ_{1}

between

n θ_{0}

and

(n + 1) θ_{0} .

If so, then

(n + 1) θ_{0} - θ_{1}

corresponds to a rotation smaller than

θ_{0},

which contradicts the minimality of

θ_{0} .

Case 2.

The group

G

contains a reflection

T .

The kernel of the homomorphism

ϕ : G \to {- 1, 1}

given by

A \mapsto det (A)

consists of elements whose determinant is 1. Therefore,

| G / \ker ϕ | = 2 .

We know that the kernel is cyclic by the first case and is a subgroup of

G

of, say, order

n .

Hence,

| G | = 2 n .

The elements of

G

are

R_{θ}, \dots, R_{θ}^{n - 1}, T R_{θ}, \dots, T R_{θ}^{n - 1} .

These elements satisfy the relation

T R_{θ} T = R_{θ}^{- 1} .

Consequently,

G

must be isomorphic to

D_{n}

in this case.

🔗

Subsection The Wallpaper Groups

🔗

Suppose that we wish to study wallpaper patterns in the plane or crystals in three dimensions. Wallpaper patterns are simply repeating patterns in the plane (Figure 12.16). The analogs of wallpaper patterns in

R^{3}

are crystals, which we can think of as repeating patterns of molecules in three dimensions (Figure 12.17). The mathematical equivalent of a wallpaper or crystal pattern is called a lattice.

A wallpaper of chevrons with the top row of chevrons pointing downward, the second row of chevrons pointing upwards, and so on. — 🔗
Figure 12.16. A wallpaper pattern in $R^{2}$

A three-dimensional lattice of cubes that are slanted to the right. The vertices are highlighted with small filled circles. — 🔗
Figure 12.17. A crystal structure in $R^{3}$

🔗

Let us examine wallpaper patterns in the plane a little more closely. Suppose that

x

and

y

are linearly independent vectors in

R^{2};

that is, one vector cannot be a scalar multiple of the other. A lattice of

x

and

y

is the set of all linear combinations

m x + n y,

where

m

and

n

are integers. The vectors

x

and

y

are said to be a basis for the lattice.

🔗

Notice that a lattice can have several bases. For example, the vectors

(1, 1)^{t}

and

(2, 0)^{t}

have the same lattice as the vectors

(- 1, 1)^{t}

and

(- 1, - 1)^{t}

(Figure 12.18). However, any lattice is completely determined by a basis. Given two bases for the same lattice, say

{x_{1}, x_{2}}

and

{y_{1}, y_{2}},

we can write

\begin{aligned} y_{1} & = α_{1} x_{1} + α_{2} x_{2} \\ y_{2} & = β_{1} x_{1} + β_{2} x_{2}, \end{aligned}

🔗

where

α_{1},

α_{2},

β_{1},

and

β_{2}

are integers. The matrix corresponding to this transformation is

U = (\begin{matrix} α_{1} & α_{2} \\ β_{1} & β_{2} \end{matrix}) .

🔗

If we wish to give

x_{1}

and

x_{2}

in terms of

y_{1}

and

y_{2},

we need only calculate

U^{- 1};

that is,

U^{- 1} (\begin{matrix} y_{1} \\ y_{2} \end{matrix}) = (\begin{matrix} x_{1} \\ x_{2} \end{matrix}) .

🔗

Since

U

has integer entries,

U^{- 1}

must also have integer entries; hence the determinants of both

U

and

U^{- 1}

must be integers. Because

U U^{- 1} = I,

det (U U^{- 1}) = det (U) det (U^{- 1}) = 1;

🔗

consequently,

det (U) = \pm 1 .

A matrix with determinant

\pm 1

and integer entries is called unimodular. For example, the matrix

(\begin{matrix} 3 & 1 \\ 5 & 2 \end{matrix})

🔗

is unimodular. It should be clear that there is a minimum length for vectors in a lattice.

A lattice of parallelograms slanted to the right. There are four arrows, each beginning in the center at the origin and pointing to the right to (2,0), pointing up and right to (1,1), pointing up and left to ( minus one, one), and pointing down and left to (minus one, minus one). — 🔗
Figure 12.18. A lattice in $R^{2}$

🔗

We can classify lattices by studying their symmetry groups. The symmetry group of a lattice is the subgroup of

E (2)

that maps the lattice to itself. We consider two lattices in

R^{2}

to be equivalent if they have the same symmetry group. Similarly, classification of crystals in

R^{3}

is accomplished by associating a symmetry group, called a space group, with each type of crystal. Two lattices are considered different if their space groups are not the same. The natural question that now arises is how many space groups exist.

🔗

A space group is composed of two parts: a translation subgroup and a point. The translation subgroup is an infinite abelian subgroup of the space group made up of the translational symmetries of the crystal; the point group is a finite group consisting of rotations and reflections of the crystal about a point. More specifically, a space group is a subgroup of

G \subset E (2)

whose translations are a set of the form

{(I, t) : t \in L},

where

L

is a lattice. Space groups are, of course, infinite. Using geometric arguments, we can prove the following theorem (see [5] or [6]).

🔗

Theorem 12.19.

🔗

Every translation group in

R^{2}

is isomorphic to

Z \times Z .

🔗

The point group of

G

G_{0} = {A : (A, b) \in G for some b} .

In particular,

G_{0}

must be a subgroup of

O (2) .

Suppose that

x

is a vector in a lattice

L

with space group

G,

translation group

H,

and point group

G_{0} .

For any element

(A, y)

G,

\begin{aligned} (A, y) (I, x) (A, y)^{- 1} & = (A, A x + y) (A^{- 1}, - A^{- 1} y) \\ = (A A^{- 1}, - A A^{- 1} y + A x + y) \\ = (I, A x); \end{aligned}

🔗

hence,

(I, A x)

is in the translation group of

G .

More specifically,

A x

must be in the lattice

L .

It is important to note that

G_{0}

is not usually a subgroup of the space group

G;

however, if

T

is the translation subgroup of

G,

then

G / T ≅ G_{0} .

The proof of the following theorem can be found in [2], [5], or [6].

🔗

Theorem 12.20.

🔗

The point group in the wallpaper groups is isomorphic to

Z_{n}

D_{n},

where

n = 1, 2, 3, 4, 6 .

🔗

To answer the question of how the point groups and the translation groups can be combined, we must look at the different types of lattices. Lattices can be classified by the structure of a single lattice cell. The possible cell shapes are parallelogram, rectangular, square, rhombic, and hexagonal (Figure 12.21). The wallpaper groups can now be classified according to the types of reflections that occur in each group: these are ordinarily reflections, glide reflections, both, or none.

There are two rows of figures. The left top figure is a lattice of squares, the middle top figure is a lattice of rectangles that are not squares, the right top figure is a lattice of rhombuses slanted to the left. The bottom left figure is a lattice of parallelograms that are not rhombuses slanted to the left. The bottom right figure is a lattice of equilateral triangles, six of which make up a regular hexagon. — 🔗
Figure 12.21. Types of lattices in $R^{2}$

🔗

Table 12.22. The 17 wallpaper groups

Notation and			Reflections or
Space Groups	Point Group	Lattice Type	Glide Reflections?
p1	$Z_{1}$	parallelogram	none
p2	$Z_{2}$	parallelogram	none
p3	$Z_{3}$	hexagonal	none
p4	$Z_{4}$	square	none
p6	$Z_{6}$	hexagonal	none
pm	$D_{1}$	rectangular	reflections
pg	$D_{1}$	rectangular	glide reflections
cm	$D_{1}$	rhombic	both
pmm	$D_{2}$	rectangular	reflections
pmg	$D_{2}$	rectangular	glide reflections
pgg	$D_{2}$	rectangular	both
c2mm	$D_{2}$	rhombic	both
p3m1, p31m	$D_{3}$	hexagonal	both
p4m, p4g	$D_{4}$	square	both
p6m	$D_{6}$	hexagonal	both

🔗

Theorem 12.23.

🔗

There are exactly 17 wallpaper groups.

A square on set of axes with the left edge a vector from the origin to (0,1) and bottom edge a vector from the origin to (1,0). — 🔗
Figure 12.24. The wallpaper groups p4m and p4g

A parallelogram on set of axes with the left edge a vector from the origin to (1,1) and bottom edge a vector from the origin to (1,0). — 🔗
Figure 12.24. The wallpaper groups p4m and p4g

🔗

The 17 wallpaper groups are listed in Table 12.22. The groups p3m1 and p31m can be distinguished by whether or not all of their threefold centers lie on the reflection axes: those of p3m1 must, whereas those of p31m may not. Similarly, the fourfold centers of p4m must lie on the reflection axes whereas those of p4g need not (Figure 12.24). The complete proof of this theorem can be found in several of the references at the end of this chapter, including [5], [6], [10], and [11].

🔗

Subsection Historical Note

🔗

Symmetry groups have intrigued mathematicians for a long time. Leonardo da Vinci was probably the first person to know all of the point groups. At the International Congress of Mathematicians in 1900, David Hilbert gave a now-famous address outlining 23 problems to guide mathematics in the twentieth century. Hilbert’s eighteenth problem asked whether or not crystallographic groups in

n

dimensions were always finite. In 1910, L. Bieberbach proved that crystallographic groups are finite in every dimension. Finding out how many of these groups there are in each dimension is another matter. In

R^{3}

there are 230 different space groups; in

R^{4}

there are 4783. No one has been able to compute the number of space groups for

R^{5}

and beyond. It is interesting to note that the crystallographic groups were found mathematically for

R^{3}

before the 230 different types of crystals were actually discovered in nature.

Prev Top Next