Next Article in Journal
Recent Studies on the Aromaticity and Antiaromaticity of Planar Cyclooctatetraene
Previous Article in Journal
Systems with Symmetry Breaking and Restoration
Article Menu

Export Article

Symmetry 2010, 2(1), 69-75; doi:10.3390/sym2010069

Article
The Number of Symmetric Colorings of the Quaternion Group
School of Mathematics, University of the Witwatersrand, Private Bag 3, Wits 2050, South Africa
Received: 29 December 2009 / Accepted: 18 January 2010 / Published: 20 January 2010

Abstract

:
We compute the number of symmetric r-colorings and the number of equivalence classes of symmetric r-colorings of the quaternion group.
Keywords:
quaternion; symmetric coloring; optimal partition; Möbius function
Classification:
MSC Primary 05A15, 20D60; Secondary 11A25, 20F05
The symmetry of a group G with respect to an element g G is the mapping
σ g : G x g x 1 g G .
This is an old notion, which can be found in the book [1]. And it is a very natural one, since
σ g = λ g ι λ g 1 = ρ g ι ρ g 1 ,
where
λ g : G x g x G , ρ g : G x x g G , and ι : G x x 1 G
are the left translation, the right translation, and the inversion, respectively. Indeed, it follows from λ g ( x ) = g x that λ g 1 ( g x ) = x , so λ g 1 ( x ) = g 1 x . Consequently, λ g 1 = λ g 1 . Similarly, ρ g 1 = ρ g 1 . Then
λ g ι λ g 1 ( x ) = λ g ι λ g 1 ( x ) = g ( g 1 x ) 1 = g x 1 g and ρ g ι ρ g 1 ( x ) = ρ g ι ρ g 1 ( x ) = ( x g 1 ) 1 = g x 1 g .
Various aspects of symmetries on groups had been studied in [2].
Now let G be a finite group and let r N . An r-coloring of G is any mapping χ : G { 1 , , r } . A coloring χ of G is symmetric if there is g G such that χ ( g x 1 g ) = χ ( x ) for all x G . That is, a coloring is symmetric if it is invariant under some symmetry. Define the equivalence relation ∼ on the set of all r-colorings of G by
χ φ if and only if there is g G such that χ ( x g 1 ) = φ ( x ) for all x G .
That is, colorings are equivalent if one of them can be obtain from the other by a right translation.
Note that in the case of a finite cyclic group Z n these notions have a very simple geometric illustration. Identifying Z n with the vertices of a regular n-gon we obtain that a coloring is symmetric if it is invariant with respect to some mirror symmetry with an axis crossing the center of the polygon and one of its vertices.
Symmetry 02 00069 i001
Colorings are equivalent if one of them can be obtained from the other by rotating about the center of the polygon.
Symmetry 02 00069 i002
Obviously, the number of all r-colorings of G is r | G | . Applying Burnside’s Lemma [3, I, §3] shows that the number of equivalence classes of r-colorings of G is equal to
1 | G | g G r | G : g | ,
where g is the subgroup generated by g. However, counting symmetric r-colorings and equivalence classes of symmetric r-colorings of G turned out to be quite a difficult question.
Let S r ( G ) denote the set of symmetric r-colorings of G. In [4] it was shown that if G is Abelian, then
| S r ( G ) | = X G Y X μ ( Y , X ) | G / Y | | B ( G / Y ) | r | G / X | + | B ( G / X ) | 2 and
| S r ( G ) / | = X G Y X μ ( Y , X ) | B ( G / Y ) | r | G / X | + | B ( G / X ) | 2 .
Here, X runs over subgroups of G, Y over subgroups of X, μ ( Y , X ) is the Möbius function of the lattice of subgroups of G, and B ( G ) = { x G : x 2 = e } .
Given a finite partially ordered set, the Möbius function is defined as follows:
μ ( a , b ) = 1 if a = b a < z b μ ( z , b ) if a < b 0 otherwise .
See [3, IV] for more information about the Möbius function.
In the case of Z n formulas 1, 2 were reduced to the following elementary ones [4]:
If n is odd then
| S r ( Z n ) / | = r n + 1 2 and | S r ( Z n ) | = d | n d p | n d ( 1 p ) r d + 1 2 .
If n = 2 l m , where l 1 and m is odd, then
| S r ( Z n ) / | = r n 2 + 1 + r m + 1 2 2 and | S r ( Z n ) | = d | n 2 d p | n 2 d ( 1 p ) r d + 1 .
As usual, p denotes a prime number.
Recently, an approach for computing | S r ( G ) | and | S r ( G ) / | in the case of an arbitrary finite group G has been found [5]. The approach is based on constructing the partially ordered set of so called optimal partitions of G.
Given a partition π of G, the stabilizer and the center of π are defined by
S t ( π ) = { g G : for every x G , x and x g 1 belong to the same cell of π } and Z ( π ) = { g G : for every x G , x and g x 1 g belong to the same cell of π } .
S t ( π ) is a subgroup of G and Z ( π ) is a union of left cosets of G modulo S t ( π ) . Furthermore, if e Z ( π ) , then Z ( π ) is also a union of right cosets of G modulo S t ( π ) and for every a Z ( π ) , a Z ( π ) . We say that a partition π of G is optimal if e Z ( π ) and for every partition π of G with S t ( π ) = S t ( π ) and Z ( π ) = Z ( π ) , one has π π . The latter means that every cell of π is contained in some cell of π , or equivalently, the equivalence corresponding to π is contained in that of π . The partially ordered set of optimal partitions of G can be naturally identified with the partially ordered set of pairs ( A , B ) of subsets of G such that A = S t ( π ) and B = Z ( π ) for some partition π of G with e Z ( π ) . For every partition π , we write | π | to denote the number of cells of π .
In [5] it was shown that for every finite group G and r N ,
| S r ( G ) | = | G | x P y x μ ( y , x ) | Z ( y ) | r | x | and
| S r ( G ) / | = x P y x μ ( y , x ) | S t ( y ) | | Z ( y ) | r | x |
where P is the partially ordered set of optimal partitions of G.
The partially ordered set of optimal partitions π of G together with parameters | S t ( π ) | , | Z ( π ) | and | π | can be constructed by starting with the finest optimal partition { { x , x 1 } : x G } and using the following fact:
Let π be an optimal partition of G and let A G . Let π 1 be the finest partition of G such that π π 1 and A S t ( π 1 ) , and let π 2 be the finest partition of G such that π π 2 and A Z ( π 2 ) . Then the partitions π 1 and π 2 are also optimal.
In this note we compute explicitly the numbers | S r ( Q ) | and | S r ( Q ) / | where Q = { ± 1 , ± i , ± j , ± k } is the quaternion group.
First, we list all optimal partitions π of Q together with parameters | S t ( π ) | , | Z ( π ) | and | π | .
The finest partition
  • π : { 1 } , { 1 } , { ± i } , { ± j } , { ± k } .
  • S t ( π ) = { 1 } , Z ( π ) = { ± 1 } .
  • | S t ( π ) | = 1 , | Z ( π ) | = 2 , | π | = 5 .
Then one partition
  • π : { ± 1 } , { ± i } , { ± j } , { ± k } .
  • S t ( π ) = { ± 1 } , Z ( π ) = Q .
  • | S t ( π ) | = 2 , | Z ( π ) | = 8 , | π | = 4 .
Three partitions of the form
  • π : { ± 1 , ± i } , { ± j , ± k } .
  • S t ( π ) = { ± 1 , ± i } , Z ( π ) = Q .
  • | S t ( π ) | = 4 , | Z ( π ) | = 8 , | π | = 2 .
And the coarsest partition
  • π : { Q } .
  • | S t ( π ) | = 8 , | Z ( π ) | = 8 , | π | = 1 .
Next, we draw the partially ordered set P of optimal partitions together with parameters | S t ( π ) | , | Z ( π ) | , | π | . The picture below shows also the values of the Möbius function of the form μ ( a , 1 ) . Symmetry 02 00069 i003 Finally, by formulas 3, 4, we obtain that
| S r ( Q ) | = | Q | x P y x μ ( y , x ) | Z ( y ) | r | x | = 8 ( r 5 1 2 + r 4 ( 1 8 1 2 ) + 3 r 2 ( 1 8 1 8 ) + r ( 1 8 3 8 + 2 8 ) ) = 4 r 5 3 r 4 ,
| S r ( Q ) / | = x P y x μ ( y , x ) | S t ( y ) | | Z ( y ) | r | x | = r 5 1 2 + r 4 ( 1 4 1 2 ) + 3 r 2 ( 1 2 1 4 ) + r ( 1 3 2 + 1 2 ) = 1 2 r 5 1 4 r 4 + 3 4 r 2 .
Thus, we have showed that
Proposition. 
For every r N , | S r ( Q ) | = 4 r 5 3 r 4 and | S r ( Q ) / | = 1 2 r 5 1 4 r 4 + 3 4 r 2 .
In particular, | S 2 ( Q ) | = 80 and | S 2 ( Q ) / | = 15 , while the number all 2-colorings of Q is 2 8 = 256 and the number of equivalence classes of all 2-colorings of Q is
1 | Q | g Q 2 | Q / g | = 1 8 ( 2 8 + 2 4 + 62 2 ) = 37 .
We conclude this note with the list of all symmetric 2-colorings of Q, up to equivalence.
Symmetry 02 00069 i004

References

  1. Loos, O. Symmetric Spaces; Benjamin: New York, NY, USA, 1969. [Google Scholar]
  2. Gryshko, Y. Symmetric Subsets and Colorings of Groups; C. Sc. Dissertation, Kyiv Taras Shevchenko University: Kyiv, Ukraine, 2002; p. 118. [Google Scholar]
  3. Aigner, M. Combinatorial Theory; Springer-Verlag: Berlin-Heidelberg-New York, NY, USA, 1979. [Google Scholar]
  4. Gryshko, Y. Symmetric colorings of regular polygons. Ars. Combinatoria 2006, 78, 277–281. [Google Scholar]
  5. Zelenyuk, Y. Symmetric colorings of finite groups. Proceedings of Groups St Andrews 2009, Bath, UK, 1–15 August 2009. accepted. [Google Scholar]

© 2010 by the author; licensee Molecular Diversity Preservation International, Basel, Switzerland. This article is an open-access article distributed under the terms and conditions of the Creative Commons Attribution license http://creativecommons.org/licenses/by/3.0/.
Symmetry EISSN 2073-8994 Published by MDPI AG, Basel, Switzerland RSS E-Mail Table of Contents Alert
Back to Top