9.6: Sage Exercises
This exercise is about putting Cayley's Theorem into practice. First, read and study the theorem. Realize that this result by itself is primarily of theoretical interest, but with some more theory we could get into some subtler aspects of this (a subject known as “representation theory”).
You should create these representations mostly with pencil-and-paper work, using Sage as a fancy calculator and assistant. You do not need to include all these computations in your worksheet. Build the requested group representations and then include enough verifications in Sage to prove that that your representation correctly represents the group.
Begin by building a permutation representation of the quaternions, \(Q\text{.}\) There are eight elements in \(Q\) (\(\pm 1, \pm I, \pm J, \pm K\)), so you will be constructing a subgroup of \(S_8\text{.}\) For each \(g\in Q\) form the function \(T_g\text{,}\) defined as \(T_g(x)=xg\text{.}\) Notice that this definition is the “reverse” of that given in the text. This is because Sage composes permutations left-to-right, while your text composes right-to-left. To create the permutations \(T_g\text{,}\) the two-line version of writing permutations could be very useful as an intermediate step. You will probably want to “code” each element of \(Q\) with an integer in \(\{1,2,\dots,8\}\text{.}\)
One such representation is included in Sage as
QuaternionGroup()
— your answer should look very similar, but perhaps not identical. Do not submit your answer for a representation of the quaternions, but I strongly suggest working this particular group representation until you are sure you have it right — the problems below might be very difficult otherwise. You can use Sage's
.is_isomorphic()
method to check if your representations are correct. However, do not use this as a substitute for the part of each question that asks you to investigate properties of your representation towards this end.
-
Build the permutation representation of \({\mathbb Z}_2\times{\mathbb Z}_4\) described in Cayley's Theorem. (Remember that this group is additive, while the theorem uses multiplicative notation.) Include the representation of
each
of the \(8\) elements in your submitted work. Then construct the permutation group as a subgroup of a full symmetric group that is generated by exactly two of the eight elements you have already constructed. Hint: which two elements of \({\mathbb Z}_2\times{\mathbb Z}_4\) might you use to generate all of \({\mathbb Z}_2\times{\mathbb Z}_4\text{?}\) Use commands in Sage to investigate various properties of your permutation group, other than just
.list()
, to provide evidence that your subgroup is correct — include these in your submitted worksheet. -
Build a permutation representation of \(U(24)\text{,}\) the group of units mod 24. Again, list a representation of
each
element in your submitted work. Then construct the group as a subgroup of a full symmetric group created with three generators. To determine these three generators, you will likely need to understand \(U(24)\) as an internal direct product. Use commands in Sage to investigate various properties of your group, other than just
.list()
, to provide evidence that your subgroup is correct — include these in your submitted worksheet.
Consider the symmetries of a 10-gon, \(D_{10}\) in your text,
DihedralGroup(10)
in Sage. Presume that the vertices of the 10-gon have been labeled \(1\) through \(10\) in order. Identify the permutation that is a \(180\) degree rotation and use it to generate a subgroup \(R\) of order \(2\text{.}\) Then identify the permutation that is a \(72\) degree rotation, and any one of the ten permutations that are a reflection of the \(10\)-gon about a line. Use these latter two permutations to generate a subgroup \(S\) of order \(10\text{.}\) Use Sage to verify that the full dihedral group is the internal direct product of the subgroups \(R\) and \(S\) by checking the conditions in the definition of an internal direct product.
We have a theorem which says that if a group is an internal direct product, then it is isomorphic to some external direct product. Understand that this does not mean that you can use the converse in this problem. In other words, establishing an isomorphism of \(G\) with an external direct product does not prove that \(G\) is an internal direct product.