Abstract Algebra | The subgroup test

Sdílet
Vložit
  • čas přidán 27. 07. 2024
  • We present a nice result that can be used to test whether or not a subset is a subgroup.
    www.michael-penn.net
    www.randolphcollege.edu/mathem...

Komentáře • 13

  • @SupriyoChowdhury5201
    @SupriyoChowdhury5201 Před 2 lety +2

    Nice mountains and even better examples , thank you.

  • @nikitakipriyanov7260
    @nikitakipriyanov7260 Před 4 lety +5

    from 10:14: you've lost ĥ¯¹. Since y=g¯¹ĥg, then you've shown that y¯¹=g¯¹ĥ¯¹g, so xy¯¹=g¯¹hgg¯¹ĥ¯¹g=g¯¹hĥ¯¹g.

    • @ecourt93
      @ecourt93 Před 3 lety

      That’s what I’m wondering, how do we know that h * h_hat^-1 is in H?

    • @ecourt93
      @ecourt93 Před 3 lety

      Oh, H is already a subgroup. I see.

  • @ThePharphis
    @ThePharphis Před 4 lety +1

    Isn't it trivial (without any left or right multiplication) that is gh = hg then g^-1 h = h g^-1 ?
    Since g is an arbitrary element, and it's inverse is another arbitrary element within the group. Therefore either one can serve as "g" in the original condition, gh = hg?

    • @samb443
      @samb443 Před 4 lety +4

      If you have the statement Forall g in G, Forall h in G, gh = hg
      then yes, the group is just abelian there.
      But that isn't what we have here
      We are looking at only the g which satisfy Forall h in G, gh = hg, its not always true for any g that we input
      we don't necessarily know that g^-1 satisfies even if g does, thats why we have to use the multiplication

  • @Hateusernamearentu
    @Hateusernamearentu Před 2 lety

    7:30, why you can use associativity? because C(H) is a group?

  • @pairadeau
    @pairadeau Před 4 lety

    yuh!

  • @ghallyarrahman1753
    @ghallyarrahman1753 Před 4 lety

    What is the reference book of this video sir?

    • @MichaelPennMath
      @MichaelPennMath  Před 4 lety +5

      I teach this course from: abstract.ups.edu/
      That being said, this is a pretty standard result that could be found in most Abstract Algebra books/courses.

  • @dipanjanpal3844
    @dipanjanpal3844 Před 2 lety

    What is your academic qualification?