# Can a group be isomorphic to one of its quotients?

• I
Gold Member
Of course it must be an infinite group, otherwise |G/N|=|G|/|N| and then {e} is the only ( and trivial) solution. I understand there is a result that for every quotient Q:=G/N there is a subgroup H that is isomorphic to Q. Is that the case?

Infrared
Gold Member
How about an infinite product ##\mathbb{Z}\times\mathbb{Z}\times...## and quotient out by the first factor?

I understand there is a result that for every quotient Q:=G/N there is a subgroup H that is isomorphic to Q. Is that the case?
No, there is no subgroup of ##\mathbb{Z}## that is isomorphic to ##\mathbb{Z}/2\mathbb{Z}.##

mathwonk, graphking, WWGD and 1 other person
Gold Member
How about an infinite product ##\mathbb{Z}\times\mathbb{Z}\times...## and quotient out by the first factor?

No, there is no subgroup of ##\mathbb{Z}## that is isomorphic to ##\mathbb{Z}/2\mathbb{Z}.##
Thanks. Sorry, I believe the result I quoted (may)apply to infinite groups.

Infrared