Two quotient groups implying Cartesian product?

jostpuur
Messages
2,112
Reaction score
19
Assume that G is some group with two normal subgroups H_1 and H_2. Assuming that the group is additive, we also assume that H_1\cap H_2=\{0\}, H_1=G/H_2 and H_2=G/H_1 hold. The question is that is G=H_1\times H_2 the only possibility (up to an isomorphism) now?
 
Physics news on Phys.org
I think if the representation G= H_1 \times H_2 [/ itex] is unique, then G can be expressed as a semidirect product.
 
I think I managed to prove the claim by using the projections G\to H_1 and G\to H_2 given by the assumptions, under the assumption \#G<\infty, which I did not mention above. Since I was the one asking this, there is probably no need for me to post the full proof, and this will remain as a challenge to the rest. The case \#G=\infty remains open.
 
Last edited:

Thread '##(A/\mathfrak{a})_{\mathfrak{p}/\mathfrak{a}}## and its isomorphism?'

I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...
View full post »

Thread 'Questions about non existence of GCDs vs (coimages, cokernels)'

The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
View full post »

Thread 'Decomposition into irreps of compact Lie group'

When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...
View full post »

Similar threads

I Product of Categories .... Product of Groups as an example ...
Replies
22
Views
3K
MHB How can the product of two categories help us understand groups?
Replies
9
Views
2K
MHB The automorphic group is abelian
Replies
14
Views
3K
I Question about "A Group Epimorphism is Surjective"
Replies
13
Views
561
MHB Group Algebra - Cohn page 55 - SIMPLE CLARIFICATION
Replies
3
Views
2K
I Can a group be isomorphic to one of its quotients?
Replies
4
Views
2K
I Meaning of "passage to the quotient"?
Replies
3
Views
428
MHB Why does it imply that if f is onto there are a ≠ e_1 with f(a) ≠ e_2 ?
Replies
14
Views
3K
MHB What is the Rank of the Direct Sum of Torsion-free Groups?
Replies
1
Views
2K
Constructive Proofs Proof of Correspondence theorem
Replies
1
Views
2K

Hot Threads

Recent Insights

Back
Top