If G is Cyclic so is G/H Proof

TL;DR

If g is cyclic, then the quotient group g mod h is also cyclic.

Transcript

let h be a subgroup of g we have to prove that if g is cyclic then so is the quotient group g mod h so proof it's probably worth noting that the quotient group is actually a group in this problem h is a subgroup so we have that part and g is cyclic therefore g is abelian and h is a subgroup and so it's also abelian because it's abelian it's normal ... Read More

Key Insights

• 👥 The quotient group g mod h is cyclic if g is cyclic and h is a subgroup.
• 🫢 The right coset hg plays a crucial role in generating a cyclic subgroup within the quotient group.
• 👥 The abelian and normal properties of g and h ensure the well-defined nature of the quotient group.

Questions & Answers

Q: What are the key elements required to prove that a cyclic group quotient is also cyclic?

To prove that a cyclic group quotient is also cyclic, we need to show that the right coset hg generates a cyclic subgroup contained within the quotient group.

Q: How does the abelian property of g and h play a role in the proof?

The abelian property of both g and h ensures that the right cosets formed from hg are equivalent and lead to a cyclic subgroup within the quotient group.

Q: Why is it important to establish the normality of the subgroup h within the cyclic group g?

The normality of h within g guarantees that the quotient group g mod h is a well-defined group operation, ensuring that the cyclic structure is preserved.

Q: How does the choice of generator for the right coset hg impact the proof?

Selecting the right generator, such as little g, allows for the construction of a cyclic subgroup within the quotient group, ultimately proving its cyclicity.

Summary & Key Takeaways

• If g is a cyclic group and h is a subgroup of g, then the quotient group g mod h is also cyclic.

• The proof involves showing that the right coset hg generates a cyclic group contained within the quotient group.

• By leveraging the abelian and normal properties of g and h, it is demonstrated that the quotient group is indeed cyclic.