Skip to main content

Section 14.2 Discovery guide

Subsection Conjugate elements

Discovery 14.1.

In \(D_3\text{:}\)

(a)

Is \(s\) conjugate to \(r\text{?}\)

(b)

Is \(s\) conjugate to \(r s\text{?}\)

Discovery 14.2.

Demonstrate that the identity element can only ever be conjugate to itself.

Discovery 14.3.

In this activity we will verify that conjugacy is an equivalence relation.

(a)

Reflexive. Verify that every element in a group is conjugate to itself.

(b)

Symmetric. Verify that if group element \(x\) is conjugate to group element \(y\) (i.e. there exists a group element \(g\) so that \(y = \inv{g} x g\)), then \(y\) is also conjugate to \(x\) (i.e. there exists a group element \(h\) so that \(x = \inv{h} x h\)).

(c)

Transitive. Verify that if group element \(x\) is conjugate to group element \(y\text{,}\) and \(y\) is conjugate to group element \(z\text{,}\) then also \(x\) is conjugate to \(z\text{.}\)

Since conjugacy is an equivalence relation, the equivalence classes (called conjugacy classes in this case) partition the group.

Computing conjugacy classes is tedious but not difficult: to compute the class \(\eqclass{x}\text{,}\) compute \(\inv{g} x g\) for all group elements \(g\text{,}\) and collect the results in the class. Then move on to calculating another class by choosing an element \(y\) that doesn't appear in \(\eqclass{x}\) (since otherwise you would just be calculating \(\eqclass{x}\) all over again), and computing \(\inv{g} y g\) for all group elements \(g\text{.}\) And so on.

Discovery 14.4.

Compute the conjugacy classes of the following groups.

(a)

\(\Z_6\text{.}\)

(b)

\(\Z\text{.}\)

(c)

\(D_3\text{.}\)

(d)

\(D_4\text{.}\)

Discovery 14.5.

What happened for the Abelian examples in Discovery 14.4? Would the same happen in every Abelian group? Justify your answer.

Discovery 14.6.

Use the patterns of the conjugacy classes in \(D_3\) and in \(D_4\) from Discovery 14.4 to guess what the conjugacy classes in \(D_5\) and in \(D_6\) should be.

Subsection Conjugacy in \(S_n\)

For permutations \(p\) and \(q\) in \(S_n\text{,}\) there is a trick to computing a permutation \(g\) so that \(q = \inv{g} p g\text{.}\)

Discovery 14.7.

Consider the following two elements of \(S_{11}\text{.}\)

\begin{gather*} p = \fourcycle{1}{5}{9}{11} \threecycle{2}{4}{6} \twocycle{7}{10} \onecycle{3} \onecycle{8} \\ \uparrow g \qquad \downarrow \inv{g} \\ q = \fourcycle{1\,}{2\,}{3\,}{4} \threecycle{5}{6}{7} \twocycle{8}{9} \onecycle{10} \onecycle{11} \end{gather*}

Notice that \(p\) and \(q\) have the same cycle structure (and this time we have included the \(1\)-cycles) and that we have written \(q\) above \(p\) so that cycles of the same size are above/below one another.

As indicated by the arrows, take \(g\) to be the permutation that sends each number to the one that appears above it. For example, \(g\) fixes \(1\text{,}\) sends \(2\) to \(5\text{,}\) and so on.

Write out the permutations \(g\) and \(\inv{g}\) as products of disjoint cycles. Then compute \(\inv{g} p g\) to confirm that the result is \(q\text{.}\)

The existence of the trick in Discovery 14.7 suggests that permutations with the same cycle structure are always conjugate. As we will read in the textbook, the converse is also true.

Discovery 14.8.

Instead of lots of tedious calculations, use Theorem 14.2.1 to write down all of the conjugacy classes of \(S_4\text{.}\) (Remember that \(S_4\) has \(24\) elements, so you'll know when you're done by counting elements. Also, note that a single \(1\)-cycle by itself is just the identity permutation.)

Warning 14.2.2.

The pattern of Theorem 14.2.1 does not work in \(A_n\text{,}\) because in order for two permutations \(x\) and \(y\) to be conjugate in \(A_n\text{,}\) there must exist an even permutation \(g\) so that \(y = \inv{g} x g\text{.}\)

Subsection Centre of a group

Discovery 14.9. Centre is a subgroup.

Use your preferred version of the Subgroup Test to verify that \(\Zntr(G)\) is always a subgroup of \(G\text{.}\)

Discovery 14.10. Centre of an Abelian group.

What is the centre of an Abelian group?

Discovery 14.11. Centre of \(\GL_2(\R)\).

In this activity we will determine the form that a matrix in \(\Zntr\bigl(\GL_2(\R)\bigr)\) must take. So suppose

\begin{equation*} \begin{bmatrix} a \amp b \\ c \amp d \end{bmatrix} \end{equation*}

is an element of \(\Zntr\bigl(\GL_2(\R)\bigr)\text{.}\) By definition, this means that this matrix must commute with every other (invertible) matrix.

(a)

In particular, our matrix must commute with \(\left[\begin{smallmatrix} 1 \amp 0 \\ 0 \amp -1 \end{smallmatrix}\right]\text{.}\) Use the condition

\begin{equation*} \begin{bmatrix} a \amp b \\ c \amp d \end{bmatrix} \left[\begin{array}{rr} 1 \amp 0 \\ 0 \amp -1 \end{array}\right] = \left[\begin{array}{rr} 1 \amp 0 \\ 0 \amp -1 \end{array}\right] \begin{bmatrix} a \amp b \\ c \amp d \end{bmatrix} \end{equation*}

to gain some information about the entries \(a,b,c,d\text{.}\)

(b)

As well, our matrix must commute with \(\left[\begin{smallmatrix} 0 \amp 1 \\ 1 \amp 0 \end{smallmatrix}\right]\text{.}\) Use the condition

\begin{equation*} \begin{bmatrix} a \amp b \\ c \amp d \end{bmatrix} \begin{bmatrix} 0 \amp 1 \\ 1 \amp 0 \end{bmatrix} = \begin{bmatrix} 0 \amp 1 \\ 1 \amp 0 \end{bmatrix} \begin{bmatrix} a \amp b \\ c \amp d \end{bmatrix} \end{equation*}

(but with your information from Task 14.11.a incorporated) to gain some more information about the entries \(a,b,c,d\text{.}\)

(c)

Sum up: to be in \(\Zntr\bigl(\GL_2(\R)\bigr)\text{,}\) a matrix must . (Keep in mind that such a matrix also needs to be invertible.)

Discovery 14.12.

(a)

Prove that for each \(x\) in the centre \(\Zntr(G)\text{,}\) the conjugacy class \(\eqclass{x}\) must only contain \(x\) alone.

(b)

Prove that if \(x\) is an element of a group \(G\) so that the conjugacy class \(\eqclass{x}\) contains \(x\) alone, then \(x\) must be in the centre \(\Zntr(G)\text{.}\)

Discovery 14.12 verifies the following fact.