If ab is in a subgroup, are a and b neccessarily in the subgroup?

  • Thread starter Thread starter Ryker
  • Start date Start date
  • Tags Tags
    Subgroup
Click For Summary
SUMMARY

The discussion centers on the properties of subgroups in group theory, specifically addressing whether the product of two elements, ab, being in a subgroup implies that both elements a and b are also in the subgroup. It is established that this implication does not hold; closure under multiplication only guarantees that if a and b are in the subgroup, then ab is also in the subgroup. The discussion also confirms that the inverse of the product (ab)-1 equals b-1a-1, reinforcing the properties of group operations.

PREREQUISITES
  • Understanding of group theory concepts, including subgroups and closure properties.
  • Familiarity with the definitions of group operations and inverses.
  • Knowledge of the identity element in groups and its role in subgroup properties.
  • Basic mathematical proof techniques to analyze implications in group structures.
NEXT STEPS
  • Study the properties of normal subgroups and their implications in group theory.
  • Learn about the concept of cosets and their relationship to subgroup structures.
  • Explore the concept of homomorphisms and their effects on subgroup mappings.
  • Investigate the significance of the identity element and inverses in various group types.
USEFUL FOR

This discussion is beneficial for students of abstract algebra, mathematicians focusing on group theory, and educators seeking to clarify subgroup properties and their implications in mathematical proofs.

Ryker
Messages
1,080
Reaction score
2

Homework Statement


I was just wondering if the product ab is in a subgroup, are a and b necessarily in the subgroup, as well?

The Attempt at a Solution


I think they are, but how would you prove that? Or is that obvious from closure under multiplication and you don't need to prove it? I know it works the "normal" way, that is if a and b are in the subgroup (or group), then ab is in it, as well, but I'm not sure about the reverse direction.

Thanks in advance for any replies.
 
Physics news on Phys.org
The identity e is in every subgroup. a*a^(-1)=e for all elements of the group. That doesn't mean a is in every subgroup.
 
Ah, I see, so it only works one way then? Thanks for the quick response.
 
Oh, sorry, one more thing, (ab)-1 is always b-1a-1, though, right?
 
Ryker said:
Oh, sorry, one more thing, (ab)-1 is always b-1a-1, though, right?

Sure. Multiply b^(-1)a^(-1) and ab. What do you get?
 
Yeah, that's what I was thinking :smile:
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 1 ·
Replies
1
Views
5K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 11 ·
Replies
11
Views
4K