Question about Group theory

  • Thread starter math8
  • Start date
160
0
If A and B are subgroups of G and AB=G does it follow that AB=BA? If yes, why?
 

tgt

520
2
I can't see why you can't have BA={1}.
 

HallsofIvy

Science Advisor
Homework Helper
41,728
880
tgt, can you give an example in which AB= G and BA= {1}?
 
1,631
4
If A and B are subgroups of G and AB=G does it follow that AB=BA? If yes, why?
What does AB mean, i mean what operation are you performing between A and B here? is this supposed to be the same operation of the group G, or?
 

morphism

Science Advisor
Homework Helper
2,013
4
What does AB mean, i mean what operation are you performing between A and B here? is this supposed to be the same operation of the group G, or?
AB is the set of elements of the form ab (with a in A & b in B).
 
1,631
4
ok, so what about this.


Like said AB is the set of all elements such a is in A and b is in B. Then from this follows that also [tex] a^{-1}b^{-1}\in AB, since, a^{-1}\in A, b^{-1}\in B[/tex] this comes from the fact that both A,B are subgroups , so they do have inverses.

NOw since AB=G, it means also that the inverse of [tex] a^{-1}b^{-1}[/tex] is in AB. that is :

[tex] (a^{-1}b^{-1})^{-1}=ba \in AB[/tex] So, from here we have:

[tex] (a^{-1}b^{-1}) (a^{-1}b^{-1})^{-1}=e[/tex] or

[tex](a^{-1}b^{-1}) ba=e[/tex] Now multiplying with a from the left side we get

[tex]a(a^{-1}b^{-1}) ba=ae=>b^{-1}(ba)=a[/tex] now multiplying with b we get


[tex] ba=ab[/tex] since ab, was chosen randomly from AB it means that AB=BA, doesn't it?

I am not sure that this is absolutely right, someone else like halls or morphism, might comment on this!
 

morphism

Science Advisor
Homework Helper
2,013
4
ok, so what about this.


Like said AB is the set of all elements such a is in A and b is in B. Then from this follows that also [tex] a^{-1}b^{-1}\in AB, since, a^{-1}\in A, b^{-1}\in B[/tex] this comes from the fact that both A,B are subgroups , so they do have inverses.

NOw since AB=G, it means also that the inverse of [tex] a^{-1}b^{-1}[/tex] is in AB. that is :

[tex] (a^{-1}b^{-1})^{-1}=ba \in AB[/tex]
Your proof should have stopped here - this is all you need to show. AB=BA is an equality of sets.

As for the rest of your post:
[tex]b^{-1}(ba)=a[/tex] now multiplying with b we get

[tex] ba=ab[/tex]
This step is wrong. Can you see why?
 
1,631
4
This step is wrong. Can you see why?
Hell YES! This happens when you assume that the same thing is gonna happen in next step as well. We cannot do this, because we dont know whether A, B are commutative. so by doing what i did in the last step, i should have multiplied by b from the left side, which would get us nowhere, since we would end up with ba=ba... and this is not what we wanted.


Well, i first also thought that i should stop here
[tex] (a^{-1}b^{-1})^{-1}=ba \in AB[/tex]

but, like i said, wasn't sure enought, so i kept goin, but if i would have noticed earlier that my last step was nothing productive, then i probbably would have realized that this
[tex] (a^{-1}b^{-1})^{-1}=ba \in AB[/tex] is all we need.. which also makes sens, sice this shows that for every element ab in AB, where a is in a,and b is in be, also ba is in AB, which means that b is in A, and b is in B. now sice, like said, ab were randomly chosen, that is for any ab, from AB it means that AB=BA.
 
Last edited:

Related Threads for: Question about Group theory

  • Posted
Replies
4
Views
2K
  • Posted
Replies
6
Views
2K
  • Posted
Replies
7
Views
545
Replies
4
Views
2K
  • Posted
Replies
4
Views
1K
Replies
3
Views
582
  • Posted
Replies
1
Views
2K
Replies
8
Views
1K
Top