Skip to main content
Logo image

PreTeXt Sample Book Abstract Algebra (SAMPLE ONLY)

Exercises 4.5 Exercises

3.

List all of the elements in each of the following subgroups.
  1. The subgroup of \({\mathbb Z}\) generated by 7
  2. The subgroup of \({\mathbb Z}_{24}\) generated by 15
  3. All subgroups of \({\mathbb Z}_{12}\)
  4. All subgroups of \({\mathbb Z}_{60}\)
  5. All subgroups of \({\mathbb Z}_{13}\)
  6. All subgroups of \({\mathbb Z}_{48}\)
  7. The subgroup generated by 3 in \(U(20)\)
  8. The subgroup generated by 5 in \(U(18)\)
  9. The subgroup of \({\mathbb R}^\ast\) generated by 7
  10. The subgroup of \({\mathbb C}^\ast\) generated by \(i\) where \(i^2 = -1\)
  11. The subgroup of \({\mathbb C}^\ast\) generated by \(2i\)
  12. The subgroup of \({\mathbb C}^\ast\) generated by \((1 + i) / \sqrt{2}\)
  13. The subgroup of \({\mathbb C}^\ast\) generated by \((1 + \sqrt{3}\, i) / 2\)

4.

Find the subgroups of \(GL_2( {\mathbb R })\) generated by each of the following matrices.
  1. \(\displaystyle \displaystyle \begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix}\)
  2. \(\displaystyle \displaystyle \begin{pmatrix} 0 & 1/3 \\ 3 & 0 \end{pmatrix}\)
  3. \(\displaystyle \displaystyle \begin{pmatrix} 1 & -1 \\ 1 & 0 \end{pmatrix}\)
  4. \(\displaystyle \displaystyle \begin{pmatrix} 1 & -1 \\ 0 & 1 \end{pmatrix}\)
  5. \(\displaystyle \displaystyle \begin{pmatrix} 1 & -1 \\ -1 & 0 \end{pmatrix}\)
  6. \(\displaystyle \displaystyle \begin{pmatrix} \sqrt{3}/ 2 & 1/2 \\ -1/2 & \sqrt{3}/2 \end{pmatrix}\)

5.

Find the order of every element in \({\mathbb Z}_{18}\text{.}\)

6.

Find the order of every element in the symmetry group of the square, \(D_4\text{.}\)

7.

What are all of the cyclic subgroups of the quaternion group, \(Q_8\text{?}\)

9.

List every generator of each subgroup of order 8 in \({\mathbb Z}_{32}\text{.}\)

11.

If \(a^{24} =e\) in a group \(G\text{,}\) what are the possible orders of \(a\text{?}\)

12.

Find a cyclic group with exactly one generator. Can you find cyclic groups with exactly two generators? Four generators? How about \(n\) generators?

13.

For \(n \leq 20\text{,}\) which groups \(U(n)\) are cyclic? Make a conjecture as to what is true in general. Can you prove your conjecture?

14.

Let
\begin{equation*} A = \begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix} \qquad \text{and} \qquad B = \begin{pmatrix} 0 & -1 \\ 1 & -1 \end{pmatrix} \end{equation*}
be elements in \(GL_2( {\mathbb R} )\text{.}\) Show that \(A\) and \(B\) have finite orders but \(AB\) does not.

20.

List and graph the 6th roots of unity. What are the generators of this group? What are the primitive 6th roots of unity?

21.

List and graph the 5th roots of unity. What are the generators of this group? What are the primitive 5th roots of unity?

24.

Let \(p\) and \(q\) be distinct primes. How many generators does \({\mathbb Z}_{pq}\) have?

25.

Let \(p\) be prime and \(r\) be a positive integer. How many generators does \({\mathbb Z}_{p^r}\) have?

26.

Prove that \({\mathbb Z}_{p}\) has no nontrivial subgroups if \(p\) is prime.

27.

If \(g\) and \(h\) have orders 15 and 16 respectively in a group \(G\text{,}\) what is the order of \(\langle g \rangle \cap \langle h \rangle \text{?}\)

28.

Let \(a\) be an element in a group \(G\text{.}\) What is a generator for the subgroup \(\langle a^m \rangle \cap \langle a^n \rangle\text{?}\)

29.

Prove that \({\mathbb Z}_n\) has an even number of generators for \(n \gt 2\text{.}\)

30.

Suppose that \(G\) is a group and let \(a\text{,}\) \(b \in G\text{.}\) Prove that if \(|a| = m\) and \(|b| = n\) with \(\gcd(m,n) = 1\text{,}\) then \(\langle a \rangle \cap \langle b \rangle = \{ e \}\text{.}\)

31.

Let \(G\) be an abelian group. Show that the elements of finite order in \(G\) form a subgroup. This subgroup is called the torsion subgroup of \(G\text{.}\)

32.

Let \(G\) be a finite cyclic group of order \(n\) generated by \(x\text{.}\) Show that if \(y = x^k\) where \(\gcd(k,n) = 1\text{,}\) then \(y\) must be a generator of \(G\text{.}\)

33.

If \(G\) is an abelian group that contains a pair of cyclic subgroups of order 2, show that \(G\) must contain a subgroup of order 4. Does this subgroup have to be cyclic?

34.

Let \(G\) be an abelian group of order \(pq\) where \(\gcd(p,q) = 1\text{.}\) If \(G\) contains elements \(a\) and \(b\) of order \(p\) and \(q\) respectively, then show that \(G\) is cyclic.

35.

Prove that the subgroups of \(\mathbb Z\) are exactly \(n{\mathbb Z}\) for \(n = 0, 1, 2, \ldots\text{.}\)

36.

Prove that the generators of \({\mathbb Z}_n\) are the integers \(r\) such that \(1 \leq r \lt n\) and \(\gcd(r,n) = 1\text{.}\)

37.

Prove that if \(G\) has no proper nontrivial subgroups, then \(G\) is a cyclic group.

38.

Prove that the order of an element in a cyclic group \(G\) must divide the order of the group.

39.

Prove that if \(G\) is a cyclic group of order \(m\) and \(d \mid m\text{,}\) then \(G\) must have a subgroup of order \(d\text{.}\)

40.

For what integers \(n\) is \(-1\) an \(n\)th root of unity?

41.

If \(z = r( \cos \theta + i \sin \theta)\) and \(w = s(\cos \phi + i \sin \phi)\) are two nonzero complex numbers, show that
\begin{equation*} zw = rs[ \cos( \theta + \phi) + i \sin( \theta + \phi)]. \end{equation*}

42.

Prove that the circle group is a subgroup of \({\mathbb C}^*\text{.}\)

43.

Prove that the \(n\)th roots of unity form a cyclic subgroup of \({\mathbb T}\) of order \(n\text{.}\)

44.

Let \(\alpha \in \mathbb T\text{.}\) Prove that \(\alpha^m =1\) and \(\alpha^n = 1\) if and only if \(\alpha^d = 1\) for \(d = \gcd(m,n)\text{.}\)

45.

Let \(z \in {\mathbb C}^\ast\text{.}\) If \(|z| \neq 1\text{,}\) prove that the order of \(z\) is infinite.

46.

Let \(z =\cos \theta + i \sin \theta\) be in \({\mathbb T}\) where \(\theta \in {\mathbb Q}\text{.}\) Prove that the order of \(z\) is infinite.