# Quotient groups

Find, up to isomorphism, all possible quotient groups of D6 and D9, the dihedral group of 12 and 18 elements.

First of all, I don't understand the question by what they mean about "up to isomorphism." Does this mean by using the First Isomorphism Theorem? Also does this question imply that the quotient group of D6 and D9 depend on each other, or is the question asking for two different things.

Related Calculus and Beyond Homework Help News on Phys.org
"Up to isomorphism" means that if two quotient groups are different (that is, are composed of different elements) but isomorphic to each other (e.g. both are cyclic groups of order 6), then that only counts as one group.

Also, I'm pretty sure that it's two separate questions...the quotient groups of D6 and D9 are independent.

Thanks that's much clearer, so my approach to find all the quotient groups of D6 is to use the 1st isomorphism theorem, so I start with finding all the normal subgroups of D6, which are {id}, {id, R^2, R^4}, {id, R, R^2, R^3, R^4, R^5}, and D3, where R = rotation by pi/3 (I'm not sure if I'm missing anything else). Then I figure out what D3/{id}, D3/{id, R^2, R^4}, D3/{id, R, R^2, R^3, R^4, R^5}, and D3/D3, but the problem is I don't know what they are isomorphic to, especially the quotients in the middle. (I think they are isomorphic to D3, Z2, Z2, and id, respectively)

Please tell me what to fix or what I'm doing correctly, etc. Thank you.

You're making progress, but there are still flaws.

D3/{id}, D3/{id, R^2, R^4}, D3/{id, R, R^2, R^3, R^4, R^5}, and D3/D3
All those "numerators" should be D6. This will change the rest of your work.

You are missing two normal subgroups, one of order two and one of order six.

matt grime