4.5: Exercises

1

Prove or disprove each of the following statements.

1. All of the generators of ${\mathbb Z}_{60}$ are prime.
2. $U(8)$ is cyclic.
3. ${\mathbb Q}$ is cyclic.
4. If every proper subgroup of a group $G$ is cyclic, then $G$ is a cyclic group.
5. A group with a finite number of subgroups is finite.

2

Find the order of each of the following elements.

1. $\displaystyle 5 \in {\mathbb Z}_{12}$
2. $\displaystyle \sqrt{3} \in {\mathbb R}$
3. $\displaystyle \sqrt{3} \in {\mathbb R}^\ast$
4. $\displaystyle -i \in {\mathbb C}^\ast$
5. $\displaystyle 72 \in {\mathbb Z}_{240}$
6. $\displaystyle 312 \in {\mathbb Z}_{471}$

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{?}$

8

List all of the cyclic subgroups of $U(30)\text{.}$

9

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

10

Find all elements of finite order in each of the following groups. Here the “$\ast$” indicates the set with zero removed.

1. $\displaystyle {\mathbb Z}$
2. $\displaystyle {\mathbb Q}^\ast$
3. $\displaystyle {\mathbb R}^\ast$

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

$$A = \begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix} \qquad \text{and} \qquad B = \begin{pmatrix} 0 & -1 \\ 1 & -1 \end{pmatrix} \nonumber$$

be elements in $GL_2( {\mathbb R} )\text{.}$ Show that $A$ and $B$ have finite orders but $AB$ does not.

15

Evaluate each of the following.

1. $\displaystyle (3-2i)+ (5i-6)$
2. $\displaystyle (4-5i)-\overline{(4i -4)}$
3. $\displaystyle (5-4i)(7+2i)$
4. $\displaystyle (9-i) \overline{(9-i)}$
5. $\displaystyle i^{45}$
6. $\displaystyle (1+i)+\overline{(1+i)}$

16

Convert the following complex numbers to the form $a + bi\text{.}$

1. $\displaystyle 2 \operatorname{cis}(\pi / 6 )$
2. $\displaystyle 5 \operatorname{cis}(9\pi/4)$
3. $\displaystyle 3 \operatorname{cis}(\pi)$
4. $\displaystyle \operatorname{cis}(7\pi/4) /2$

17

Change the following complex numbers to polar representation.

1. $\displaystyle 1-i$
2. $\displaystyle -5$
3. $\displaystyle 2+2i$
4. $\displaystyle \sqrt{3} + i$
5. $\displaystyle -3i$
6. $\displaystyle 2i + 2 \sqrt{3}$

18

Calculate each of the following expressions.

1. $\displaystyle (1+i)^{-1}$
2. $\displaystyle (1 - i)^{6}$
3. $\displaystyle (\sqrt{3} + i)^{5}$
4. $\displaystyle (-i)^{10}$
5. $\displaystyle ((1-i)/2)^{4}$
6. $\displaystyle (-\sqrt{2} - \sqrt{2}\, i)^{12}$
7. $\displaystyle (-2 + 2i)^{-5}$

19

Prove each of the following statements.

1. $\displaystyle |z| = | \overline{z}|$
2. $\displaystyle z \overline{z} = |z|^2$
3. $\displaystyle z^{-1} = \overline{z} / |z|^2$
4. $\displaystyle |z +w| \leq |z| + |w|$
5. $\displaystyle |z - w| \geq | |z| - |w||$
6. $\displaystyle |z w| = |z| |w|$

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?

22

Calculate each of the following.

1. $\displaystyle 292^{3171} \pmod{ 582}$
2. $\displaystyle 2557^{ 341} \pmod{ 5681}$
3. $\displaystyle 2071^{ 9521} \pmod{ 4724}$
4. $\displaystyle 971^{ 321} \pmod{ 765}$

23

Let $a, b \in G\text{.}$ Prove the following statements.

1. The order of $a$ is the same as the order of $a^{-1}\text{.}$
2. For all $g \in G\text{,}$ $|a| = |g^{-1}ag|\text{.}$
3. The order of $ab$ is the same as the order of $ba\text{.}$

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\text{,}$ show that $G$ must contain a subgroup of order $4\text{.}$ 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

$$zw = rs[ \cos( \theta + \phi) + i \sin( \theta + \phi)]\text{.} \nonumber$$

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.