Section 6.3

Cyclic Groups

[8/75%]
Show
LaTeX
Problem 6.3.1
?
(1)

Prove that every finitely generated subgroup of Q\mathbb {Q}, the additive group of rational numbers, is cyclic.

(2)

Does the same conclusion hold for finitely generated subgroups of Q/Z\mathbb {Q}/\mathbb {Z}, where Z\mathbb {Z} is the group of integers?

Note: See also Problems 6.6.3 and 6.7.2.

Problem 6.3.2

Let GG be the group Q/Z\mathbb {Q}/\mathbb {Z}. Show that for every positive integer tt, GG has a unique cyclic subgroup of order tt.

?
Problem 6.3.3

Show that a group GG is isomorphic to a subgroup of the additive group of the rationals if and only if GG is countable and every finite subset of GG is contained in an infinite cyclic subgroup of GG.

?
Problem 6.3.4
?
(1)

Let GG be a cyclic group, and let a,b∈Ga, b \in G be elements which are not squares. Prove that abab is a square.

(2)

Give an example to show that this result is false if the group is not cyclic.

Problem 6.3.5

Prove that any group of order 77 is cyclic.

?
Problem 6.3.6

Let GG be a group of order 2p2p, where pp is an odd prime. Assume that GG has a normal subgroup of order 2. Prove that GG is cyclic.

?
Problem 6.3.7

A finite abelian group GG has the property that for each positive integer nn the set {x∈G∣xn=1}\{ x \in G \mid x^{n} = 1\} has at most nn elements. Prove that GG is cyclic, and deduce that every finite field has cyclic multiplicative group.

?
Problem 6.3.8

Let GG be a finite group of order nn with the property that for each divisor dd of nn there is at most one subgroup in GG of order dd. Show GG is cyclic.

?