Dihedral group of order 6

Cayley table of D3 = S3
These are the positions of the six entries:

Only the neutral elements are symmetric to the main diagonal, so this group is not abelian.

In mathematics, the smallest non-abelian group has 6 elements. It is a dihedral group with notation D3 (or D6; both are used) and the symmetric group of degree 3, with notation S3.[1]

This page illustrates many group concepts using this group as example.

Symmetry groups

In two dimensions, the group D3 is the symmetry group of an equilateral triangle. In contrast with the case of a square or other polygon, all permutations of the vertices can be achieved by rotation and flipping over (or reflecting).

In three dimensions, there are two different symmetry groups which are algebraically the group D3:

Permutations of a set of three objects

Cycle graph of D3 = S3

Consider three colored blocks (red, green, and blue), initially placed in the order RGB. Let a be the action "swap the first block and the second block", and let b be the action "swap the second block and the third block".

In multiplicative form, we traditionally write xy for the combined action "first do y, then do x"; so that ab is the action RGB ↦ RBG ↦ BRG, i.e., "take the last block and move it to the front". If we write e for "leave the blocks as they are" (the identity action), then we can write the six permutations of the set of three blocks as the following actions:

The notation in brackets is the cycle notation.

Note that the action aa has the effect RGB ↦ GRB ↦ RGB, leaving the blocks as they were; so we can write aa = e. Similarly,

so each of the above actions has an inverse.

By inspection, we can also determine associativity and closure; note for example that

The group is non-abelian since, for example, ab ≠ ba. Since it is built up from the basic actions a and b, we say that the set {a, b} generates it.

The group has presentation

\langle r, a \mid r^3 = 1, a^2 = 1, ara = r^{-1} \rangle, also written \langle r, a \mid r^3, a^2, arar \rangle
or
\langle a, b \mid a^2 = b^2 = (ab)^3 = 1 \rangle, also written \langle a, b \mid a^2, b^2, (ab)^3 \rangle

where a and b are swaps and r = ab is a cyclic permutation. Note that the second presentation means that the group is a Coxeter group. (In fact, all dihedral and symmetry groups are Coxeter groups.)

Summary of group operations

With the generators a and b, we define the additional shorthands c := aba, d := ab and f := ba. In the form of a Cayley table, the group operations now read:

*e a b c d f
e e a b c d f
a a e d f b c
b b f e d c a
c c d f e a b
d d c a b f e
f f b c a e d

Note that non-equal non-identity elements only commute if they are each other's inverse. Therefore, the group is centerless.

Conjugacy classes

We can easily distinguish three kinds of permutations of the three blocks, called conjugacy classes of the group:

For example, (RG) and (RB) are both of the form (x y); a permutation of the letters R, G, and B (namely (GB)) changes the notation (RG) into (RB). Therefore, if we apply (GB), then (RB), and then the inverse of (GB), which is also (GB), the resulting permutation is (RG).

Note that conjugate group elements always have the same order, but for groups in general group elements that have the same order need not be conjugate.

Subgroups

From Lagrange's theorem we know that any non-trivial subgroup has order 2 or 3. In fact the two cyclic permutations of all three blocks, with the identity, form a subgroup of order 3, index 2, and the swaps of two blocks, each with the identity, form three subgroups of order 2, index 3. The existence of subgroups of order 2 and 3 is also a consequence of Cauchy's theorem.

The first-mentioned is { (), (RGB), (RBG) }, the alternating group A3.

The left cosets and the right cosets of A3 coincide (as they do for any subgroup of index 2) and consist of A3 and the set of three swaps { (RB), (RG), (BG) }.

The left cosets of { (), (RG) } are:

The right cosets of { (RG), () } are:

Thus A3 is normal, and the other three non-trivial subgroups are not. The quotient group G / A3 is isomorphic with C2.

G = \mathrm{A}_3 \rtimes H, a semidirect product, where H is a subgroup of two elements: () and one of the three swaps. This decomposition is also a consequence (particular case) of the Schur–Zassenhaus theorem.

In terms of permutations the two group elements of G / A3 are the set of even permutations and the set of odd permutations.

If the original group is that generated by a 120°-rotation of a plane about a point, and reflection with respect to a line through that point, then the quotient group has the two elements which can be described as the subsets "just rotate (or do nothing)" and "take a mirror image".

Note that for the symmetry group of a square, an uneven permutation of vertices does not correspond to taking a mirror image, but to operations not allowed for rectangles, i.e. 90° rotation and applying a diagonal axis of reflection.

Semidirect products

\mathrm{C}_3 \rtimes_\varphi \mathrm{C}_2 is \mathrm{C}_3 \times \mathrm{C}_2 if both φ(0) and φ(1) are the identity. The semidirect product is isomorphic to the dihedral group of order 6 if φ(0) is the identity and φ(1) is the non-trivial automorphism of C3, which inverses the elements.

Thus we get:

(n1, 0) * (n2, h2) = (n1 + n2, h2)
(n1, 1) * (n2, h2) = (n1 − n2, 1 + h2)

for all n1, n2 in C3 and h2 in C2.

In a Cayley table:

 001020011121
00 001020011121
10 102000112101
20 200010210111
01 012111002010
11 110121100020
21 211101201000

Note that for the second digit we essentially have a 2×2 table, with 3×3 equal values for each of these 4 cells. For the first digit the left half of the table is the same as the right half, but the top half is different from the bottom half.

For the direct product the table is the same except that the first digits of the bottom half of the table are the same as in the top half.

Group action

Consider D3 in the geometrical way, as symmetry group of isometries of the plane, and consider the corresponding group action on a set of 30 evenly spaced points on a circle, numbered 0 to 29, with 0 at one of the reflexion axes.

This section illustrates group action concepts for this case.

The action of G on X is called

Orbits and stabilizers

The orbit of a point x in X is the set of elements of X to which x can be moved by the elements of G. The orbit of x is denoted by Gx:

Gx = \left\{ g\cdot x \mid g \in G \right\}

The orbits are {0, 10, 20}, {1, 9, 11, 19, 21, 29}, {2, 8, 12, 18, 22, 28}, {3, 7, 13, 17, 23, 27}, {4, 6, 14, 16, 24, 26}, and {5, 15, 25}. The points within an orbit are "equivalent". If a symmetry group applies for a pattern, then within each orbit the color is the same.

The set of all orbits of X under the action of G is written as X / G.

If Y is a subset of X, we write GY for the set { g · y : y ∈ Y and g ∈ G }. We call the subset Y invariant under G if GY = Y (which is equivalent to GY ⊆ Y). In that case, G also operates on Y. The subset Y is called fixed under G if g · y = y for all g in G and all y in Y. The union of e.g. two orbits is invariant under G, but not fixed.

For every x in X, we define the stabilizer subgroup of x (also called the isotropy group or little group) as the set of all elements in G that fix x:

G_x = \{g \in G \mid g\cdot x = x\}

If x is a reflection point (0, 5, 10, 15, 20, or 25), its stabilizer is the group of order two containing the identity and the reflection in x. In other cases the stabilizer is the trivial group.

For a fixed x in X, consider the map from G to X given by g ↦ g · x. The image of this map is the orbit of x and the coimage is the set of all left cosets of Gx. The standard quotient theorem of set theory then gives a natural bijection between G / Gx and Gx. Specifically, the bijection is given by hGx ↦ h · x. This result is known as the orbit-stabilizer theorem. In the two cases of a small orbit, the stabilizer is non-trivial.

If two elements x and y belong to the same orbit, then their stabilizer subgroups, Gx and Gy, are isomorphic. More precisely: if y = g · x, then Gy = gGx g−1. In the example this applies e.g. for 5 and 25, both reflection points. Reflection about 25 corresponds to a rotation of 10, reflection about 5, and rotation of −10.

A result closely related to the orbit-stabilizer theorem is Burnside's lemma:

\left|X/G\right|=\frac{1}{\left|G\right|}\sum_{g\in G}\left|X^g\right|

where Xg is the set of points fixed by g. I.e., the number of orbits is equal to the average number of points fixed per group element.

For the identity all 30 points are fixed, for the two rotations none, and for the three reflections two each: {0, 15}, {5, 20}, and {10, 25}. Thus, the average is six, the number of orbits.

Representation theory

Up to isomorphism, this group has three irreducible complex unitary representations, which we will call I (the trivial representation), \rho_1 and \rho_2, where the subscript indicates the dimension. By its definition as a permutation group over the set with three elements, the group has a representation on \mathbb{C}^3 by permuting the entries of the vector, the fundamental representation. This representation is not irreducible, as it decomposes as a direct sum of I and \rho_2. I appears as the subspace of vectors of the form (\lambda, \lambda, \lambda), \lambda \in \mathbb{C} and \rho_2 is the representation on its orthogonal complement, which are vectors of the form (\lambda_1, \lambda_2, -\lambda_1 -\lambda_2). The nontrivial one-dimensional representation \rho_1 arises through the groups \mathbb{Z}_2 grading: The action is multiplication by the sign of the permutation of the group element. Every finite group has such a representation since it is a subgroup of a cyclic group by its regular action. Counting the square dimensions of the representations (1^2 + 1^2 + 2^2 = 6, the order of the group), we see these must be all of the irreducible representations.[2]

A 2-dimensional irreducible linear representation yields a 1-dimensional projective representation (i.e., an action on the projective line, an embedding in the Möbius group PGL(2, C)), as elliptic transforms. This can be represented by matrices with entries 0 and ±1 (here written as fractional linear transformations), known as the anharmonic group:

and thus descends to a representation over any field, which is always faithful/injective (since no two terms differ only by only a sign). Over the field with two elements, the projective line has only 3 points, and this is thus the exceptional isomorphism S_3 \approx \mathrm{PGL}(2, 2). In characteristic 3, this embedding stabilizes the point -1 = [-1:1], since 2 = 1/2 = -1 (in characteristic greater than 3 these points are distinct and permuted, and are the orbit of the harmonic cross-ratio). Over the field with three elements, the projective line has 4 elements, and since PGL(2, 3) is isomorphic to the symmetric group on 4 elements, S4, the resulting embedding \mathrm{S}_3 \hookrightarrow \mathrm{S}_4 equals the stabilizer of the point -1.

See also

References

  1. ↑ Kubo, Jisuke (2008), "The dihedral group as a family group", Quantum field theory and beyond, World Sci. Publ., Hackensack, NJ, pp. 46–63, doi:10.1142/9789812833556_0004, MR 2588575. For the identification of D3 with S3, and the observation that this group is the smallest possible non-abelian group, see p. 49.
  2. ↑ 3">Weisstein, Eric W., "Dihedral Group D3", MathWorld.

External links

This article is issued from Wikipedia - version of the Sunday, March 13, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.