Skip to main content
Mathematics LibreTexts

14.3: Burnside's Counting Theorem

  • Page ID
    81143
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    Suppose that we wish to color the vertices of a square with two different colors, say black and white. We might suspect that there would be \(2^4=16\) different colorings. However, some of these colorings are equivalent. If we color the first vertex black and the remaining vertices white, it is the same as coloring the second vertex black and the remaining ones white since we could obtain the second coloring simply by rotating the square \(90^\circ\) (Figure \(14.17\)).

    clipboard_eb73378a8b6d01164636fac20817a4f61.png

    \(Figure \text { } 14.17.\) Equivalent colorings of square.

    Burnside's Counting Theorem offers a method of computing the number of distinguishable ways in which something can be done. In addition to its geometric applications, the theorem has interesting applications to areas in switching theory and chemistry. The proof of Burnside's Counting Theorem depends on the following lemma.

    Lemma \(14.18\)

    Let \(X\) be a \(G\)-set and suppose that \(x \sim y\text{.}\) Then \(G_x\) is isomorphic to \(G_y\text{.}\) In particular, \(|G_x| = |G_y|\text{.}\)

    Proof

    Let \(G\) act on \(X\) by \((g,x) \mapsto g \cdot x\text{.}\) Since \(x \sim y\text{,}\) there exists a \(g \in G\) such that \(g \cdot x=y\text{.}\) Let \(a \in G_x\text{.}\) Since

    \[ gag^{-1} \cdot y = ga \cdot g^{-1}y = ga \cdot x = g \cdot x = y\text{,} \nonumber \]

    we can define a map \(\phi: G_x \rightarrow G_y\) by \(\phi(a) = gag^{-1}\text{.}\) The map \(\phi\) is a homomorphism since

    \[ \phi(ab) = gabg^{-1} = gag^{-1} gbg^{-1} = \phi(a) \phi(b)\text{.} \nonumber \]

    Suppose that \(\phi(a) = \phi(b)\text{.}\) Then \(gag^{-1}= gbg^{-1}\) or \(a=b\text{;}\) hence, the map is injective. To show that \(\phi\) is onto, let \(b\) be in \(G_y\text{;}\) then \(g^{-1}bg\) is in \(G_x\) since

    \[ g^{-1}bg \cdot x = g^{-1}b \cdot gx = g^{-1}b \cdot y = g^{-1} \cdot y = x; \nonumber \]

    and \(\phi(g^{-1}bg ) = b\text{.}\)

    Theorem \(14.19\). Burnside

    Let \(G\) be a finite group acting on a set \(X\) and let \(k\) denote the number of orbits of \(X\text{.}\) Then

    \[ k = \frac{1}{|G|} \sum_{g \in G} |X_g|\text{.} \nonumber \]
    Proof

    We look at all the fixed points \(x\) of all the elements in \(g \in G\text{;}\) that is, we look at all \(g\)'s and all \(x\)'s such that \(gx =x\text{.}\) If viewed in terms of fixed point sets, the number of all \(g\)'s fixing \(x\)'s is

    \[ \sum_{g \in G} |X_g|\text{.} \nonumber \]

    However, if viewed in terms of the stabilizer subgroups, this number is

    \[ \sum_{x \in X} |G_x|; \nonumber \]

    hence, \(\sum_{g \in G} |X_g| = \sum_{x \in X} |G_x|\text{.}\) By Lemma \(14.18\),

    \[ \sum_{y \in {\mathcal O}_x} |G_y| = | {\mathcal O}_x| \cdot |G_x|\text{.} \nonumber \]

    By Theorem \(14.11\) and Lagrange's Theorem, this expression is equal to \(|G|\text{.}\) Summing over all of the \(k\) distinct orbits, we conclude that

    \[ \sum_{g \in G} |X_g| = \sum_{x \in X} |G_x| = k \cdot |G|\text{.} \nonumber \]

    Example \(14.20\)

    Let \(X = \{1, 2, 3, 4, 5 \}\) and suppose that \(G\) is the permutation group \(G= \{(1), (1 \, 3), (1 \, 3)(2 \, 5), (2 \, 5) \}\text{.}\)

    Solution

    The orbits of \(X\) are \(\{1, 3\}\text{,}\) \(\{2, 5\}\text{,}\) and \(\{4\}\text{.}\) The fixed point sets are

    \begin{align*} X_{(1)} & = X\\ X_{(1 \, 3)} & = \{2, 4, 5 \}\\ X_{(1 \, 3)(2 \, 5)} & = \{4\}\\ X_{(2 \, 5)} & = \{1, 3, 4 \}\text{.} \end{align*}

    Burnside's Theorem says that

    \[ k = \frac{1}{|G|} \sum_{g \in G} |X_g| = \frac{1}{4}(5 + 3 + 1 + 3) = 3\text{.} \nonumber \]

    A Geometric Example

    Before we apply Burnside's Theorem to switching-theory problems, let us examine the number of ways in which the vertices of a square can be colored black or white. Notice that we can sometimes obtain equivalent colorings by simply applying a rigid motion to the square. For instance, as we have pointed out, if we color one of the vertices black and the remaining three white, it does not matter which vertex was colored black since a rotation will give an equivalent coloring.

    The symmetry group of a square, \(D_4\text{,}\) is given by the following permutations:

    \begin{align*} &(1) & &(1 \, 3) & & (2 \, 4) & & (1 \, 4 \, 3 \, 2)\\ &(1 \, 2 \, 3 \, 4) & &(1 \, 2)(3 \, 4) & & (1 \, 4)(2 \, 3) & & (1 \, 3)(2 \, 4) \end{align*}

    The group \(G\) acts on the set of vertices \(\{ 1, 2, 3, 4\}\) in the usual manner. We can describe the different colorings by mappings from \(X\) into \(Y = \{ B, W \}\) where \(B\) and \(W\) represent the colors black and white, respectively. Each map \(f : X \rightarrow Y\) describes a way to color the corners of the square. Every \(\sigma \in D_4\) induces a permutation \(\widetilde{ \sigma }\) of the possible colorings given by \(\widetilde{\sigma}(f) = f \circ \sigma\) for \(f : X \rightarrow Y\text{.}\) For example, suppose that \(f\) is defined by

    \begin{align*} f(1) & = B\\ f(2) & = W\\ f(3) & = W\\ f(4) & = W \end{align*}

    and \(\sigma = (1 2)(3 4)\text{.}\) Then \(\widetilde{\sigma}(f) = f \circ \sigma\) sends vertex \(2\) to \(B\) and the remaining vertices to \(W\text{.}\) The set of all such \(\widetilde{\sigma}\) is a permutation group \(\widetilde{G}\) on the set of possible colorings. Let \(\widetilde{X}\) denote the set of all possible colorings; that is, \(\widetilde{X}\) is the set of all possible maps from \(X\) to \(Y\text{.}\) Now we must compute the number of \(\widetilde{G}\)-equivalence classes.

    1. \(\widetilde{X}_{(1)} = \widetilde{X}\) since the identity fixes every possible coloring. \(|\widetilde{X}| = 2^4 =~16\text{.}\)
    2. \(\widetilde{X}_{(1 \, 2 \, 3 \, 4)}\) consists of all \(f \in \widetilde{X}\) such that \(f\) is unchanged by the permutation \((1 \, 2 \, 3 \, 4)\text{.}\) In this case \(f(1) = f(2) = f(3) = f(4)\text{,}\) so that all values of \(f\) must be the same; that is, either \(f(x)= B\) or \(f(x)= W\) for every vertex \(x\) of the square. So \(|\widetilde{X}_{(1 \, 2 \, 3 \, 4)}| = 2\text{.}\)
    3. \(|\widetilde{X}_{(1 \, 4 \, 3 \, 2)}| = 2\text{.}\)
    4. For \(\widetilde{X}_{(1 \, 3)(2 \, 4)}\text{,}\) \(f(1) = f(3)\) and \(f(2) = f(4)\text{.}\) Thus, \(|\widetilde{X}_{(1 \, 3)(2 \, 4)}| = 2^2 = 4\text{.}\)
    5. \(|\widetilde{X}_{(1 \, 2)(3 \, 4)}| = 4\text{.}\)
    6. \(|\widetilde{X}_{(1 \, 4)(2 \, 3)}| = 4\text{.}\)
    7. For \(\widetilde{X}_{(1 \, 3 )}\text{,}\) \(f(1) = f(3)\) and the other corners can be of any color; hence, \(|\widetilde{X}_{(1 \, 3)}| = 2^3 = 8\text{.}\)
    8. \(|\widetilde{X}_{(2 \, 4)}| = 8\text{.}\)

    By Burnside's Theorem, we can conclude that there are exactly

    \[ \frac{1}{8} ( 2^4 + 2^1 + 2^2 + 2^1 + 2^2 + 2^2 +2^3 + 2^3) = 6 \nonumber \]

    ways to color the vertices of the square.

    Proposition \(14.21\)

    Let \(G\) be a permutation group of \(X\) and \(\widetilde{X}\) the set of functions from \(X\) to \(Y\text{.}\) Then there exists a permutation group \(\widetilde{G}\) acting on \(\widetilde{X}\text{,}\) where \(\widetilde{\sigma} \in \widetilde{G}\) is defined by \(\widetilde{\sigma}(f) = f \circ \sigma\) for \(\sigma \in G\) and \(f \in \widetilde{X}\text{.}\) Furthermore, if \(n\) is the number of cycles in the cycle decomposition of \(\sigma\text{,}\) then \(|\widetilde{X}_{\sigma}| = |Y|^n\text{.}\)

    Proof

    Let \(\sigma \in G\) and \(f \in \widetilde{X}\text{.}\) Clearly, \(f \circ \sigma\) is also in \(\widetilde{X}\text{.}\) Suppose that \(g\) is another function from \(X\) to \(Y\) such that \(\widetilde{\sigma}(f) = \widetilde{\sigma}(g)\text{.}\) Then for each \(x \in X\text{,}\)

    \[ f( \sigma(x )) = \widetilde{\sigma}(f)(x) = \widetilde{\sigma}(g)(x) = g( \sigma(x ))\text{.} \nonumber \]

    Since \(\sigma\) is a permutation of \(X\text{,}\) every element \(x'\) in \(X\) is the image of some \(x\) in \(X\) under \(\sigma\text{;}\) hence, \(f\) and \(g\) agree on all elements of \(X\text{.}\) Therefore, \(f=g\) and \(\widetilde{\sigma}\) is injective. The map \(\sigma \mapsto \widetilde{\sigma}\) is onto, since the two sets are the same size.

    Suppose that \(\sigma\) is a permutation of \(X\) with cycle decomposition \(\sigma = \sigma_1 \sigma_2 \cdots \sigma_n\text{.}\) Any \(f\) in \({\widetilde{X}}_{\sigma}\) must have the same value on each cycle of \(\sigma\text{.}\) Since there are \(n\) cycles and \(|Y|\) possible values for each cycle, \(|{\widetilde{X}}_{\sigma}| = |Y|^n\text{.}\)

    Example \(14.22\)

    Let \(X = \{1, 2, \ldots, 7\}\) and suppose that \(Y = \{ A, B, C \}\text{.}\) If \(g\) is the permutation of \(X\) given by \((1 \, 3)(2 \, 4 \, 5) = (1 \, 3)(2 \, 4 \, 5)(6)(7)\text{,}\)

    Solution

    then \(n = 4\text{.}\) Any \(f \in \widetilde{X}_g\) must have the same value on each cycle in \(g\text{.}\) There are \(|Y|=3\) such choices for any value, so \(|\widetilde{X}_g| = 3^4 = 81\text{.}\)

    Example \(14.23\)

    Suppose that we wish to color the vertices of a square using four different colors. By Proposition \(14.21\), we can immediately decide that there are

    Solution

    \[ \frac{1}{8} (4^4 + 4^1 + 4^2 + 4^1 + 4^2 + 4^ 2 + 4^3 + 4^3) = 55 \nonumber \]

    possible ways.

    Switching Functions

    In switching theory we are concerned with the design of electronic circuits with binary inputs and outputs. The simplest of these circuits is a switching function that has \(n\) inputs and a single output (Figure \(14.24\)). Large electronic circuits can often be constructed by combining smaller modules of this kind. The inherent problem here is that even for a simple circuit a large number of different switching functions can be constructed. With only four inputs and a single output, we can construct 65,536 different switching functions. However, we can often replace one switching function with another merely by permuting the input leads to the circuit (Figure \(14.25\)).

    clipboard_e41f7797e4bdb45bf6ca0e5af0de8ee1f.png

    \(Figure \text { } 14.24.\) A switching function of \(n\) variables

    We define a switching or Boolean function of \(n\) variables to be a function from \({\mathbb Z}_2^n\) to \({\mathbb Z}_2\text{.}\) Since any switching function can have two possible values for each binary \(n\)-tuple and there are \(2^n\) binary \(n\)-tuples, \(2^{2^n}\) switching functions are possible for \(n\) variables. In general, allowing permutations of the inputs greatly reduces the number of different kinds of modules that are needed to build a large circuit.

    clipboard_e16cc6e3bba80fc9a54eefe0b22bd3022.png

    \(Figure \text { } 14.25. A switching function of two variables

    The possible switching functions with two input variables \(a\) and \(b\) are listed in Table \(14.26\). Two switching functions \(f\) and \(g\) are equivalent if \(g\) can be obtained from \(f\) by a permutation of the input variables. For example, \(g(a, b, c) = f(b, c, a)\text{.}\) In this case \(g \sim f\) via the permutation \((a,c,b)\text{.}\) In the case of switching functions of two variables, the permutation \((a,b)\) reduces 16 possible switching functions to 12 equivalent functions since

    \begin{align*} f_2 & \sim f_4\\ f_3 & \sim f_5\\ f_{10} & \sim f_{12}\\ f_{11} & \sim f_{13}\text{.} \end{align*}

     \(Table \text { } 14.26\). Switching functions in two variables

    Inputs Outputs
        \(f_0\) \(f_1\) \(f_2\) \(f_3\) \(f_4\) \(f_5\) \(f_6\) \(f_7\)
    \(0\) \(0\) \(0\) \(0\) \(0\) \(0\) \(0\) \(0\) \(0\) \(0\)
    \(0\) \(1\) \(0\) \(0\) \(0\) \(0\) \(1\) \(1\) \(1\) \(1\)
    \(1\) \(0\) \(0\) \(0\) \(1\) \(1\) \(0\) \(0\) \(1\) \(1\)
    \(1\) \(1\) \(0\) \(1\) \(0\) \(1\) \(0\) \(1\) \(0\) \(1\)
    Inputs Outputs
        \(f_8\) \(f_9\) \(f_{10}\) \(f_{11}\) \(f_{12}\) \(f_{13}\) \(f_{14}\) \(f_{15}\)
    \(0\) \(0\) \(1\) \(1\) \(1\) \(1\) \(1\) \(1\) \(1\) \(1\)
    \(0\) \(1\) \(0\) \(0\) \(0\) \(0\) \(1\) \(1\) \(1\) \(1\)
    \(1\) \(0\) \(0\) \(0\) \(1\) \(1\) \(0\) \(0\) \(1\) \(1\)
    \(1\) \(1\) \(0\) \(1\) \(0\) \(1\) \(0\) \(1\) \(0\) \(1\)
     
     
     
     

    For three input variables there are \(2^{2^3} = 256\) possible switching functions; in the case of four variables there are \(2^{2^4} =65{,}536\text{.}\) The number of equivalence classes is too large to reasonably calculate directly. It is necessary to employ Burnside's Theorem.

    Consider a switching function with three possible inputs, \(a\text{,}\) \(b\text{,}\) and \(c\text{.}\) As we have mentioned, two switching functions \(f\) and \(g\) are equivalent if a permutation of the input variables of \(f\) gives \(g\text{.}\) It is important to notice that a permutation of the switching functions is not simply a permutation of the input values \(\{a, b, c\}\text{.}\) A switching function is a set of output values for the inputs \(a\text{,}\) \(b\text{,}\) and \(c\text{,}\) so when we consider equivalent switching functions, we are permuting \(2^3\) possible outputs, not just three input values. For example, each binary triple \((a, b, c)\) has a specific output associated with it. The permutation \((acb)\) changes outputs as follows:

    \begin{align*} (0, 0, 0) & \mapsto (0, 0, 0)\\ (0, 0, 1) & \mapsto (0, 1, 0)\\ (0, 1, 0) & \mapsto (1, 0, 0)\\ & \vdots\\ (1, 1, 0) & \mapsto (1, 0, 1)\\ (1, 1, 1) & \mapsto (1, 1, 1)\text{.} \end{align*}

    Let \(X\) be the set of output values for a switching function in \(n\) variables. Then \(|X|=2^n\text{.}\) We can enumerate these values as follows:

    \begin{align*} (0, \ldots, 0, 1) & \mapsto 0\\ (0, \ldots, 1, 0) & \mapsto 1\\ (0, \ldots, 1, 1) & \mapsto 2\\ & \vdots\\ (1, \ldots, 1, 1) & \mapsto 2^n-1\text{.} \end{align*}

    Now let us consider a circuit with four input variables and a single output. Suppose that we can permute the leads of any circuit according to the following permutation group:

    \begin{gather*} (a), \quad (a,c), \quad (b,d), \quad (a,d,c,b),\\ (a,b,c,d), \quad (a,b)(c,d), \quad (a,d)(b,c), \quad (a,c)(b,d)\text{.} \end{gather*}

    The permutations of the four possible input variables induce the permutations of the output values in Table \(14.27\).

    Hence, there are

    \[ \frac{1}{8} (2^{16} + 2 \cdot 2^{12} + 2 \cdot 2^6 + 3 \cdot 2^{10}) = 9616 \nonumber \]

    possible switching functions of four variables under this group of permutations. This number will be even smaller if we consider the full symmetric group on four letters.

    \(Table \text { } 14.27\). Permutations of switching functions in four variables

    Group   Number
    Permutation Switching Function Permutation of Cycles
    \((a)\) \((0)\) 16
    \((a, c)\) \((2,8)(3,9)(6,12)(7,13)\) 12
    \((b, d)\) \((1,4)(3,6)(9,12)(11,14)\) 12
    \((a, d, c, b)\) \((1,2,4,8)(3,6.12,9)(5,10)(7,14,13,11)\) 6
    \((a, b, c, d)\) \((1,8,4,2)(3,9,12,6)(5,10)(7,11,13,14)\) 6
    \((a, b)(c, d)\) \((1,2)(4,8)(5,10)(6,9)(7,11)(13,14)\) 10
    \((a, d)(b, c)\) \((1,8)(2,4)(3,12)(5,10)(7,14)(11,13)\) 10
    \((a, c)(b, d)\) \((1,4)(2,8)(3,12)(6,9)(7,13)(11,14)\) 10

     Historical Note

    William Burnside was born in London in 1852. He attended Cambridge University from 1871 to 1875 and won the Smith's Prize in his last year. After his graduation he lectured at Cambridge. He was made a member of the Royal Society in 1893. Burnside wrote approximately 150 papers on topics in applied mathematics, differential geometry, and probability, but his most famous contributions were in group theory. Several of Burnside's conjectures have stimulated research to this day. One such conjecture was that every group of odd order is solvable; that is, for a group \(G\) of odd order, there exists a sequence of subgroups

    \[ G = H_n \supset H_{n-1} \supset \cdots \supset H_1 \supset H_0 = \{ e \} \nonumber \]

    such that \(H_i\) is normal in \(H_{i+1}\) and \(H_{i+1} / H_i\) is abelian. This conjecture was finally proven by W. Feit and J. Thompson in 1963. Burnside's The Theory of Groups of Finite Order, published in 1897, was one of the first books to treat groups in a modern context as opposed to permutation groups. The second edition, published in 1911, is still a classic.


    This page titled 14.3: Burnside's Counting Theorem is shared under a GNU Free Documentation License 1.3 license and was authored, remixed, and/or curated by Thomas W. Judson (Abstract Algebra: Theory and Applications) via source content that was edited to the style and standards of the LibreTexts platform.

    • Was this article helpful?