Modern Algebra: Basic problem dealing with Cosets

  • Thread starter Thread starter PsychonautQQ
  • Start date Start date
  • Tags Tags
    Algebra Cosets
Click For Summary
SUMMARY

The discussion centers on proving that if H is a subgroup of G and Ha = bH for elements a and b in G, then aH = Hb. Participants suggest focusing on the elements of H rather than the inverses of a and b. The key insight is to manipulate the equation Ha = bH by considering individual elements of H and applying right and left multiplication to derive the desired equality.

PREREQUISITES
  • Understanding of group theory concepts, specifically subgroups.
  • Familiarity with cosets and their properties.
  • Knowledge of group operations and inverses.
  • Ability to manipulate algebraic expressions within the context of groups.
NEXT STEPS
  • Study the properties of cosets in group theory.
  • Learn about the Lagrange's theorem and its implications for subgroup orders.
  • Explore the concept of normal subgroups and their significance in group theory.
  • Review proofs involving group homomorphisms and isomorphisms.
USEFUL FOR

Students of abstract algebra, particularly those studying group theory, as well as educators seeking to enhance their understanding of cosets and subgroup properties.

PsychonautQQ
Messages
781
Reaction score
10

Homework Statement


If H is a subgroup of G and Ha = bH for elements a and b in G, show that aH = Hb.

Homework Equations


None needed

The Attempt at a Solution


I've basically just been fiddling around by right and left side multiplication of inverses and what not and can't seem to get it in the right form.. anyone want to guide me in the right direction?

My attempt:
Ha = bH --> (b^-1)Ha(a^-1) = (b^-1)bH(a^-1) = (b^-1)H = H(a^-1)
 
Physics news on Phys.org
Involving the inverses of [itex]a[/itex] and [itex]b[/itex] seems unproductive, since you know nothing about them beyond that they exist.

Let [itex]h \in H[/itex]. If [itex]Ha = bH[/itex], what can you say about the element [itex]ha \in bH[/itex]?
 
I wouldn't try to do it that way. I would, instead, use individual elements of H. And then use inverse of the elements of H, not a and b. "Ha= bH" means that, for any x in H, there exist y in H such that xa= by. Multiply on both sides, on the right, by [itex]y^{-1}[/itex] to get [itex]xay^{-1}= b[/itex]. Now multiply both sides, on the left, by [itex]x^{-1}[/itex]: [itex]ay^{-1}= x^{-1}b[/itex].
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
5K
  • · Replies 21 ·
Replies
21
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 8 ·
Replies
8
Views
6K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K