Chapter 4

Cyclic Groups

[89/79%]
Show
LaTeX
Problem 4.1

Find all generators of Z6\mathbb {Z}_6, Z8\mathbb {Z}_8, and Z20\mathbb {Z}_{20}.

?
Problem 4.2

Suppose that ⟨a⟩\left\langle a\right\rangle, ⟨b⟩\left\langle b\right\rangle, and ⟨c⟩\left\langle c\right\rangle are cyclic groups of orders 6, 8, and 20, respectively. Find all generators of ⟨a⟩\left\langle a\right\rangle, ⟨b⟩\left\langle b\right\rangle, and ⟨c⟩\left\langle c\right\rangle.

?
Problem 4.3

List the elements of the subgroups ⟨20⟩\left\langle 20\right\rangle and ⟨10⟩\left\langle 10\right\rangle in Z30\mathbb {Z}_{30}. Let aa be a group element of order 30. List the elements of the subgroups ⟨a20⟩\left\langle a^{20}\right\rangle and ⟨a10⟩\left\langle a^{10}\right\rangle.

?
Problem 4.4

List the elements of the subgroups ⟨3⟩\left\langle 3\right\rangle and ⟨15⟩\left\langle 15\right\rangle in Z18\mathbb {Z}_{18}. Let aa be a group element of order 18. List the elements of the subgroups ⟨a3⟩\left\langle a^3\right\rangle and ⟨a15⟩\left\langle a^{15}\right\rangle.

?
Problem 4.5

List the elements of the subgroups ⟨3⟩\left\langle 3\right\rangle and ⟨7⟩\left\langle 7\right\rangle in U(20)U(20).

?
Problem 4.6

What do Exercises 3, 4, and 5 have in common? Try to make a generalization that includes these three cases.

?
Problem 4.7

Find an example of a noncyclic group, all of whose proper subgroups are cyclic.

?
Problem 4.8

Let aa be an element of a group and let ∣a∣=15|a| = 15. Compute the orders of the following elements of GG.

?
(a)

a3,a6,a9,a12a^3, a^6, a^9, a^{12}

(b)

a5,a10a^5, a^{10}

(c)

a2,a4,a8,a14a^2, a^4, a^8, a^{14}

Problem 4.9

How many subgroups does Z20\mathbb {Z}_{20} have? List a generator for each of these subgroups. Suppose that G=⟨a⟩G = \left\langle a\right\rangle and ∣a∣=20|a| = 20. How many subgroups does GG have? List a generator for each of these subgroups.

?
Problem 4.10

In Z24\mathbb {Z}_{24}, list all generators for the subgroup of order 8. Let G=⟨a⟩G = \left\langle a\right\rangle and let ∣a∣=24|a| = 24. List all generators for the subgroup of order 8.

?
Problem 4.11

Let GG be a group and let a∈Ga \in G. Prove that ⟨a−1⟩=⟨a⟩\left\langle a^{-1}\right\rangle = \left\langle a\right\rangle.

?
Problem 4.12

In Z\mathbb {Z}, find all generators of the subgroup ⟨3⟩\left\langle 3\right\rangle. If aa has infinite order, find all generators of the subgroup ⟨a3⟩\left\langle a^3\right\rangle.

?
Problem 4.13

In Z\mathbb {Z}, find a generator of the subgroup ⟨10⟩∩⟨12⟩\left\langle 10\right\rangle \cap \left\langle 12\right\rangle. In general, what is a generator of the subgroup ⟨m⟩∩⟨n⟩\left\langle m\right\rangle \cap \left\langle n\right\rangle? If aa is a group element of infinite order, what is a generator of the subgroup ⟨am⟩∩⟨an⟩\left\langle a^m\right\rangle \cap \left\langle a^n\right\rangle?

?
Problem 4.14

Suppose that a cyclic group GG has exactly three subgroups: GG itself, {e}\{ e\}, and a subgroup of order 7. What is ∣G∣|G|? What can you say if 7 is replaced with pp where pp is a prime?

?
Problem 4.15

Let GG be an Abelian group and let H={g∈G∣∣g∣ divides 12}H = \left\{ g \in G \mid |g| \text{ divides } 12\right\}. Prove that HH is a subgroup of GG. Is there anything special about 12 here? Would your proof be valid if 12 were replaced by some other positive integer? State the general result.

?
Problem 4.16

Let aa be an element of a group.

?
(a)

Complete the statement: ∣a∣=∣a2∣|a| = |a^2| if and only if ∣a∣…|a| \ldots

(b)

Complete the statement: ∣a2∣=∣a12∣|a^2| = |a^{12}| if and only if …\ldots

(c)

If ∣a∣=∞|a| = \infty complete the statement: ∣ai∣=∣aj∣|a^i| = |a^j| if and only if …\ldots

(d)

If ∣a∣=∞|a| = \infty complete the statement: ⟨ai⟩=⟨aj⟩\left\langle a^i\right\rangle = \left\langle a^j\right\rangle if and only if …\ldots

Problem 4.17

Let aa be a generator of a cyclic group GG. If ∣G∣=n|G| = n is odd and ⟨a6⟩\left\langle a^6\right\rangle is a proper subgroup of ⟨a⟩\left\langle a\right\rangle determine ∣⟨a6⟩∣| \left\langle a^6\right\rangle |.

?
Problem 4.18

Let aa be a generator of a cyclic group GG. If ∣G∣=n|G| = n and ⟨a10⟩=⟨a5⟩\left\langle a^{10}\right\rangle = \left\langle a^5\right\rangle prove that nn is odd.

?
Problem 4.19

Let nn be an element of a group. If ∣a2∣=3|a^2| = 3, what are the possibilities for ∣a∣|a|? What are they if ∣a2∣=4|a^2| = 4?

?
Problem 4.20

Let pp be prime and nn a positive integer. How many cyclic subgroups does DpnD_{p^n} have? If pp and qq are distinct primes how many cyclic subgroups does DpqD_{pq} have?

?
Problem 4.21

Prove that if GG is a group with the property that the square of every element is the identity then GG is Abelian.

?
Problem 4.22

Determine ϕ(81)\phi (81), ϕ(60)\phi (60), ϕ(105)\phi (105) where ϕ\phi is the Euler phi function.

?
Problem 4.23

Let aa and bb elements of a finite group and aa and bb commute. Prove that ∣ab∣=∣a∣∣b∣|ab| = |a||b| if and only if gcd⁡(∣a∣,∣b∣)=1\gcd (|a|, |b|) = 1.

?
Problem 4.24

Suppose that GG is a group with more than one element and GG has no proper, nontrivial subgroups. Prove that ∣G∣|G| is prime. (Do not assume at the outset that GG is finite.)

?
Problem 4.25

Let HH be a subgroup of DnD_n of odd order. Use Exercise 31 in Chapter 3 to prove that every subgroup of HH is cyclic.

?
Problem 4.26

Give infinitely many examples of Abelian groups that have exactly 2 elements of order 3. Do the same for infinitely many non-Abelian groups. Do your examples generalize to the case of exactly p−1p - 1 elements of order pp where pp is an odd prime?

?
Problem 4.27

If a cyclic group has an element of infinite order, how many elements of finite order does it have?

?
Problem 4.28

Suppose that GG is an Abelian group of order 35 and every element of GG satisfies the equation x35=ex^{35} = e. Prove that GG is cyclic. Does your argument work if 35 is replaced with 33?

?
Problem 4.29

Let GG be a group and let aa be an element of GG.

?
(a)

If a12=ea^{12} = e, what can we say about the order of aa?

(b)

If am=ea^m = e, what can we say about the order of aa?

(c)

Suppose that ∣G∣=24|G| = 24 and that GG is cyclic. If a8≠ea^8 \neq e and a12≠ea^{12} \neq e, show that ⟨a⟩=G\left\langle a\right\rangle = G.

Problem 4.30

Prove that a group of order 3 must be cyclic.

?
Problem 4.31

Let Z\mathbb {Z} denote the group of integers under addition. Is every subgroup of Z\mathbb {Z} cyclic? Why? Describe all the subgroups of Z\mathbb {Z}. Let aa be a group element with infinite order. Describe all subgroups of ⟨a⟩\left\langle a\right\rangle.

?
Problem 4.32

For any element aa in any group GG, prove that ⟨a⟩\left\langle a\right\rangle is a subgroup of C(a)C(a) (the centralizer of aa).

?
Problem 4.33

If dd is a positive integer, d≠2d \neq 2, and dd divides nn, show that the number of elements of order dd in DnD_n is ϕ(d)\phi (d). How many elements of order 2 does DnD_n have?

?
Problem 4.34

Find all generators of Z\mathbb {Z}. Let aa be a group element that has infinite order. Find all generators of ⟨a⟩\left\langle a\right\rangle.

?
Problem 4.35

Prove that C∗\mathbb {C}^*, the group of nonzero complex numbers under multiplication, has a cyclic subgroup of order nn for every positive integer nn.

?
Problem 4.36

Suppose that there are infinitely many subgroups H1,H2,H3,…H_1, H_2, H_3, \ldots of a group GG such that H1⊂H2⊂H3⊂⋯H_1 \subset H_2 \subset H_3 \subset \cdots. Prove that H=⋃i=1∞HiH = \bigcup_{i=1}^{\infty } H_i is a subgroup of GG.

?
Problem 4.37

List all the elements of order 8 in Z8000000\mathbb {Z}_{8000000}. How do you know your list is complete? Let aa be a group element such that ∣a∣=8000000|a| = 8000000. List all elements of order 8 in ⟨a⟩\left\langle a\right\rangle. How do you know your list is complete?

?
Problem 4.38

Suppose that GG is a group with more than one element. If the only subgroups of GG are {e}\{ e\} and GG, prove that GG is cyclic and has prime order.

?
Problem 4.39

Let GG be a finite group. Show that there exists a fixed positive integer nn such that an=ea^n = e for all aa in GG. (Note that nn is independent of aa.)

?
Problem 4.40

Determine the subgroup lattice for Z12\mathbb {Z}_{12}. Generalize to Zp2q\mathbb {Z}_{p^2 q}, where pp and qq are distinct primes.

?
Problem 4.41

Determine the subgroup lattice for Z8\mathbb {Z}_8. Generalize to Zpn\mathbb {Z}_{p^n}, where pp is a prime and nn is some positive integer.

?
Problem 4.42

Prove that a finite group is the union of proper subgroups if and only if the group is not cyclic.

?
Problem 4.43

Show that the group of positive rational numbers under multiplication is not cyclic. Why does this prove that the group of nonzero rationals under multiplication is not cyclic?

?
Problem 4.44

Consider the set {4,8,12,16}\{ 4, 8, 12, 16\}. Show that this set is a group under multiplication modulo 20 by constructing its Cayley table. What is the identity element? Is the group cyclic? If so, find all of its generators.

?
Problem 4.45

Give an example of a group that has exactly 7 subgroups (including the trivial subgroup and the group itself). Generalize to exactly nn subgroups for any positive integer nn.

?
Problem 4.46

Suppose that aa and bb belong to a group GG, aa and bb commute, and ∣a∣|a| and ∣b∣|b| are finite. What are the possibilities for ∣ab∣|ab|?

?
Problem 4.47

Suppose that aa and bb are group elements that commute. If ∣a∣|a| is finite and ∣b∣|b| infinite, prove that ∣ab∣|ab| has infinite order.

?
Problem 4.48

For a positive integer kk and an Abelian group GG prove that Gk={xk∣x∈G}G^k = \left\{ x^k \mid x \in G\right\} is a subgroup of GG. If GG is Abelian and ∣G∣=40|G| = 40, prove that G3=GG^3 = G, G15=G5G^{15} = G^5, and G28=G4G^{28} = G^4. Generalize to the case that ∣G∣=n|G| = n and kk is any positive integer.

?
Problem 4.49

Let aa belong to a group and ∣a∣=100|a| = 100. Find ∣a98∣|a^{98}| and ∣a70∣|a^{70}|.

?
Problem 4.50

Let FF and F′F' be distinct reflections in D21D_{21}. What are the possibilities for ∣FF′∣|FF'|?

?
Problem 4.51

Suppose that HH is a cyclic subgroup of a group GG and ∣H∣=10|H| = 10. If aa belongs to GG and a6a^6 belongs to HH, what are the possibilities for ∣a∣|a|?

?
Problem 4.52

Which of the following numbers could be the exact number of elements of order 21 in a group: 21600, 21602, 21604?

?
Problem 4.53

If GG is an infinite group, what can you say about the number of elements of order 8 in the group? Generalize.

?
Problem 4.54

If GG is a cyclic group of order nn, prove that for every element aa in GG, an=ea^n = e.

?
Problem 4.55

For each positive integer nn, prove that C∗\mathbb {C}^*, the group of nonzero complex numbers under multiplication, has exactly ϕ(n)\phi (n) elements of order nn.

?
Problem 4.56

Prove or disprove that H={n∈Z∣n is divisible by both8 and 10}H = \left\{ n \in \mathbb {Z} \mid n \text{ is divisible by both} 8 \text{ and } 10\right\} is a subgroup of Z\mathbb {Z}. What happens if divisible by both 8 and 10'' is changed to divisible by 8 or 10?''

?
Problem 4.57

Suppose that GG is a finite group with the property that every nonidentity element has prime order (e.g., D3D_3 and D5D_5). If Z(G)Z(G) is not trivial, prove that every nonidentity element of GG has the same order.

?
Problem 4.58

Prove that an infinite group must have an infinite number of subgroups.

?
Problem 4.59

Let pp be a prime. If a group has more than p−1p - 1 elements of order pp, why can't the group be cyclic?

?
Problem 4.60

Suppose that GG is a cyclic group and that 6 divides ∣G∣|G|. How many elements of order 6 does GG have? If 8 divides ∣G∣|G|, how many elements of order 8 does GG have? If aa is one element of order 8, list the other elements of order 8.

?
Problem 4.61

List all the elements of Z40\mathbb {Z}_{40} that have order 10. Let ∣x∣=40|x| = 40. List all the elements of ⟨x⟩\left\langle x\right\rangle that have order 10.

?
Problem 4.62

Reformulate the corollary of Theorem 4.4 to include the case when the group has infinite order.

(Recall the corollary of Theorem 4.4 for finite groups: in a finite group, the number of elements of order dd is a multiple of ϕ(d)\phi (d).)

?
Problem 4.63

Determine the orders of the elements of D33D_{33} and how many there are of each.

?
Problem 4.64

When checking to see if ⟨2⟩=U(25)\left\langle 2\right\rangle = U(25) explain why it is sufficient to check that 210≠12^{10} \neq 1 and 24≠12^4 \neq 1.

?
Problem 4.65

If GG is an Abelian group and contains cyclic subgroups of orders 4 and 5, what other sizes of cyclic subgroups must GG contain? Generalize.

?
Problem 4.66

If GG is an Abelian group and contains cyclic subgroups of orders 4 and 6, what other sizes of cyclic subgroups must GG contain? Generalize.

?
Problem 4.67

Prove that no group can have exactly two elements of order 2.

?
Problem 4.68

Given the fact that U(49)U(49) is cyclic and has 42 elements, deduce the number of generators that U(49)U(49) has without actually finding any of the generators.

?
Problem 4.69

Let aa and bb be elements of a group. If ∣a∣=10|a| = 10 and ∣b∣=21|b| = 21, show that ⟨a⟩∩⟨b⟩={e}\left\langle a\right\rangle \cap \left\langle b\right\rangle = \{ e\}.

?
Problem 4.70

Let aa and bb belong to a group. If ∣a∣|a| and ∣b∣|b| are relatively prime, show that ⟨a⟩∩⟨b⟩={e}\left\langle a\right\rangle \cap \left\langle b\right\rangle = \{ e\}.

?
Problem 4.71

Let aa and bb belong to a group. If ∣a∣=24|a| = 24 and ∣b∣=10|b| = 10, what are the possibilities for ∣⟨a⟩∩⟨b⟩∣| \left\langle a\right\rangle \cap \left\langle b\right\rangle |?

?
Problem 4.72

Let aa and bb belong to a group. If ∣a∣=12|a| = 12, ∣b∣=22|b| = 22, and ⟨a⟩∩⟨b⟩≠{e}\left\langle a\right\rangle \cap \left\langle b\right\rangle \neq \{ e\}, prove that a6=b11a^6 = b^{11}.

?
Problem 4.73

Let GG be an Abelian group of order 15. Prove that GG cannot have 14 elements of order 3.

?
Problem 4.74

Prove that Zn\mathbb {Z}_n has an even number of generators if n>2n > 2. What does this tell you about ϕ(n)\phi (n)?

?
Problem 4.75

If ∣a5∣=12|a^5| = 12, what are the possibilities for ∣a∣|a|? If ∣a4∣=12|a^4| = 12, what are the possibilities for ∣a∣|a|?

?
Problem 4.76

Suppose that ∣x∣=n|x| = n. Find a necessary and sufficient condition on rr and ss such that ⟨xr⟩⊆⟨xs⟩\left\langle x^r\right\rangle \subseteq \left\langle x^s\right\rangle.

?
Problem 4.77

Let aa be a group element such that ∣a∣=48|a| = 48. For each part, find a divisor kk of 48 such that

?
(a)

⟨a21⟩=⟨ak⟩\left\langle a^{21}\right\rangle = \left\langle a^k\right\rangle,

(b)

⟨a14⟩=⟨ak⟩\left\langle a^{14}\right\rangle = \left\langle a^k\right\rangle,

(c)

⟨a18⟩=⟨ak⟩\left\langle a^{18}\right\rangle = \left\langle a^k\right\rangle.

Problem 4.78

Find a cyclic subgroup of D60D_{60} of order 4 and a non-cyclic subgroup of D60D_{60} of order 4.

?
Problem 4.79

Let GG be an Abelian group and H={x∈G∣∣x∣ is odd}H = \left\{ x \in G \mid |x| \text{ is odd}\right\}. Prove that HH is a subgroup of GG.

?
Problem 4.80

Let GG be an Abelian group and H={x∈G∣∣x∣ is 1 or even}H = \left\{ x \in G \mid |x| \text{ is 1 or even}\right\}. Give an example to show that HH need not be a subgroup of GG.

?
Problem 4.81

Let GG be a group and HH a subgroup of GG. Prove that HZ(G)={hz∣h∈H, z∈Z(G)}HZ(G) = \left\{ hz \mid h \in H,\ z \in Z(G)\right\} is a subgroup of GG.

?
Problem 4.82

For every integer nn greater than 2, prove that the group U(n2−1)U(n^2 - 1) is not cyclic.

?
Problem 4.83

For every integer n>2n > 2, show that U(n2−1)U(n^2 - 1) has a subgroup of order 4.

?
Problem 4.84

Prove that U(2n)U(2^n) (n≥3n \geq 3) is not cyclic.

?
Problem 4.85

Prove that for any prime pp and positive integer nn, ϕ(pn)=pn−pn−1\phi (p^n) = p^n - p^{n-1}.

?
Problem 4.86

Let ϕ\phi be the Euler ϕ\phi-function. For any positive integer nn prove that ∣U(∣U(n)∣)∣=ϕ(ϕ(n))|U(|U(n)|)| = \phi (\phi (n)).

?
Problem 4.87

Let ϕ\phi be the Euler phi function. For each positive integer nn prove that n=∑ϕ(d)n = \sum \phi (d) where the sum ranges over all positive divisors dd of nn.

?
Problem 4.88

If nn is an even integer prove that ϕ(2n)=2ϕ(n)\phi (2n) = 2\phi (n).

?
Problem 4.89

(2008 GRE Practice Exam) If xx is an element of a cyclic group of order 15 and exactly two of x3x^3, x5x^5 and x9x^9 are equal, determine ∣x13∣|x^{13}|.

?