Question on conditions for commutativity of subgroups

  • Thread starter mnb96
  • Start date
  • #1
713
5

Main Question or Discussion Point

Hi,
it is known that given two subgroups [itex]H\subset G[/itex], and [itex]K\subset G[/itex] of some group G, then we have that:

1) H, K are normal subgroups of G
2) [itex]H\cap K[/itex] is trivial

are sufficient conditions for H and K to commute.
Moreover we have that:

H, K commute [itex]\Rightarrow[/itex] H, K are normal.

In fact, conditions 1) and 2) together are not necessary conditions for commutativity because there exist subgroups that are commutative but do not have trivial intersection (it is posible to find examples).

My question is: is it possible to keep condition 1) and instead replace only 2) with some weaker condition that would make 1),2) necessary and sufficient conditions for commutativity?
 

Answers and Replies

  • #2
606
1
Hi,
it is known that given two subgroups [itex]H\subset G[/itex], and [itex]K\subset G[/itex] of some group G, then we have that:

1) H, K are normal subgroups of G
2) [itex]H\cap K[/itex] is trivial

are sufficient conditions for H and K to commute.
Moreover we have that:

H, K commute [itex]\Rightarrow[/itex] H, K are normal.
This is false: [itex]\,K=\{(1)\,,\,(12)\}\,\,,\,\,H=\{(1)\,,\,(34)\}\,[/itex] are commuting subgroups of [itex]\,S_4\,[/itex] and

they're far from being normal. In fact, they even commute pointwise.

DonAntonio

In fact, conditions 1) and 2) together are not necessary conditions for commutativity because there exist subgroups that are commutative but do not have trivial intersection (it is posible to find examples).

My question is: is it possible to keep condition 1) and instead replace only 2) with some weaker condition that would make 1),2) necessary and sufficient conditions for commutativity?
 
  • #3
713
5
oh!
I think I forgot to say that G is not just some arbitrary group, but I am considering: [tex]G=HK[/tex] In such case it should be true that "H, K commute ==> H,K normal". My original post was intended to be formulated under this assumption: G=HK.
 

Related Threads for: Question on conditions for commutativity of subgroups

  • Last Post
Replies
2
Views
1K
Replies
2
Views
2K
Replies
4
Views
560
Replies
6
Views
3K
Replies
2
Views
2K
Replies
4
Views
1K
Replies
2
Views
1K
Replies
4
Views
2K
Top