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

WWGD
Science Advisor
Homework Helper
Messages
7,692
Reaction score
12,627
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?
 
Physics news on Phys.org
How about an infinite product ##\mathbb{Z}\times\mathbb{Z}\times...## and quotient out by the first factor?

WWGD said:
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}.##
 
  • Like
Likes heff001, mathwonk, graphking and 2 others
Infrared said:
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.
 
WWGD said:
Thanks. Sorry, I believe the result I quoted (may)apply to infinite groups.
No, even if the quotient is infinite, it is still false. There is no subgroup of ##\mathbb{Z}\times\mathbb{Z}## that is isomorphic to ##\left(\mathbb{Z}\times\mathbb{Z}\right)/\left(\{0\}\times 2\mathbb{Z}\right)\cong\mathbb{Z}\times\left(\mathbb{Z}/2\mathbb{Z}\right).##
 
Re the lack of correspondence between subgroups and quotient groups, I though of another argument: just take a simple group. It will have non-trivial subgroups but no non-trivial quotient. Maybe simplest vase is ##S_5##, the permutation group on 5 elements . It has the alternating subgroup, which cannot be a quotient by cardinality reasons.
 
Thread 'Determine whether ##125## is a unit in ##\mathbb{Z_471}##'
This is the question, I understand the concept, in ##\mathbb{Z_n}## an element is a is a unit if and only if gcd( a,n) =1. My understanding of backwards substitution, ... i have using Euclidean algorithm, ##471 = 3⋅121 + 108## ##121 = 1⋅108 + 13## ##108 =8⋅13+4## ##13=3⋅4+1## ##4=4⋅1+0## using back-substitution, ##1=13-3⋅4## ##=(121-1⋅108)-3(108-8⋅13)## ... ##= 121-(471-3⋅121)-3⋅471+9⋅121+24⋅121-24(471-3⋅121## ##=121-471+3⋅121-3⋅471+9⋅121+24⋅121-24⋅471+72⋅121##...
Back
Top