Can We Identify Quotient Groups as Subgroups of the Original Group?

Click For Summary
The discussion focuses on whether the quotient group G/M can be identified as a subgroup of G/N, given that N is a normal subgroup of G and M is a normal subgroup of G containing N. The approach suggested involves finding a homomorphism from G to G/N with M as its kernel, but no such homomorphism is readily apparent. The author aims to demonstrate a specific case where G/N is a nilpotent quotient and G/M is a maximal p-quotient, yet struggles to find a counterexample due to the cyclic nature of small groups. The need for distinct automorphisms in G/M and G/N is emphasized to explore the relationship further. Ultimately, the discussion highlights the complexities in identifying quotient groups as subgroups within the original group structure.
Hello Kitty
Messages
25
Reaction score
0
Let G be a group and let N\trianglelefteq G, M\trianglelefteq G be such that N \le M. I would like to know if, in general, we can identify G/M with a subgroup of G/N.

Of course the obvious way to proceed is to look for a homomorphism from G to G/N 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 G/N is the nilpotent quotient of G and G/M is a maximal p-quotient of G for some p dividing the order of G/N) 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.
 
Physics news on Phys.org
I would look for a counterexample, although I found none as the small groups are all "too cyclic". We have
$$
M\rtimes G/M \cong G \cong N \rtimes G/N\text{ and } N \triangleleft M
$$
This means we have to look for the automorphisms and need a group, where ##G/M## operates differently on ##M## than ##G/N## does on ##N##. Therefore we need automorphism groups which have a few elements to select from.
 
I am studying the mathematical formalism behind non-commutative geometry approach to quantum gravity. I was reading about Hopf algebras and their Drinfeld twist with a specific example of the Moyal-Weyl twist defined as F=exp(-iλ/2θ^(μν)∂_μ⊗∂_ν) where λ is a constant parametar and θ antisymmetric constant tensor. {∂_μ} is the basis of the tangent vector space over the underlying spacetime Now, from my understanding the enveloping algebra which appears in the definition of the Hopf algebra...

Similar threads

  • · Replies 3 ·
Replies
3
Views
892
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 26 ·
Replies
26
Views
873
  • · Replies 1 ·
Replies
1
Views
541
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 13 ·
Replies
13
Views
1K
  • · Replies 19 ·
Replies
19
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
2
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K