- #1
- 25
- 0
Let G be a group and let [tex]N\trianglelefteq G [/tex], [tex]M\trianglelefteq G [/tex] be such that [tex]N \le M[/tex]. I would like to know if, in general, we can identify [tex]G/M[/tex] with a subgroup of [tex]G/N[/tex].
Of course the obvious way to proceed is to look for a homomorphism from [tex]G[/tex] to [tex]G/N[/tex] whose kernel is M, but I can't think of one.
What I actually want to show is a more specialized result (namely the case when finite [tex]G/N[/tex] is the nilpotent quotient of [tex]G[/tex] and [tex]G/M[/tex] is a maximal p-quotient of [tex]G[/tex] for some p dividing the order of [tex]G/N[/tex]) but the above is a lot cleaner and didn't yield obviously to a proof or counter-example so I thought I'd explore that first.
Of course the obvious way to proceed is to look for a homomorphism from [tex]G[/tex] to [tex]G/N[/tex] whose kernel is M, but I can't think of one.
What I actually want to show is a more specialized result (namely the case when finite [tex]G/N[/tex] is the nilpotent quotient of [tex]G[/tex] and [tex]G/M[/tex] is a maximal p-quotient of [tex]G[/tex] for some p dividing the order of [tex]G/N[/tex]) but the above is a lot cleaner and didn't yield obviously to a proof or counter-example so I thought I'd explore that first.