Researchers Use Group Theory to Speed Up Algorithms - Introduction to Groups

แชร์
ฝัง
  • เผยแพร่เมื่อ 29 เม.ย. 2024
  • This is the most information-dense introduction to group theory you'll see on this website. If you're a computer scientist like me and have always wondered what group theory is useful for and why it even exists and furthermore don't want to bother spending hours learning the basics, this is the video for you. We cover everything from the basic history of group theory, over how and why subgroups partition groups, to the classification of all groups of prime order.
    Babai's talk can be found at: people.cs.uchicago.edu/~laci/2...
    0:00 Intro
    1:42 Abstract Algebra
    4:28 Group Theory
    8:01 Z Q Zn Dn
    14:29 Proofs
    18:58 Subgroups & Cosets
    25:31 The Theorem
    29:11 Classification of Groups of Prime Order
    #SoME2

ความคิดเห็น • 1.5K

  • @Nemean
    @Nemean  ปีที่แล้ว +875

    Here I'll present the solution to my challenges. Because TH-cam doesn't have spoiler tags, I'll leave them as a comment to myself.

    • @Nemean
      @Nemean  ปีที่แล้ว +129

      First the second challenge at 22:34
      The only interesting example with groups from this video is in Q*. It generates the elements 1 and -1.
      Less interesting examples are in Q* or in Z and Q+. They just generate 1 and 0 respectively.
      Now the first challenge at 17:57
      This one you can just google haha. I recommend this thread: math.stackexchange.com/questions/616577/any-set-with-associativity-left-identity-left-inverse-is-a-group-fraleigh
      And by the way, the two graphs at the beginning are actually the same. They are both instances of the so-called Petersen graph.

    • @hadinossanosam4459
      @hadinossanosam4459 ปีที่แล้ว +31

      You might want to pin this :)

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

      @@Nemean if you had a group of real numbers and modulo 1 addition would every generated subgroup already implicitly include 0 and the inverse element, or would that only hold for rationals?

    • @Nemean
      @Nemean  ปีที่แล้ว +21

      @@msq7041 You're correct, if I read your comment correctly. Proof for the sake of completeness: If x is rational with denominator d, then adding x to itself d times gives you a whole number, i.e. something = 0 mod 1. If x is irrational, no multiple of x ever gives an integer and so is always ≠ 0 mod 1. This means you have to include 0 (and inverses) explicitly.

    • @omerd602
      @omerd602 ปีที่แล้ว +13

      For the second challenge, would, say, a 60 degree rotation in the group of all rotations of a circle work?

  • @samu_2822
    @samu_2822 6 หลายเดือนก่อน +75

    Bro casually created one of the best group theory intros out there, left a hangclift end and refused to elaborate further (at least a year after)

  • @uhu2323
    @uhu2323 ปีที่แล้ว +290

    This is some 3b1b level education. At some point this channel will blow up.

    • @quantumgaming9180
      @quantumgaming9180 ปีที่แล้ว +22

      Indeed. I remember when he posted his first video about Quake 3 algorithm and I was left speachless at the algorithm itself and the amazing way he presented it. I rewatched the video everytime I got it recommend just to be impressed again.

    • @jeper3460
      @jeper3460 ปีที่แล้ว +14

      I disagree. This is much better than 3b1b’s stuff, at least his video on groups.
      I saw 3b1b’s video on groups, more specifically the monster group, and his approach to explaining groups was like “I’m not gonna give you the hard axioms because that’s so confusing, so I’m gonna give you this vague analogy about symmetries (which admittedly works for one type of group)”.
      When working with such a complex yet widely applicable concept like groups, a video like this is much better in my opinion; first giving the hard rules/axioms of groups, and then giving examples.

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

      @@jeper3460 I was a but disappointed not to see the more intuitive cayley graph explanation of lagranges theorem

    • @mitchtom1409
      @mitchtom1409 ปีที่แล้ว +10

      not with this upload frequency it won’t

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

      It’s already did blow up. Check his first video.

  • @RB-fp8hn
    @RB-fp8hn ปีที่แล้ว +1383

    As a mathematics student who has since then become an AI researcher, I want to say that mathematicians have done the opposite of keeping things from others. It's just that every time a mathematician wants to tell people how amazing mathematics really is ... people run away screaming, "oh no, math ... algebra, eww, oh no!"

    • @shenraine
      @shenraine ปีที่แล้ว +120

      There are two types of people. For some of us math is a turn on.

    • @johnbaxter7582
      @johnbaxter7582 ปีที่แล้ว +16

      Accurate

    • @ezzouaouia.r1127
      @ezzouaouia.r1127 ปีที่แล้ว +13

      so true.

    • @kobtron
      @kobtron ปีที่แล้ว +83

      Maths is one of those secrets that protect themselves.

    • @benjaminmartin6294
      @benjaminmartin6294 ปีที่แล้ว +67

      I'm a cs and linguistics student and the maths professors are doing you no favours. My algorithms class is basically applying all that we've learnt in graph and set theory and it's so much more interesting. The math classes are just so theory based and are interesting on the surface but the whole process and approach just aggghhh

  • @diegodoesstuff86
    @diegodoesstuff86 ปีที่แล้ว +88

    Still waiting for part 2 of this amazing series

    • @94mathdude
      @94mathdude 2 หลายเดือนก่อน +2

      It's a power series

  • @swaree
    @swaree ปีที่แล้ว +754

    this channel is bound to become an example of high-quality, aesthetic, clear math/cs videos, keep it up

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

      *Note to future self*
      For the record, I subscribed when the subscriber count was 61.9K.

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

      @@vivvpprof I did when it's 65.6k

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

      @@ShauriePvs Good! This way we can track it if more people relay the number here.

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

      @@vivvpprof 69K (but was subscribed already since the Quake algorithm video, don't know how many subscribers were there then)

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

      74k

  • @Graham_Rule
    @Graham_Rule ปีที่แล้ว +926

    It is over 10 years since I looked at any group theory and even then it was only at a fairly basic level. I look forward to seeing your further videos as your style of presentation is great.

    • @byronwilliams7977
      @byronwilliams7977 ปีที่แล้ว +14

      Hasn't been 10 years for me, but it might as well be. I don't remember much, and I second that. I think this video is excellent.

    • @mujtabaalam5907
      @mujtabaalam5907 ปีที่แล้ว +7

      This is a fairly basic level

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

      he never gets to the point though ...

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

      5 years for m

    • @dieSpinnt
      @dieSpinnt ปีที่แล้ว +7

      Please calm down and just don't do that shit what Évariste Galois has done.
      ( Yeah, the 31 May 1832 is more than 10 years ago, but there aren't so much black humorous group theory jokes available, yet )
      Anyway, for some reality connections, maybe? A book tip: "Group Theory in Physics. An Introduction", by J.F. Cornwell
      "Introduction to Symmetry and Group Theory for Chemists", Springer, Arthur M. Lesk
      "Symmetries and Group Theory in Particle Physics: An Introduction to Space-Time and Internal Symmetries", Springer, Giovanni Costa, Gianluigi Fogli
      "Matrix Groups: An Introduction to Lie Group Theory", Springer, Andrew Baker

  • @triggerhappy899
    @triggerhappy899 ปีที่แล้ว +34

    I’m a math major and when I heard “there’s a field called abstract algebra that no one has ever heard of”, my only thought was “ yeah and you want to keep it that way”. My god that class was hard

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

    Bro said I will be back with part two then bailed for 7 months.
    I have seen this video first when it was 2 months old.
    Don't make us wait any longer, I BEG YOU!

  • @dewaard3301
    @dewaard3301 ปีที่แล้ว +270

    I've been looking my whole life for a series on Group Theory, ever since I guess I heard about 'The Monster'. And now it seems I finally found one that starts from zero, is narrated by a pleasant voice, and has high-quality visuals to illustrate the concepts. Really looking forward to this entire series.

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

      I believe Socratica has some good beginner videos on the subject - though I'm also looking forward to this series. NJ Wildberger might have a lecture series on it too. His videos are here on TH-cam and, while he has some funny ideas about infinity, he's a very engaging and clear-spoken teacher.

    • @Mr.Nichan
      @Mr.Nichan ปีที่แล้ว

      I was familiar with a lot of what he talked about because I somehow acquired this little book called "Teach Yourself Mathematical Groups" (Bernard, Tony, Neil, Hugh) from my mom (I think a library was getting rid of it?), and worked through something like half of it. You can get it for < $6 on Abe Books, not that it's necessarily the best one. It has a bunch of practice problems with a lot of focus on proofs from what I remember.

    • @mihailmilev9909
      @mihailmilev9909 10 หลายเดือนก่อน +1

      exactly! Thanks for reminding me of that. 3b1b?

    • @mihailmilev9909
      @mihailmilev9909 10 หลายเดือนก่อน

      @@hughcaldwell1034 thanks

    • @mihailmilev9909
      @mihailmilev9909 10 หลายเดือนก่อน

      @@hughcaldwell1034 wym by funny lol

  • @juanignaciosilvestri6782
    @juanignaciosilvestri6782 10 หลายเดือนก่อน +4

    checking every few weeks to see if second part is published!!! looking forward to it!

  • @bon12121
    @bon12121 11 หลายเดือนก่อน +2

    Bruh, you have to continue this. You are a BOSS educator. Seriously.

  • @louisauffret
    @louisauffret ปีที่แล้ว +492

    Something really fun about group theory is that it shows up where you don't expect it, the picture usually used to describe group theory is a Rubik's cube :
    - each action (combination of rotations) is an element of the Rubik's group, composition is applying actions one after the other, so it's closed under composition
    - the action "doing nothing" is the neutral
    - associativity checks out because applying (A then B) then C is the same as A then (B then C)
    - each action has an inverse
    I don't know exactly how many actions/configurations are possible on a Rubik's cube, but if you take all the configurations where only 2 opposite sides are being rotated, you notice it's a subgroup containing 16 actions, and you can just tell it's a multiple of 16 using Lagrange's theorem. Isn't that crazy ?

    • @pwnmeisterage
      @pwnmeisterage ปีที่แล้ว +51

      A standard 3x3x3 "Rubik's" cube has over 43 quintillion permutations. And almost 500 billion quintillion "illegal" permutations - arrangements which cannot occur during normal rotations (and which will not result in a "solved" state) - the sort of thing which happens when cheaters physically deconstruct the cube to move pieces or stickers.
      There are many algorithms to solve the puzzle. Some are incredibly fast and efficient, but they're all plodding brute-force sorts of approaches, they largely ignore the state of the cubelets and methodically rearrange all the pieces from top to bottom.
      No algorithm exists (yet) which can assess the state of all movable cubelets then immediately devise the minimal path towards solution. Likewise, no algorithm exists (yet) which can devise the maximum possible "mixed" state.

    • @techstuff9198
      @techstuff9198 ปีที่แล้ว +23

      My heavily exhausted mind asked "Does rotating the cube without shifting the pieces count as an action?" like it wasn't obvious.
      I'm going to take a nap.

    • @gregstunts347
      @gregstunts347 ปีที่แล้ว +33

      @@pwnmeisterage There actually is a way to get an extremely move efficient method, through computers.
      We do actually know actually know the most scrambled state, with the number of rotations of the cube being known as “Gods Number”, 20. The minimum value was discovered to be 20, since 20 moves are required to make a “superflip” pattern on the cube, where all edges are flipped in their place. Then, a massive sum of computers checked through all the possible scrambles to confirm that there was no other higher move count state. Although, we still don’t know what percentage of scrambles require an x number of rotations (since the computers code stops looking for a move efficient solution after it gets one in 20 moves, for time efficiency reasons). Although, it is predicted that most scrambles have at least a movecount of 17-18.
      There is no such thing as a “perfect method”, you’d need to be a god to be able to figure that out. Computers, however, can get very close, using a very efficient method.
      I wouldn’t call the method that we use to speed cube “brute-forcing”. Algorithms for speedcubing are never usually intuitive (except for ~400 3-style algorithms used for extremely advanced blindfolded solving, or when you are inventing new algorithms, you should check out some of the logic for how they work if you are interested). Instead, we rely on muscle memory, otherwise we would have to mentally memorise algorithm in cube notation and convert it to actual rotations. Memorising 43 quintillion 18-19 move algorithms is impossible. Instead, by learning smaller sets, we only need to feasibly 1 algorithm for our first time solve, to maybe close to 150-200 move sets for advanced solvers. Not only that, but you also have to plan out the cross (which you always do intuitively, never with algorithms), and usually predict the next steps in advance before even beginning to turn.

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

      @@techstuff9198 No one replied to your comment weird.

    • @techstuff9198
      @techstuff9198 ปีที่แล้ว +6

      @@yashaswikulshreshtha1588 The answer is "yes", because it counts as a transformation for group theory's purposes.

  • @animowany111
    @animowany111 ปีที่แล้ว +273

    This is great. I completely forgot about the graph isomorphism at the beginning until you mentioned it at the end. I hope you go into some of the scarier groups and at least mention the monsters. I tried looking into truly understanding group theory in the past, but the text I found that enumerated all the groups was incredibly dense.
    Would be nice to have a link to the lecture mentioned at the start, too!

    • @Nemean
      @Nemean  ปีที่แล้ว +63

      The lecture is in the description. And yes, my goal is to increase the difficulty in groups as the series goes on. I can mention the monster if you want, but don't expect too many finite simple groups in this series. Personally I'm still working through Wilson's book on them and my god, are they complicated.

    • @110jmartin011
      @110jmartin011 ปีที่แล้ว

      Well, I would of really enjoyed having matlab up in the brackground, or what ever tool he used for graphs lmao , but it was not the less a good lecture

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

      @@Nemean i'd personally like to see some of the simple Lie groups, like U(n), SU(n), and/or O(n), mainly because of how they come up in quantum mechanics. a prime example being the gluons, chromodynamics, and SU(3), in that from what i understand each of the eight gluon types corresponds to one of eight generators for the group, but i haven't yet found a good visualization for what the group is doing past 'the generators are made up of a triplet of commutative ones, another of anticommutative ones, and two seperate ones that are unchanged for either 2-cycling the colors or 3-cycling the colors'.

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

      @@numbers3268 I'm no physicist, but doesn't this correspondence come from the irreducible representations of SU(3)? Because apart from the fact that I genuinely don't know QFT or gauge theory or whatever theory this belongs to, computer scientists use representation theory more like number theorists and less like physicists, so I'd first have to get familiar with the ways of the physicist. What I'm thinking of doing though is covering the affine group, which is used a lot in relativity, but no promises. Would this maybe interest you? I'm genuinely curious, because I have no idea what physicists are up to these days.

    • @numbers3268
      @numbers3268 ปีที่แล้ว

      @@Nemean im not a physicist _or_ a computer scientist (and i've only dabbled in number theory so far), so what i know is effectively grasping at straws (maybe sometime i'll find a textbook i can get into and find my way from there). i'll still watch the next video(s) though, this one was certainly interesting

  • @Simchen
    @Simchen ปีที่แล้ว +414

    What a fantastic, well structured, visually pleasing introduction to group theory. This video deserves the highest levels of praise.
    Regarding the question at 0:36 - I know a Petersen-Graph when I see one! For my Diploma-thesis in mathematics I developed a program that uses spring-force algorithms to calculate different stable versions of how to draw a graph. The Petersen-Graph was one of my test cases. So that is how I know that these two graphs are in fact isomorphic just by looking at the shapes.

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

      Sounds cool! Is it published?

    • @skewer45
      @skewer45 ปีที่แล้ว

      As an aside, you might be interested in these works as well! They also use a simulation-like method to simplify graphs, but apply it to 2D- and 3D surfaces instead. This allows one to unravel shapes such as complex knots and twisted, nesting tori, and identify the isotopies between them.
      th-cam.com/video/-uXFYpVumh4/w-d-xo.html
      th-cam.com/video/sJgK0jjd6oE/w-d-xo.html

    • @ClaudioParraGonzalez
      @ClaudioParraGonzalez ปีที่แล้ว +23

      @@simpleffective186 you should never ask a doctor whether their thesis is published. For mont people it brings PTSD...
      [please read this comment as an inocent joke]

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

      Is it enough to say that two shapes are isomorphic if they have equal amounts of nodes that have equal amounts of connections?

    • @Szyman91
      @Szyman91 ปีที่แล้ว

      @@Copperhell144 I had the same question in mind, please let me know once you know

  • @markosth09
    @markosth09 8 หลายเดือนก่อน +5

    Still waiting for part 2 of this series

  • @augusto256
    @augusto256 ปีที่แล้ว +24

    I have to say that it's unbelievable that you have only four videos and yet I consider this one of the best channels on TH-cam.

  • @Golden63
    @Golden63 ปีที่แล้ว +63

    I remember I had to learn group theory as a chemistry major to understand molecular symmetry and the nature of chemical bonds. Your video is so well made that I would recommend it to any chemistry major.

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

      Same, just wish I had this video back then lmao

    • @mihailmilev9909
      @mihailmilev9909 10 หลายเดือนก่อน

      50th like

    • @mihailmilev9909
      @mihailmilev9909 10 หลายเดือนก่อน

      wow I didn't know that that was required. Thanks!

  • @phoenixmandala2836
    @phoenixmandala2836 ปีที่แล้ว +98

    As a math major who now works as a programmer, it's really cool to see how my favorite subject relates to the work I do now. Thanks for making this, looking forward to seeing more.

    • @mango-strawberry
      @mango-strawberry ปีที่แล้ว

      Are you working as a SWE?

    • @phoenixmandala2836
      @phoenixmandala2836 ปีที่แล้ว

      @@mango-strawberry yes

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

      Hey I just graduated in theoretical math, and now I'm going into coding. Exactly why I clicked on this video

    • @mango-strawberry
      @mango-strawberry ปีที่แล้ว

      @@phoenixmandala2836 cool

    • @Iogoslavia
      @Iogoslavia ปีที่แล้ว +7

      It's kind of ironic that in the end they didn't circle back to show how groups are used for graphs

  • @nickm3694
    @nickm3694 ปีที่แล้ว +50

    Before this video, the only other video I had seen on group theory was the one 3b1b made about the monster group, and when I first watched that I was mind boggled how we could even go about beginning to prove things about such abstract concepts like symmetry. After watching this video though, I feel like I got a new insight on how proofs could be derived and built on each other that I was really looking for a while ago! I do hope this series continues, as this whole subject seems really captivating, but the internet seems to be sorely lacking in digestible content about it.

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

    I love how the video only began to tackle the idea posed in the title. Makes me excited for future videos.

  • @PixelSergey
    @PixelSergey ปีที่แล้ว +32

    This is the most beautifully animated intro to group theory i've ever seen!

  • @minerharry
    @minerharry ปีที่แล้ว +38

    This is by far the best group theory video I have seen. This is the first one that let me truly understand it from a casual perspective - even 3b1bs videos seemed opaque about the mechanisms of groups. This lays it out so nicely and concretely it’s hard to get lost at all! I cannot WAIT for more. Instant sub

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

    I really admire the way you use those gorgeous visuals to aid understanding.

  • @camilocagliolo
    @camilocagliolo ปีที่แล้ว +13

    Beautiful visuals! There's a lot of love and effort put into this. Very clear explanations as well. I'll be waiting for the next one.

  • @lorenzoaste9173
    @lorenzoaste9173 ปีที่แล้ว +27

    Beautifully made video, it’s been years since I’ve found a video so captivating. Not only is the editing top notch, the math is explained well too.

  • @cubostar
    @cubostar ปีที่แล้ว +9

    This is awesome! I've been trying to read Babai's 2020 paper but couldn't wrap my head around the group theory aspects, thank you so much!

  • @sandybeach95
    @sandybeach95 ปีที่แล้ว +36

    This is one of the most eloquently made and beautifully explained math videos I've seen. Great job! I'm looking forward to future videos

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

    I’m so glad you put this out there. It summarises the field of group theory very well in an understandable way! Can’t wait to see the followup!

  • @manuelbonet
    @manuelbonet ปีที่แล้ว +13

    It would be great to have the talk by Babai linked in the description

    • @Nemean
      @Nemean  ปีที่แล้ว +9

      Good point! It's at people.cs.uchicago.edu/~laci/2015-11-10talk.mp4

  • @angel-ig
    @angel-ig ปีที่แล้ว +7

    Probably the best introductory explanation of group theory I've seen. You made several things click for me. Hoping to see more of the series!

  • @tastygold
    @tastygold ปีที่แล้ว +16

    I have long considered your video on the fast inverse square root to be one of the very best mathematical videos on all of TH-cam. This video definitely lived up to that legacy. Excellent work :)

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

    Man you just earned a subscriber, just due the sheer passion you have for learning such stuff and presenting to us. You spend your time to go through stuff and helps us understand it. Thanks alot man

  • @L.Mandrake
    @L.Mandrake ปีที่แล้ว +4

    I literally cannot wait for the next part of this video. I've watched it days ago and I can't stop thinking about it! Amazing exposition. Thank you.

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

    This man made a clean introduction to abstract algebra. It makes perfect sense.

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

    Im loving these soME2 videos. cant stop watching them

  • @SlingerDomb
    @SlingerDomb ปีที่แล้ว +14

    You did summarize the abstract algebra course i took for 1 semester really elegantly. I really greatly appreciate your work.

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

    This is one of the best intros to groups I have seen on here in a while, great job!

  • @rizalpurnawan3796
    @rizalpurnawan3796 ปีที่แล้ว +20

    Actually, group theory (as well as abstract algebra as a whole) is indeed the most beautiful math subject. Basically, I wasn't a mathematician, I have a bachelor's degree in civil engineering. I came to study math by self a few years ago, driven by curiosity. And I got interacted with abstract algebra 2 years ago. And I feel my mind blown by the beauty of group theory since my first interaction. It makes me cannot stop learning math.
    By the way, your presentation is awesome!

  • @kono152
    @kono152 6 หลายเดือนก่อน +3

    I hope you'll continue this series, I really wanna learn and understand the algorithm now that i know about graphs

  • @AB-gf4ue
    @AB-gf4ue 11 หลายเดือนก่อน +2

    I hope you finish this series! I've been at the edge of my seat for months!

  • @zenzizenzic
    @zenzizenzic ปีที่แล้ว +8

    this video is really good! its got a nice quality and visual aesthetic to it, that I rarely see in most group theory videos, that matches how intuitive the idea of groups ought to be.

  • @nolanalexander8696
    @nolanalexander8696 ปีที่แล้ว +22

    This channel (and video specifically) prove that there are people that are good both in explanation and visualizing them with animation. I learn group theory back then at uni and sadly not gave them too much attention because the lecturer is boring. Listening to this channel explain the characteristics of group it suddenly make sense, especially when you applied them through Integers, Rationals, Cyclic, etc. The animation style is smooth and comforting. Hope you post other video about topics, especially for prospective computer scientists.

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

    Hi, I think the way you presented group theory is so great, and I'm looking forward to your next episode. I feel it's like a great tv series and I'm constantly checking your channel to see if there is anything new. Keep up the great work, and have a happy new year!

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

    This is a great video on many levels -- clear explanation, animation/visuals, pacing. I've been dabbling with learning group theory for years and this really nailed it!

  • @jaopredoramires
    @jaopredoramires ปีที่แล้ว +16

    I am absolutely amazed and stunned by both the visuals and the didactics. Incredible material, godlike stuff really. Congratulations man, you've got my maximum respect

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

    What a beautifully presented video. I am in awe of the graphics, and the explanations were so clear. I know this stuff from university (45 years ago) but it felt like you covered half a term's group theory lectures in half an hour!

  • @riverm5889
    @riverm5889 ปีที่แล้ว

    I really like the simplicity of the visuals you use. Sometimes I notice other video visuals are so fancy that it sometimes distracts from the concepts it is trying to show. Great video!

  • @tomaso0
    @tomaso0 ปีที่แล้ว +14

    Your channel is absolutely going to blow up. Great content and gorgeous presentation man

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

    Oh, your content is always so juicy and just shines with its high quality! Thanks, we appreciate the effort 🤝
    Your work deserve much more appreciation!

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

    It's been more than 10 years since I studied group theory and I find your video to be highly engaging. Looking forward to the next one!

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

    this is the very first video i watched on your channel
    and it's insane
    i bet you deserve a lot more subscribers
    thanks for your effort

  • @michaell01
    @michaell01 ปีที่แล้ว +13

    One of the greatest mathmatical videos I have ever watched on youtube! You are doing an amazing job of introducing true mathematics to the broad audience, and to refresh our knowlegde of it. Keep on the great work! 👍

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

    Man, this video is my favorite of yours. I'm so glad computer scientists and students can discover how general and powerful algebra can get. Plus, it is animated just right. Keep it up !

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

    Amazing amazing video!
    The way you simplified the concepts with history, visualization, applications and examples was unreal!
    I remember in my Grad. days, how many times I went after the textbook to learn group theory, only to be overwhelmed with all the definitions and proofs, only to give up couple of days later!
    Can't wait for your upcoming videos! 👏👏👏

  • @DamageIncBHS
    @DamageIncBHS ปีที่แล้ว +7

    Amazing description and teaching style. If I had this resource in my first abstract algebra course, my junior/senior years of undergrad would have been so much easier. Thank you!

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

    You are finally back! Really love your videos. It was a pain to know that there is only three of them :(

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

    i loved the end of the video because math is exactly that. you begin wanting to solve a problem, but to do so you have to study or even develop a crazy math theory. then you realize that this theory is interesting by itself, and you can forget about your motivation.

  • @lih3391
    @lih3391 หลายเดือนก่อน +2

    Best explanation I've heard! Thank you for not dumbing it down or overcomplicating so that we actually progress at a decent pace!

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

    This is an awesome intro to group theory. You did a great job breaking down a very complex topic. Did not appreciate the cliffhanger at the end lol. Looking forward to the next one

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

    Hey Nemean, I took abstract algebra as a math undergrad. The first isomorphism theorem is my favorite theorem and its beauty belies in its simplicity and power.

  • @nada3131
    @nada3131 ปีที่แล้ว +6

    Absolutely fantastic video. Just did this course last year and will probably take algebra II (ring theory) this year and this is a fantastic recap. Subscribed and eager for more!

  • @MusicEngineeer
    @MusicEngineeer 8 หลายเดือนก่อน +1

    Wow! This is the best introduction to group theory, I have seen so far. The information density is just right. Not getting bogged down in too many details of the proofs while still giving good enough intuitions for why the theorems are plausible. Everything seems to fall into place naturally without much of a mental load. I'm looking forward to the next videos in the series.

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

    Omg, you're back, i watched you video about the fast inverse square root algorithm and i never expected to find this channel again until now. Good job and good luck

  • @Anonymous-kj6cu
    @Anonymous-kj6cu ปีที่แล้ว +7

    It is always refreshing and exciting to have an introduction to mathematics by someone from another field. Cool!

  • @andreigrigore3512
    @andreigrigore3512 11 หลายเดือนก่อน +17

    I am from Romania and we study group theory in high school and even though I am not even close to an expert I can tell you this video is insanely well made.❤

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

    Holy jumping, the editing on this is amazing, well done dude

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

    I love this. Thank you so much for these beautifully clear explanations. I only had to pause at a few places to follow you and I think you provided me with an intuitive understanding without having ever looked at group theory.

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

    I never got the "so what" part of abstract algebra when I took the class.
    I'm super excited to see where this series goes!

  • @schenzur
    @schenzur ปีที่แล้ว +7

    I feel this video is why mathematicians get so self-absorbed with math itself. In quest to find the solution of the graph isomorphism, I think all of us found great pleasure in the iterative process of finding strange theorems, and in doing so forgot the aim, and in the future videos I hope you keep on doing this.

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

    I had a very good prof for Algebra and it took him half a semester to teach group theory. And you summed it up in 30 minutes. Keep it up man.
    I already subscribed and had the bell set to notify me when the next video is out. Can't wait for the rest of the story

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

    I've taken two semesters of abstract algebra as a CS major and sill your video made me understand and appreciate the Group Theory more. Great job, keep it up!

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

    Great video! Even though I already took abstract algebra, the proof of Lagrange's theorem still helped me understand even better

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

    Congrats for this very visual and very didactic introduction to group theory. Looking forwards to the next video creating the bridge with how to improve our algorithms

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

    The video is absolutely perfect. The best group theory intro. You showed exactly how I perceive it and exactly why I love it. Looking forward to the next videos

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

    I love that you touched on the 3-6-9 control theory without saying it. The subgroup portion really helped tie your justification for left sided neutrality - absolutely beautiful. This is light years beyond me but you made it make since- touche Sir.

  • @nekai4570
    @nekai4570 ปีที่แล้ว +6

    Great beginner-friendly explanations, I dig the format and the animations. Looking forward to future videos/

  • @Quaquaquaqua
    @Quaquaquaqua 6 หลายเดือนก่อน +3

    As a programmer interested in math this is best introduction to group theory I’ve seen

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

    Extraordinary! Well done. So many TH-camrs try to teach math but none of them even come close to your video. And I love the other, mostly helpful, comments.

  • @AnarchistEagle
    @AnarchistEagle 9 หลายเดือนก่อน

    I took abstract algebra for my math minor in college and this is perhaps the best introduction I've ever seen on it. Incredible job breaking down these concepts.

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

    Nemean, this was fantastic. Easily the best group theory video I’ve seen. Can’t wait for the next video!

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

    Bro This is the first time I heard about group and you already got me hooked, you are a great teacher.

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

    This video made me understand group theory, thank you!

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

    This must be the most intuitive explanation of subgroups and cosets I have ever seen! Can't wait for the next video!

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

    Every video so far has been a banger

  • @JoelJosephReji
    @JoelJosephReji ปีที่แล้ว +36

    Wow, I had to study groups as a part of my CS course (was just an introduction iirc) but I had no idea what it was being used for or what it was in the first place. That introduction part of this video just exposed the "purpose" of groups and I would have definitely paid more attention to what groups was all about when it was being taught.
    It makes me really wonder whether a proper "setting up" of a lesson could simply add more incentive for the listener/student to understand the concept even better (and that would have not made me slack on any of those courses at college even though slacking was mostly my fault xD).
    Anyway, nice video as always!

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

      Here our first two semesters are basically doing mathematics with the engineers in computer science. It is pretty harsh and they aim to get rid of people from here.

    • @JM-us3fr
      @JM-us3fr ปีที่แล้ว +2

      Personally, I enjoyed abstract algebra from the beginning. I liked being able to solidify my basic intuitions about algebra and arithmetic in formal proofs. But I think the thing that really sold me was Lagrange's Theorem. The fact that divisibility comes naturally from the structure of groups and subgroups was fascinating to me, and the applications of prime numbers becomes immediately apparent. It turns out, prime numbers have huge application in abstract algebra by narrowing down exactly what kind of structure a group can have.

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

      the point of the axioms of a group is to encode the idea of a symmetry. a big part of the usage in modern day is to have groups "act" on certain objects. for example, in the video, D_n acted on the n-gon. another example is to have groups act on vector spaces by linear maps and the study of this is known as representation theory. if you talk to a particle physicist, you'll discover that our idea of particles are just representations of certain groups. another use of groups is the fundamental group of a topological space, which was alluded to in the poincare conjecture. this is a way to bundle together all loops (maps S1 into your space) in a way to create and algebraic gadget which is invariant under homeomorphism. this gives you a way to count 1-dimensional holes in your space. for example, all Euclidean spaces, and the n-dimensional spheres for n>1 trivial fundamental group, but the circle has fundamental group Z, and the torus has fundamental group Z^2. thus, the poincare conjecture is the following: is the fundamental group a strong enough invarint to characterize the 3-sphere? that is, if you have a (closed, connected) 3-manifold with trivial fundamental group, is it homeomorphism to S3?

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

      Definitely share that feeling that you should try to motivate subjects to students first, they’ll try much harder if they actually want to figure it out, and gives them some ideas of how to apply the subject to actual problems

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

      @@ToriKo_ yup, you spoke my mind. And there was a professor who used to do exactly this and we loved to attend his classes

  • @user-vy2xh4nc3u
    @user-vy2xh4nc3u ปีที่แล้ว +2

    it's the best popular introduction to the group theory I've ever seen.
    Thanks a million. Looking forward to the next video.

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

    You have animated the most beautiful introduction to group theory. Well done. Your video could serve generations of students. I love the spunky color scheme, too! Simply excellent. Thank you for your contribution to SoME#2 !

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

    Very nice, thank you. It took me some effort to prove all the theorems without left-handed neutral element, that needed some tricks. Hope to see the next video, explaining how does it help with the graph comparison algorithm

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

    I feel like a super hero who just found a few super weapons that are so revolutionary
    Thank you for introducing me to this field and found a great channel in the process

  • @arthur-vi1ub
    @arthur-vi1ub 8 หลายเดือนก่อน

    I have heard many intros to groups, but this one is by far the best !!!! Crystal clear, intuitive, and very formal at the same time… kudos ❤

  • @mr-dy5cx
    @mr-dy5cx 10 หลายเดือนก่อน +4

    Great video! Would love to see part 2. It also would be great to hear about books/videos/material to learn about group theory.

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

    Genuinely the best explanation of group theroy I've seen. Bravo!

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

    Thank you very much. I recollect that I had a course in group theory nearly 25 years ago during my masters degree. Its good to refresh that again in a neat half an hour video and see it in action.

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

    I just started college recentely and this helped me understand so much of the new concepts that I've been introduced now

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

    You did an amazing job with the animations! Thank you TH-cam gods for showing me this gem of a channel

  • @nice3294
    @nice3294 ปีที่แล้ว +6

    I love the visuals to this video, and the concept was explained well

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

    Your explenations are great! Ive been looking for a group theory course, and thats exactly what I was looking for!

  • @notonlyit1361
    @notonlyit1361 10 หลายเดือนก่อน +1

    Today I gave my lecture on group theory and your video showed up in my feed. Glad to see a good explanation of this really beautiful field!

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

    Thanks so much for this description of group theory: framing it this way is perhaps the ideal way to introduce the subject.