GT14. Semidirect Products

แชร์
ฝัง
  • เผยแพร่เมื่อ 24 ต.ค. 2024

ความคิดเห็น • 22

  • @allanlivits7426
    @allanlivits7426 11 ปีที่แล้ว

    this is the most useful channel on youtube!
    these videos are keeping me from failing!!!

  • @MathDoctorBob
    @MathDoctorBob  11 ปีที่แล้ว +1

    You're welcome! I'm taking a break from algebra once I finish the Field Theory playlist, so it wouldn't happen for a long while.

  • @MathDoctorBob
    @MathDoctorBob  11 ปีที่แล้ว +2

    I wish! Thanks for the kind words.

  • @jochosmith
    @jochosmith 5 ปีที่แล้ว +3

    Great Video. Helped me out a lot!

  • @ojas3464
    @ojas3464 3 หลายเดือนก่อน

    👍Thanks, and a temptation -
    For every odd prime p, any Ring with 2p elements is Commutative
    (∵ If the Addition Group is Cyclic, the Multiplication Commutes, and There's but one Abelian, viz. the Cyclic Group of this order)
    Any independent Corroboration / Refutation of this tempting claim, will be appreciated😃

  • @mathkidmiloz4525
    @mathkidmiloz4525 11 ปีที่แล้ว +2

    Hey Doctor Bob. I found your channel quite useful! Thank you a lot! Could you post a lecture about Wreath products? I would be quite grateful for that!! Thanks in advance!!

  • @mohdfaudziumar6605
    @mohdfaudziumar6605 7 ปีที่แล้ว

    First of all, thank you very much for this lecture video. But can you show us in the matrix form. Thanks in advanced.

  • @fsaldan1
    @fsaldan1 4 ปีที่แล้ว

    Could you expand a bit on what you did on 9'42'', erase the parentheses and the comma? The direct product of two sets (groups) becomes the product of two subgroups.

    • @MathDoctorBob
      @MathDoctorBob  4 ปีที่แล้ว +1

      As defined, D_{2n} is not a product of groups. We can find an H and N so that H x N (semi direct) is isomorphic to D_{2n}. Dropping the comma here is just the isomorphism (c^i, r^j) -> c^ir^j.

    • @fsaldan1
      @fsaldan1 4 ปีที่แล้ว

      @@MathDoctorBob Ok, thanks. But for this to be an isomorphism one needs (c^ir^j)(c^kr^l) = (c^(i+k)r^(j+l)). Is that true?

    • @MathDoctorBob
      @MathDoctorBob  4 ปีที่แล้ว

      @@fsaldan1 That would be true for a direct product (for all elements). For semi direct product, you need to account for conjugating by c. You can read the semi direct product rule off the previous board. The map promises G=HN as a set, but you can't read multiplication off that. (Maybe before I mean 'bijection' instead of 'isomorphism')

  • @MathDoctorBob
    @MathDoctorBob  12 ปีที่แล้ว +1

    @integralmath As a group theorist, well, I hear that one a lot. :) - Bob

  • @cgao800
    @cgao800 6 ปีที่แล้ว

    Hi Dr. Bob. Why πy(x)=yxy^-1? Why does π(y) have to be the conjugation, instead of other automorphisms?

    • @MathDoctorBob
      @MathDoctorBob  6 ปีที่แล้ว

      Need some help - is this in the video, because I'm pretty clear about using general automorphisms?

  • @integralmath
    @integralmath 12 ปีที่แล้ว

    @MathDoctorBob that's *almost* hard to imagine.

  • @djodin2194
    @djodin2194 4 ปีที่แล้ว

    4:05 : By pi=I, you mean the constant homomorphism mapping every h to the identity on N?
    Great videos by the way. Thanks for making these!

    • @MathDoctorBob
      @MathDoctorBob  4 ปีที่แล้ว

      Your welcome! I guess I'm back! :)
      It's been eight years: pi=I says for any x, pi(x)n=n. So yes!

  • @MathDoctorBob
    @MathDoctorBob  12 ปีที่แล้ว

    @paul1964uk Thanks! I annotated a correction. Math never sleeps. - Bob

  • @paul1964uk
    @paul1964uk 12 ปีที่แล้ว

    Is there a typo at 6:24? Should the product not be "(e sub H, e sub N)" rather than "(e sub H, e sub G)"?

  • @jainamkhakhra3898
    @jainamkhakhra3898 6 ปีที่แล้ว

    Thank you!!.

  • @integralmath
    @integralmath 12 ปีที่แล้ว

    If the two grapes are abelian, then . . .
    Sorry, I couldn't help myself!

  • @AbdulRehman-sx8wd
    @AbdulRehman-sx8wd 6 ปีที่แล้ว

    Frod h ye sb log😈