Point Groups in Two Dimensions - Combinations With Translational Symmetry

Combinations With Translational Symmetry

E(2) is a semidirect product of O(2) and the translation group T. In other words O(2) is a subgroup of E(2) isomorphic to the quotient group of E(2) by T:

O(2) E(2) / T

There is a "natural" surjective group homomorphism p : E(2) → E(2)/ T, sending each element g of E(2) to the coset of T to which g belongs, that is: p (g) = gT, sometimes called the canonical projection of E(2) onto E(2) / T or O(2). Its kernel is T.

For every subgroup of E(2) we can consider its image under p: a point group consisting of the cosets to which the elements of the subgroup belong, in other words, the point group obtained by ignoring translational parts of isometries. For every discrete subgroup of E(2), due to the crystallographic restriction theorem, this point group is either C_n or of type D_n for n = 1, 2, 3, 4, or 6.

C_n and D_n for n = 1, 2, 3, 4, and 6 can be combined with translational symmetry, sometimes in more than one way. Thus these 10 groups give rise to 17 wallpaper groups, and the four groups with n = 1 and 2, give also rise to 7 frieze groups.

For each of the wallpaper groups p1, p2, p3, p4, p6, the image under p of all isometry groups (i.e. the "projections" onto E(2) / T or O(2) ) are all equal to the corresponding C_n; also two frieze groups correspond to C₁ and C₂.

The isometry groups of p6m are each mapped to one of the point groups of type D₆. For the other 11 wallpaper groups, each isometry group is mapped to one of the point groups of the types D₁, D₂, D₃, or D₄. Also five frieze groups correspond to D₁ and D₂.

For a given hexagonal translation lattice there are two different groups D₃, giving rise to P31m and p3m1. For each of the types D₁, D₂, and D₄ the distinction between the 3, 4, and 2 wallpaper groups, respectively, is determined by the translation vector associated with each reflection in the group: since isometries are in the same coset regardless of translational components, a reflection and a glide reflection with the same mirror are in the same coset. Thus, isometry groups of e.g. type p4m and p4g are both mapped to point groups of type D₄.

For a given isometry group, the conjugates of a translation in the group by the elements of the group generate a translation group (a lattice)—that is a subgroup of the isometry group that only depends on the translation we started with, and the point group associated with the isometry group. This is because the conjugate of the translation by a glide reflection is the same as by the corresponding reflection: the translation vector is reflected.

If the isometry group contains an n-fold rotation then the lattice has n-fold symmetry for even n and 2n-fold for odd n. If, in the case of a discrete isometry group containing a translation, we apply this for a translation of minimum length, then, considering the vector difference of translations in two adjacent directions, it follows that n ≤ 6, and for odd n that 2n ≤ 6, hence n = 1, 2, 3, 4, or 6 (the crystallographic restriction theorem).