Abstract Algebra: Theory and Applications · Problem 10.4.8

Homomorphisms — Thomas Judson

Mathematics — Abstract Algebra · factor-groups-cyclic

Problem

If GG is cyclic, prove that G/HG/H must also be cyclic. Hint. If a∈Ga \in G is a generator for GG, then aHaH is a generator for G/HG/H.
Intuitive explanation

The key insight is that generators survive the quotient map: if G=⟨a⟩G = \langle a \rangle, then every element of G/HG/H can be written as a power of the coset aHaH. Since the quotient group inherits the cyclic structure from GG through this coset, G/HG/H is generated by a single element, making it cyclic. Use the fact that any gH∈G/HgH \in G/H can be expressed as (aH)k(aH)^k for some integer kk.

Intuitive explanation

The key insight is that generators survive the quotient map: if G=⟨a⟩G = \langle a \rangle, then every element of G/HG/H can be written as a power of the coset aHaH. Since the quotient group inherits the cyclic structure from GG through this coset, G/HG/H is generated by a single element, making it cyclic. Use the fact that any gH∈G/HgH \in G/H can be expressed as (aH)k(aH)^k for some integer kk.

Related theory

Browse the problem library