Skip to main content
\(\newcommand{\identity}{\mathrm{id}} \newcommand{\notdivide}{\nmid} \newcommand{\notsubset}{\not\subset} \newcommand{\lcm}{\operatorname{lcm}} \newcommand{\gf}{\operatorname{GF}} \newcommand{\inn}{\operatorname{Inn}} \newcommand{\aut}{\operatorname{Aut}} \newcommand{\Hom}{\operatorname{Hom}} \newcommand{\cis}{\operatorname{cis}} \newcommand{\chr}{\operatorname{char}} \newcommand{\Null}{\operatorname{Null}} \newcommand{\transpose}{\text{t}} \newcommand{\lt}{<} \newcommand{\gt}{>} \newcommand{\amp}{&} \setcounter{chapter}{-1}\)

Section7.6Exercises

1

Suppose that \(G\) is a finite group with an element \(g\) of order \(5\) and an element \(h\) of order \(7\text{.}\) Why must \(|G| \geq 35\text{?}\)

2

Suppose that \(G\) is a finite group with \(60\) elements. What are the orders of possible subgroups of \(G\text{?}\)

3

Prove or disprove: Every subgroup of the integers has finite index.

4

Prove or disprove: Every subgroup of the integers has finite order.

5

List the left and right cosets of the subgroups in each of the following.

  1. \(\langle 8 \rangle\) in \({\mathbb Z}_{24}\)

  2. \(\langle 3 \rangle\) in \(U(8)\)

  3. \(3 {\mathbb Z}\) in \({\mathbb Z}\)

  4. \(A_4\) in \(S_4\)

  5. \(A_n\) in \(S_n\)

  6. \(D_4\) in \(S_4\)

  7. \({\mathbb T}\) in \({\mathbb C}^\ast\)

  8. \(H = \{ (1), (123), (132) \}\) in \(S_4\)

6

Describe the left cosets of \(SL_2( {\mathbb R} )\) in \(GL_2( {\mathbb R})\text{.}\) What is the index of \(SL_2( {\mathbb R} )\) in \(GL_2( {\mathbb R})\text{?}\)

7

Verify Euler's Theorem for \(n = 15\) and \(a = 4\text{.}\)

8

Use Fermat's Little Theorem to show that if \(p = 4n + 3\) is prime, there is no solution to the equation \(x^2 \equiv -1 \pmod{p}\text{.}\)

9

Show that the integers have infinite index in the additive group of rational numbers.

10

Show that the additive group of real numbers has infinite index in the additive group of the complex numbers.

11

Let \(H\) be a subgroup of a group \(G\) and suppose that \(g_1, g_2 \in G\text{.}\) Prove that the following conditions are equivalent.

  1. \(g_1 H = g_2 H\)

  2. \(H g_1^{-1} = H g_2^{-1}\)

  3. \(g_1 H \subset g_2 H\)

  4. \(g_2 \in g_1 H\)

  5. \(g_1^{-1} g_2 \in H\)

12

If \(ghg^{-1} \in H\) for all \(g \in G\) and \(h \in H\text{,}\) show that right cosets are identical to left cosets. That is, show that \(gH = Hg\) for all \(g \in G\text{.}\)

13

What fails in the proof of Theorem 7.8 if \(\phi : {\mathcal L}_H \rightarrow {\mathcal R}_H\) is defined by \(\phi( gH ) = Hg\text{?}\)

14

Suppose that \(g^n = e\text{.}\) Show that the order of \(g\) divides \(n\text{.}\)

15

Show that any two permutations \(\alpha, \beta \in S_n\) have the same cycle structure if and only if there exists a permutation \(\gamma\) such that \(\beta = \gamma \alpha \gamma^{-1}\text{.}\) If \(\beta = \gamma \alpha \gamma^{-1}\) for some \(\gamma \in S_n\text{,}\) then \(\alpha\) and \(\beta\) are conjugate.

16

If \(|G| = 2n\text{,}\) prove that the number of elements of order \(2\) is odd. Use this result to show that \(G\) must contain a subgroup of order 2.

17

Suppose that \([G : H] = 2\text{.}\) If \(a\) and \(b\) are not in \(H\text{,}\) show that \(ab \in H\text{.}\)

18

If \([G : H] = 2\text{,}\) prove that \(gH = Hg\text{.}\)

19

Let \(H\) and \(K\) be subgroups of a group \(G\text{.}\) Prove that \(gH \cap gK\) is a coset of \(H \cap K\) in \(G\text{.}\)

20

Let \(H\) and \(K\) be subgroups of a group \(G\text{.}\) Define a relation \(\sim\) on \(G\) by \(a \sim b\) if there exists an \(h \in H\) and a \(k \in K\) such that \(hak = b\text{.}\) Show that this relation is an equivalence relation. The corresponding equivalence classes are called double cosets. Compute the double cosets of \(H = \{ (1),(123), (132) \}\) in \(A_4\text{.}\)

21

Let \(G\) be a cyclic group of order \(n\text{.}\) Show that there are exactly \(\phi(n)\) generators for \(G\text{.}\)

22

Let \(n = p_1^{e_1} p_2^{e_2} \cdots p_k^{e_k}\text{,}\) where \(p_1, p_2, \ldots, p_k\) are distinct primes. Prove that

\begin{equation*} \phi(n) = n \left( 1 - \frac{1}{p_1} \right) \left( 1 - \frac{1}{p_2} \right)\cdots \left( 1 - \frac{1}{p_k} \right). \end{equation*}
23

Show that

\begin{equation*} n = \sum_{d \mid n} \phi(d) \end{equation*}

for all positive integers \(n\text{.}\)

The following exercises are less about cosets and subgroups, and more about using Sage as an experimental tool. They are designed to help you become both more efficient, and more expressive, as you write commands in Sage. We will have many opportunities to work with cosets and subgroups in the coming chapters. These exercises do not contain much guidance, and get more challenging as they go. They are designed to explore, or confirm, results presented in this chapter or earlier chapters.

Important: You should answer each of the last three problems with a single (complicated) line of Sage that concludes by outputting True. A “single line” means you will have several Sage commands packaged up together in complicated ways. It does not mean several Sage commands seperated by semi-colons and typed in on a single line. Be sure include some intermediate steps used in building up your solution, but using smaller ranges of values so as to not overwhelm the reader with lots of output. This will help you, and the grader of your work, have some confidence that the final version is correct.

When you check integers below for divisibility, remember that range() produces plain integers, which are quite simple in their functionality. The srange() command produces Sage integers, which have many more capabilities. (See the last exercise for an example.) And remember that a list comprehension is a very compact way to examine many possibilities at once.

24Sage Exercise 1

Use .subgroups() to find an example of a group \(G\) and an integer \(m\text{,}\) so that (a) \(m\) divides the order of \(G\text{,}\) and (b) \(G\) has no subgroup of order \(m\text{.}\) (Do not use the group \(A_4\) for \(G\text{,}\) since this is in the text.) Provide a single line of Sage code that has all the logic to produce the desired \(m\) as its output. (You can give your group a simple name on a prior line and then just reference the group by name.) Here is a very simple example that might help you structure your answer.

25Sage Exercise 2

Verify the truth of Fermat's Little Theorem (either variant) using the composite number \(391=17\cdot 23\) as the choice of the base (either \(a\) or \(b\)), and for \(p\) assuming the value of every prime number between \(100\) and \(1000\text{.}\)

Build up a solution slowly — make a list of powers (start with just a few primes), then make a list of powers reduced by modular arithmetic, then a list of comparisons with the predicted value, then a check on all these logical values resulting from the comparisons. This is a useful strategy for many similar problems. Eventually you will write a single line that performs the verification by eventually printing out True. Here are some more hints about useful functions.

26Sage Exercise 3

Verify that the group of units mod \(n\) has order \(n-1\) when \(n\) is prime, again for all primes between \(100\) and \(1000\text{.}\) As before, your output should be simply True, just once, indicating that the statement about the order is true for all the primes examined. As before, build up your solution slowly, and with a smaller range of primes in the beginning. Express your answer as a single line of Sage code.

27Sage Exercise 4

Verify Euler's Theorem for all values of \(0\lt n\lt 100\) and for \(1\leq a \leq n\text{.}\) This will require nested for statements with a conditional. Again, here is a small example that might be helpful for constructing your one line of Sage code. Note the use of srange() in this example.

28Sage Exercise 5

The symmetric group on \(7\) symbols, \(S_7\text{,}\) has \(7! = 5040\) elements. Consider the following questions without employing Sage, based on what we know about orders of elements of permutation groups (Exercise 5.5.13).

  • What is the maximum possible order?

  • How many elements are there of order \(10\text{?}\)

  • How many elements are there of order \(1\text{?}\)

  • How many elements are there of order \(2\text{?}\)

  • What is the smallest positive integer for which there is no element with that order?

These questions will be easier if you are familiar with using binomial coefficients for counting in similarly complex situations. But either way, give some serious thought to each question (and maybe a few of your own) before firing up Sage.

Now, compute how many elements there are of each order using the .order() method, and then embed this into a list comprehension which creates a single list of these counts. You can check your work (or check Sage) by wrapping this list in sum() and hopefully getting \(5040\text{.}\)

Comment on the process of studying these questions first without any computational aid, and then again with Sage. For which values of \(n\) do you think Sage would be too slow and your mind quicker?