Modern Algebra: Basic problem dealing with Cosets

  • Thread starter Thread starter PsychonautQQ
  • Start date Start date
  • Tags Tags
    Algebra Cosets
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
2 replies · 1K views
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].