On the Construction of Colored Plane Crystallographic Patterns

Year: 2001 Authors: Ma. Louise Antonette N. De Las Peñas

Core claim

Colored plane crystallographic patterns can be systematically constructed and enumerated using subgroup relations among G, H, and K.

Topics

color symmetry, plane crystallographic groups, perfect colorings, non-perfect colorings, pattern enumeration

Domains

group theory, symmetry groups, crystallography, cosets, subgroups, ornamental patterning, visual design, surface decoration

Methods

orbit construction, partition of groups, subgroup analysis, coset decomposition

Media

plane patterns, colored geometric motifs, shades and stripes

Paper text

The text below is the locally extracted OCR/Markdown version of the paper. Raw PDF files remain local and are not published here.

BRIDGES Mathematical Connections in Art, Music, and Science

On the Construction of Colored Plane Crystallographic Patterns

Ma. Louise Antonette N. De Las Peñas Mathematics Department Ateneo de Manila University Loyola Heights, Quezon City, 1106 Philippines mlp@mathsci.math.admu.edu.ph

Abstract

In this paper, we present an approach to the construction of perfect and non-perfect colorings resulting from plane crystallographic groups. In particular, we consider colored patterns that arise with symmetry group normal in the symmetry group of the uncolored pattern.

Keywords: colored symmetrical patterns, perfect colorings, non-perfect colorings, plane crystallographic groups

Introduction

In the theory of color symmetry, one problem of interest is the study and analysis of colored symmetrical patterns. There are two types of colorings of a symmetrical pattern. If is the symmetry group of the pattern with the colors disregarded, the pattern is said to be perfectly colored if every element of affects a permutation of the colors of the pattern. In those instances when not all elements of permute the colors of the pattern, we obtain a non-perfectly colored pattern.

To illustrate these two types of colorings, let us consider the colored patterns appearing in Figure 1 which are assumed to repeat over the entire plane. For both, the symmetry group of the patterns with the colors disregarded is the plane crystallographic group generated by the counterclockwise rotation about the indicated point , the reflection in the horizontal line through and the translations . (see Figure 3). The pattern in Figure 1(a) is perfectly colored since every element of affects a permutation of the colors. On the other hand, the pattern appearing in Figure 1(b) is not perfectly colored since there are elements of that do not permute the colors. For instance, applying the reflection will send the color grey to the colors black and white. In fact, for this colored pattern, the elements of permuting the colors belong to the set generated by , and which form a subgroup of of plane crystallographic type .

182 Ma. Louise Antonette N. De Las Peñas

img-0.jpeg 1(a)

img-1.jpeg 1(b) Figure 1: 1(a) perfectly-colored pattern; 1(b) non-perfectly-colored pattern

The purpose of this note is to illustrate the construction of colored plane crystallographic patterns, which include the perfectly and non-perfectly colored ones. The approach we consider here is based on a framework for analyzing colored symmetrical patterns which was discussed in detail in [1] and [2].

Preliminaries

Let us now describe the setting in which we will work with colorings. Let be the symmetry group of an uncolored pattern where is a plane crystallographic group or a subgroup of a plane crystallographic group. By a plane crystallographic group we refer to the group of isometries of the Euclidean plane whose translations form a subgroup which is a free abelian group of rank two. A subgroup of a plane crystallographic group is either a plane crystallographic group, a frieze group or a finite group which is cyclic or dihedral. A frieze group is a group of isometries of the Euclidean plane whose translations from a subgroup which is an infinite cyclic group. Now consider a subset of a fundamental domain for . The set is called the -orbit of . Our assumption is that the given pattern can be obtained as the -orbit of some subset of a fundamental domain for . This -orbit of and are in one-to-one correspondence under the rule for each , so that each element of the -orbit may be labeled by each element of . By assigning a color to each element of , we assign a color to each set . This assignment of colors is called a coloring of the pattern. This results in a partition of where a set in consists of elements assigned the same color so that a coloring is simply a partition of .

To illustrate the above concept of a coloring let us consider the uncolored pattern appearing in Figure 2(a) which has symmetry group where is a -counterclockwise rotation about the center of the hexagon and is a reflection in the horizontal line through the center of the hexagon. If is the triangular region labeled “e” in Figure 2(b) then for each , the triangular region is labeled “g”. Given the following partition of , and to which we assign the colors black and white respectively, we obtain the non-perfect coloring in Figure 2(c).

On the Construction of Colored Plane Crystallographic Patterns 183

img-2.jpeg (a)

img-3.jpeg (b)

img-4.jpeg (c) Figure 2: 2(a) uncolored pattern with symmetry group ; 2(b) the labelled triangular regions; 2(c) a non-perfect coloring of

In the analysis of a coloring, three groups play a significant role. These groups are:

the symmetry group of the uncolored pattern

the subgroup of elements of which permute the colors

the subgroup of elements of which fix the colors

We will refer to as the subgroup of color transformations and as the symmetry group of the colored pattern. The groups , and are such that . If a group permutes the colors of the pattern, that is , then the coloring is perfect. Given a color, its stabilizer in will lie between and . Since acts on the set of colors of the pattern, this action induces a homomorphism , where is the group of permutations of the set of colors of the pattern. For , is the permutation of the colors that induces. An element is in the kernel of if and only if is the identity permutation, that is, fixes all the colors. Thus the kernel of is and the resulting group of color permutations is isomorphic to . Consequently, is a normal subgroup of .

If we treat a coloring as a partition of a group , then and .

Enumerating Colorings associated with Plane Crystallographic Patterns

In [1] and [2], a framework was presented for analyzing colored symmetrical patterns. Moreover, the framework allowed for the listing of colorings for an uncolored pattern with symmetry group and subgroups of such that , where the elements of permute the colors and the elements of fix the colors. In this note, we will adapt this framework to give rise to our construction of colored plane crystallographic patterns. Before we proceed to present our main results, we mention the highlights discussed previously in [1] and [2] which are important points for consideration. These concepts form the basis for the method used in coloring symmetrical patterns.

The assumptions we are to consider in determining colorings will be as follows. Let be a group and a subgroup of . Let be a partition of . Since a partition of corresponds to a coloring, we refer to as the set of colors.

Definition 1. Let be a group, , a complete set of right coset representatives of in , a decomposition of and for each , . Then the coloring or decomposition or the

184 Ma. Louise Antonette N. De Las Peñas

partition of , is called a -H coloring.

Lemma 2. A -H coloring of defines an -invariant partition of .

Remark 3. Also, if such that and for each , then the elements of fix each of the sets because if then .

Lemma 4. If is a -invariant partition of the group , then is the partition of consisting of left cosets of some subgroup of . This subgroup is the set in the partition containing . Moreover, the subgroup of elements of fixing is .

Lemma 5. Let be a group, a non-empty subset of and a subgroup of . Then for all in if and only if is a union of right cosets of in .

Theorem 6. Let be a group and a subgroup of . If is an -invariant partition of then corresponds to a decomposition of in the form where is a complete set of right coset representatives of in and for every . If in addition and fixes the elements of , then for every .

The above theorem characterizes all partitions of a group which are invariant under multiplication on the left by elements of a subgroup of and whose elements are left fixed by multiplication on the left by elements of a subgroup of . It should be mentioned that distinct complete sets of coset representatives of in may give rise to the same partition. This situation was discussed in [1].

For our main results in this paper, we will determine the -invariant partitions that arise from a given plane crystallographic group which is the symmetry group of an uncolored pattern where the elements of fix the colors such that and is a normal subgroup of .

The assumption regarding the normality condition imposed on the subgroup of allows us to form the quotient group of by , denoted by from which helpful information can be obtained in characterizing the colorings arising from . It turns out that the construction of the perfect and non-perfect colorings associated with the given groups and is influenced by the group structure of , for instance whether it is cyclic or dihedral.

A certain number of the colorings which are non-perfect may be considered equivalent. To determine if two colorings corresponding to two different partitions of are equivalent we use the following definition.

Definition 7. Consider the partitions of a group which correspond to colorings and respectively. The colorings and are equivalent if and only if there exists a such that .

We now give our main results below. We consider the particular cases when , or 4 and is cyclic or dihedral of at most twelve elements.

Theorem 8. Let be a plane crystallographic group and where is normal in . Let be a -H coloring satisfying Theorem 6. There are four perfect and four non-perfect such colorings that arise if is the cyclic group of order 6, denoted by and . Moreover, the equivalent non-perfect colorings come in pairs.

Proof. Let be the cyclic group of order 6. The proper subgroups of may be described as and . Since , we let . Under

On the Construction of Colored Plane Crystallographic Patterns 185

the action of on the set of right cosets of in , , by left multiplication we get two orbits of right cosets, and . Note that is normal in , so that every left coset is a right coset of . Using Theorem 6 we obtain Table 1 where the colors 1,2,…,6 are assigned to the right cosets of in . There are 8 colorings obtained.

HHa and used
111111;
111222
;
111234; ;
; N-PC
123444; ;
; N-PC
123456;
;
123231;
N-PC
123312;
123123;
N-PC

Table 1

From Lemma 4, the perfect colorings turn out to be colorings using left cosets of a subgroup of , . As seen in Table 1 there are four perfect colorings, and (The corresponding for each coloring is given in the last column). The remaining four colorings, and are non-perfect (N-PC). Let us consider , which is associated with the partition of , where , , and . Also consider , which is associated with the partition , where , , and . Now under the element , or . Thus by Definition 7, and are equivalent colorings. We can also verify that colorings and equivalent.

Theorem 9. Let be a plane crystallographic group and where is normal in . Let be a coloring satisfying Theorem 6. There are six perfect colorings and two non-perfect such colorings that arise if is the dihedral group of order 6 denoted by and . Moreover, both non-perfect colorings are equivalent.

Proof. Let be the dihedral group of order 6. The proper subgroups of may be described as and , and . Since we let . Then the -orbits are and .

186 Ma. Louise Antonette N. De Las Peñas

Using Theorem 6, we obtain the following color table where the colors 1,2,…, 6 are given to the right cosets of in .

HHb and used
111111;
111222;
111234;
N-PC
123444;
N-PC
123456;
123231;
123312;
123123;

Table 2

There are six perfect colorings and corresponding to each of the subgroups of , . The two non-perfect colorings, and are equivalent under the element . ■

Remark 10. From Theorems 8 and 9 given above we see that although the number of colorings listed are the same (since and is for both cases), the number of perfect/non-perfect colorings vary because the quotient group given in Theorem 8 is cyclic while that in Theorem 9 is dihedral.

We summarize the remaining results of our construction in Table 3. The proofs are omitted and can be patterned after that of Theorems 8 and 9 above. The color tables for each case can also be constructed by means of Theorem 6. The notation in the table below are as follows: by PC we mean perfect colorings, N-PC are non-perfect colorings, we mean the cyclic group of order , the dihedral group of order , where are integers and is the trivial group containing the identity.

On the Construction of Colored Plane Crystallographic Patterns 187

G/KH/K[G : H]PCN-PCEquivalent Non-perfect
1Z_{2}E22
2Z_{3}E323all 3
3Z_{4}Z_{2}234occur in pairs
4Z_{4}E43114 pairs,last 3
5Z_{6}Z_{3}244occur in pairs
6Z_{6}Z_{2}3427occur in 3’s
7D_{3}Z_{3}262occur in pairs
8D_{3}Z_{2}3625none
9Z_{8}Z_{4}2412occur in pairs
10Z_{8}Z_{2}44158occur in 4’s,last 2
11D_{4}Z_{4}2106occur in pairs
12D_{4}Klein – 421026occur in pairs
13D_{4}Z_{2}410152occur in 4’s
14Z_{9}Z_{3}3339occur in 3’s
15Z_{10}Z_{5}244occur in pairs
16Z_{12}Z_{6}2622occur in pairs
17Z_{12}Z_{4}3678occur in 3’s
18Z_{12}Z_{3}46262occur in 4’s, last2
19D_{6}Z_{6}21612occur in pairs
20D_{6}D_{3}21638occur in pairs
21D_{6}Klein – 4316303none
22D_{6}Z_{3}416252occur in 4’s

Table 3

We observe that the number of perfect/non-perfect colorings obtained varies depending not only on the group structure of but also on that of as well.

Example 11. We now illustrate Theorem 9 by considering the uncolored pattern given below whose symmetry group is the plane crystallographic group generated by .

188 Ma. Louise Antonette N. De Las Peñas

img-5.jpeg Figure 3: uncolored pattern with symmetry group

Let us choose the subgroups and of which are plane crystallographic groups of types and respectively where and is normal in . Note that and so that we can write , or equivalently, .

Let us first show how we obtain a particular coloring of . Suppose we consider and and we partition the set of right coset representatives of in into and . We obtain the decomposition

which results in a coloring where all right cosets of in are given different colors. If we assign the colors 1, 2, 3,…, 6 to and respectively, we obtain the first colored pattern in Figure 4. This is a perfect coloring and is the same coloring referred to as in Table 2. Note that to generate the coloring we consider the triangular region colored black in Figure 3 the identity .

We also give in Figure 4 the remaining six colorings of corresponding to and in Table 2. and are also perfect while and are equivalent and non-perfect. Notice that the rotation does not permute the colors in and so that these colorings are indeed non-perfect. Moreover, if we apply the rotation to coloring , we get coloring . In these sense, colorings and are equivalent. In the actual colorings, the following shades were used to represent the color numbers 1,2,3,…,6 in Table 2: 1 - white, 2-black, 3-matte, 4-grey, 5-horizontal stripes and 6-vertical stripes.

On the Construction of Colored Plane Crystallographic Patterns 189

img-6.jpeg C5

img-7.jpeg C2

img-8.jpeg C3

Figure 4: colorings of

Ma. Louise Antonette N. De Las Peñas

img-9.jpeg C4

img-10.jpeg C6

img-11.jpeg C7

img-12.jpeg C8

Figure 4: colorings of (cont.)

On the Construction of Colored Plane Crystallographic Patterns 191

References

[1] De las Peñas, M. L. N., R. P. Felix, and M. V. P. Quilinguin: A Framework for Coloring Symmetrical Patterns, Algebras and Combinatorics: An International Congress, ICAC ‘97 Hongkong, Springer-Verlag, Singapore, 159-175(1999).

[2] De las Peñas, M. L. N., R. P. Felix, and M. V. P. Quilinguin: Analysis of Colored Symmetrical Patterns, RIMS Kokyuroku Series No.1109, Research Institute for Mathematical Sciences, Kyoto University, 152-162(1999)

[3] Felix, R. P. and F. Gorospe: On imperfect colorings of symmetrical patterns, Symmetry: Culture and Science Vol. 7, No. 1, 57-58(1996).

[4] Loeb, A.: Color and Symmetry, Wiley Interscience, 1971.

[5] Macdonald, S. O. and A. P. Street: The analysis of colour symmetry, Lecture Notes in Mathematics 686, Springer-Verlag, 210-222(1978).

[6] Roth, R.: Color symmetry and group theory. Discrete Mathematics 38, 273-296(1982).

[7] Schwarzenberger, R. L. E.: Colour symmetry, Bull. Lond. Math. Soc. 16, 209-240(1984).

[8] Senechal, M.: Color symmetry, Comp. and Maths. with Appls. Vol. 16, No. 5-8, 545-553(1988).

[9] Van der Waerden, B. L. and J. J. Burckhardt: Farbgruppen, Z.Kristallogr. 115, 231-234(1961).

^{}[]

0 items under this folder.