La mejor y más clara explicación que he visto. Cuando vi un poco de teoria de grupos en la universidad quedó como un tema totalmente oscuro para mí. Ahora todo hace sentido. Excelente video!!! Me encanta esta serie
@AllAnglesMathКүн бұрын
Thank you so much!
@강현-n1q4 күн бұрын
I love this video!
@AllAnglesMathКүн бұрын
Thank you!
@DeathSugar4 күн бұрын
15:43 well, all those group/ring/commutativity is terms directly from number theory, so it's weird claim they aren't related.
@TheOneMaddin4 күн бұрын
I don't get your complaint. Group representation theory has a very different origin than number theory. There is no a priori reason to expect they are related in a not superficial way. Sure, they share some terminology. But rings, groups etc are not "owned" by number theory. There is plenty of other math out there that uses them without even thinking of numbers.
@DeathSugar4 күн бұрын
@@TheOneMaddin it's all started from groups and their properties - associativity, commutativity, inverse, units and the rest. NT take those properties and smash it onto different stuff - different number systems (N, Z, Q, R, C etc), matrices, graphs - basically equalizing their behaviours via homomorphisms at it's core. We came from number theory into more specific part of it. Why should it be surprising at all?
@thomaspeck45372 күн бұрын
I have never seen group theory described as a branch of number theory. I don't think "number theory" means what you think it means.
@DeathSugar4 күн бұрын
9:08 well, that was confusing. at 1:40 you said it was homomorphism, i.e. function for mappping is character, but here you pick one one permutations and call it a character.
@bartbroek96955 күн бұрын
amazing, if i become a patreon in some time, will the video still be available? ik zag trouwens laatst in je Q&A dat je vlaams bent, en ik had me al afgevraagd waar je accent vandaan komt, want vaak en zo ook nu kan ik een vlaams accent niet herkennen in het engels en daar had ik het toevallig die dag zelf nog met iemand over gehad. maar goed, ik kijk al je video's zodra ze uitkomen! hopelijk kan ik binnenkort eraan bijdragen :) als je nog eens een Q&A doet ben ik benieuwd wat voor muziek je luistert
@AllAnglesMathКүн бұрын
The patreon-exclusive videos will be available on Patreon as long as our page exists. That's not the same thing as "forever", but you still have plenty of time 😉 Groetjes en bedankt voor je leuke commentaar!
@authenticallysuperficial987410 күн бұрын
Very cool!
@omipial208414 күн бұрын
4:12-;
@anshuldekate125815 күн бұрын
goldmine, have been trying to understand the mobius function for the last few days, absolutely beautiful explanation, thanks
@AllAnglesMath10 күн бұрын
Happy to bring some clarity.
@omipial208417 күн бұрын
1:11-;6:46-6:56;8:10-8:22;9:03-9:15;
@LunizIsGlacey22 күн бұрын
Amazing video!! A really great introduction to some core ideas in representation theory :)
@AllAnglesMath18 күн бұрын
Thank you!
@TarikZakariaBenmerar22 күн бұрын
Before going deep into the math of these symetries and their applications. Where others failed, you succeeded. Deep explanations and intuivie. Really good content. Thanks !
@AllAnglesMath18 күн бұрын
Good to hear that you liked the explanation. I hope we will be able to dive much deeper in future videos.
@TarikZakariaBenmerar18 күн бұрын
@@AllAnglesMath topology ? Algebraic topology ? I will not say no :p
@jonny__b23 күн бұрын
Honestly, the looks/animations of the videos are just a bonus - I stick around because your explanations are the most clear and elucidating I've ever seen, often exceeding 3b1b
@AllAnglesMath18 күн бұрын
Wow, that's a major compliment. Thank you so much!
@GabrielOliveira-mk1qd24 күн бұрын
a division by zero is a contradiction in most cases, and everything follows from a contradiction
@henryzhang22424 күн бұрын
I AHVENT' WATCHED THE VIDEO DID YOU COOK IT UP SHOULD I FINSIH IT
@geertdejonge419424 күн бұрын
Fourier was great video
@AllAnglesMath18 күн бұрын
Thanks, glad you liked it!
@linuxp0025 күн бұрын
I'm also a software dev, undergraduate in computer science and ending a Physics one. Your teaching amazing and passing is just as good to have us thinking the subject until the next one comes up. I think division by zero is a zone of trasition, it's a degenerate state, where either you lose dimensionality information as in linear algebra projection transformations or have an ambiguity as in geometry with unknown polar/azimuthal angles at the origin/poles, also in algebra they're related of to a curious pythagorean triple involving dual numbers, imaginaries and reals, the division by zero is not possible in scalar or row vector algebra, by an incompletude, but you can work around it using dual numbers matrix representation or poles and residue theorems from complex calculus, with some clever tricks. Spoilers: you arrive at differentiation operations. Borrowing again from LA, zero is the kernel of any morphism in math, so itself acts as a pivot, that makes any sum, product or exponential with it meaningless since you get the original operand, zero or one. The unique place where it changes anything is when divided by itself since 0 = k0, so k = 0/0, where k is literally anything you can put in an equation involving inverses, be it number, vectors, matrices, tensors, shapes, sets, etc.
@АлексейТучак-м4ч25 күн бұрын
The preview resembles a thing I did with pixel shaders, while exploring various fractals(Mandelbrot, Julia sets, Ducky fractal etc) I repeatedly applied projection matrix, using homogenous coordinates (x,y,z,1), somehow assigning z value(probably with a parabolic function z=const*(x^2+y^2)) so it was something like: take a picture, project it on parabola, take a picture again, project on parabola and so on(about a hundred times in total). If the projection plane was tilted(or shifted) a bit, it looked very similar
@DeathSugar26 күн бұрын
> why div by 0 allows this obisously, because it's uncertain and following the definition of division you can grab any result from it making reasonable equations into useless math. Wonder if category theorist have category for those.
@DeathSugar26 күн бұрын
Thought you used manim as well.
@scollyer.tuition26 күн бұрын
One fairly obvious (but not deep) reason for division by 0 being problematic is that multiplication by 0 is many-to-one, whereas multiplication by k for k != 0 is one-to-one. So if we define the function mul_k(x) = kx then the inverse function div_k(x) = x/k exists for all k except zero k since mul_0(x) = 0 for all x Because of this, an implication like: a*(x-y)=b*(x-y) => a = b is false if x=y (since the multiply is non-invertible), and if you can hide such a step in a proof then you can apparently prove nonsense like 2=1
@AdrianBoyko26 күн бұрын
KZbin as a learning resource is *hugely* under-appreciated. I’m glad you’ve jumped into this as a content creator.
@AllAnglesMath25 күн бұрын
I agree: youtube makes it possible to really *show* things and animate them, which was never possible in textbooks. That's what all the symbols and formulas are for: to refer to parts of the bigger picture. Now you can just point directly at those parts and move them around. It makes things much more intuitive.
@AdrianBoyko25 күн бұрын
@ The other factor is that KZbin makes it possible for somebody like you, with superior teaching skills, to be available to everybody. We’re no longer stuck with our local teachers and professors. It’s similar to how the invention of sound recording made the best performers available to everybody, everywhere. I really hope that local teachers and professors will become obsolete in the same way that the local village accordion player did.
@caspermadlener419126 күн бұрын
I am Dutch, and I had absolutely no idea you speak Dutch. Also, "right" and "straight" are both correct translations from "recht" in Dutch.
@AllAnglesMath25 күн бұрын
"Rechtdoor" vs "naar rechts".
@caspermadlener419125 күн бұрын
@AllAnglesMath If you study rights, you study "rechten". They even have the same proto-germanic origin.
@jeremiahjohnson112126 күн бұрын
Your channel has been incredible! ❤ I am a math/physics undergrad in America. Most of your videos have left me with new perspectives and appreciation for the intense beauty of mathematics. Your animation quality and the clarity of your explanations rival that of 3blue1brown. Keep up the good work! I am excited to see what you make next! I believe that this channel will eventually become very popular
@AllAnglesMath25 күн бұрын
Thank you so much! That comment made my day.
@carmensavu512226 күн бұрын
Beautiful <3
@AllAnglesMath25 күн бұрын
Thank you!
@arawup800726 күн бұрын
NOTE: had to reverse image search(may be inaccurate) half of them, but they match the icon and general content. List of channels displayed from 2:00-3:00 TOP ROW - 3blue1brown - Mathologer - khanacademy - MathTheBeautiful - rationalityrules - ron-math - eigensteve BOTTOM ROW - (Eigen Chris) UCN8wTUlSAroLslWyf87E2pw - mathemaniac - Aleph0 - PhysicswithElliot - RichBehiel - SanderKonijnenberg - sudgylacmoe
@AllAnglesMath25 күн бұрын
Those are all correct.
@cosimobaldi0326 күн бұрын
Division by zero breaks everything because 0 doesn't have an inverse in all rings except the {0} ring. You can prove that if you have a ring where 0^-1 exists then that ring is {0}. Also, in a ring one of the first things you prove is that 0*a = 0 for all a in the ring.. but by definition of inverse, you would have 0 * 0^-1 = 1. So you conclude that 0 = 1 , so for all a in the ring, a = 1*a = 0*a = 0, and that leads you to the ring being just {0}.
@bjorntorlarsson26 күн бұрын
The way I do things these days is to ask AI what it would do in my situation: "- Ask AI." It replies. "- Thank you very much!"
@AllAnglesMath25 күн бұрын
Always love a good self-referential joke.
@bjorntorlarsson26 күн бұрын
I've also always loved math! Too bad that this love isn't mutual.
@AllAnglesMath25 күн бұрын
🤣
@manojdhanji7776Ай бұрын
Very clearly explained.
@AllAnglesMath29 күн бұрын
Thank you for the positive feedback.
@johnnavarra9037Ай бұрын
Mil,,l0/😅😢😢{|{😢😮😢😅😅😮😮😮😮😮,o5u😊😊zz ze😮45😅😮
@kanonthecapybara9691Ай бұрын
The best video of number theory I've seen! Thanks!
@AllAnglesMath29 күн бұрын
Thank you!
@DeathSugarАй бұрын
Does more dimension will yield bigger sign group? like with 3D space which has 4 diagonals it become sign group of that size?
@TheOneMaddinАй бұрын
The sign representation is always 1-dimensional.
@DeathSugarАй бұрын
@@TheOneMaddin 1 dimensional how? it's at least 1x2 in the video. Will it become 1xn for any n dimension square?
@DeathSugarАй бұрын
On the other hand depends on what object of symmetry chosen. For a cube it will form cyclic group of size 6 (if i counted correctly) - C6 which composed of C2xC3, so I guess it's also be the case for it's sign and others. which is if I counted correctly and it's underlying structure definitely composite.
@TheOneMaddinАй бұрын
@@DeathSugar Sorry, I don't have the time to recall the definitions, but if you use the correct definition of sign representaion, it is ALWAYS 1D. If you mean something different then my answer might not apply but then I also don't know what you are asking.
@DeathSugarАй бұрын
@@TheOneMaddinspatial 1D is literally dot on the numberline. 1D matrix is 1x1. sign matrix used in video is 1x2 so it's by definition cannot be 1D. when you use higher dimension group it has more freedom dimensions so it either stays the same or start extend to things like i -I j -j etc.
@DeathSugarАй бұрын
Also please don't gradient plane points (like 6:18). Group coloring doesn't look like turns into gradient.
@DeathSugarАй бұрын
Are we gonna study whole table of groups including sporadic ones?
@AllAnglesMath29 күн бұрын
We won't be listing all of the groups. I may however make a video about the monster group later, the biggest of the sporadic groups.
@DeathSugar28 күн бұрын
@@AllAnglesMath nah, there's many videos about monster, moonshine etc. I would prefer if the idea behind sporadic/non-sporadic were clarified and the way they are generated.
@Grateful92Ай бұрын
Wow!
@omonas9681Ай бұрын
Hey, isn't isomorphic the same as saying an homomorphism exists?
@AllAnglesMathАй бұрын
Almost. There is an extra condition: an isomorphism is a homomorphism which is invertible. The inverse itself is then also an isomorphism. For example, when you map from a group with 12 elements to a group with only 4, you might have a homoomrphism, but it cannot be an isomorphism.
@culaterАй бұрын
BEAUTIFUL ! Love your work ! THANKS !
@woomygfxАй бұрын
these matrix representations reminds me a lot about functors, could there maybe be a correlation or could be that I'm just confusing things...?
@AllAnglesMathАй бұрын
Every matrix representation is a homomorphism; and those in turn are studied as the "arrows" in category theory. Functors are an arrow between such arrows. The condition for functors is indeed very similar to the conditions you see for many other kinds of arrows such as isomorphisms, linear transformations, or diffeomorphisms.
@technicallittlemaster8793Ай бұрын
May you also share the python manim code that you used for making this video. that would be really helpful
@AllAnglesMathАй бұрын
I don't use Manim, I use a custom library that isn't fit for publication.
@ZomgyLandАй бұрын
Late happy birthday to your dad! I'm israeli but I recently moved to the netherlands for a master's degree in logic in UvA. Working hard on giving you some future content :)
@AllAnglesMathАй бұрын
Thanks! If you have a link to the research you're doing, maybe we can share it or even consider making a future video about it. Shalom.
@culaterАй бұрын
WONDERFUL ! Thank You ! 👌
@culaterАй бұрын
THANK YOU ! WOW ! You're a GREAT Teacher !!
@alexandrevachon541Ай бұрын
Sedenions (16D) lose alternativity and they have zero divisors. Trigintaduonions (32D) lose distributivity as well. Power associativity is presumably lost at the sexagintaquatronions (64D).
@georgeorourke7156Ай бұрын
Excellent presentation. The graphics are great and the pace is pleasant. And mist if all the subject matter is fascinating. Thank you
@AllAnglesMathАй бұрын
Thanks! Glad to hear that you enjoyed the video.
@callmedenoАй бұрын
This makes me want to dive back into shilov chapter 1!
@callmedenoАй бұрын
Man I just found your channel as a self-studier and I can tell it is a gold mine!
@AllAnglesMathАй бұрын
Welcome. I hope you will enjoy the videos and learn a lot from them. Feel free to ask questions in the comments!
@omarel-ghezawi64662 ай бұрын
Great video, intuitively informative, nice graphics and animation. Thanks a lot!
@AllAnglesMathАй бұрын
Thank you so much!
@CjqNslXUcM2 ай бұрын
I didn't understand the proof that the set contains only one neutral element. I think you didn't explain this well. Why does the neutral element get this mini-commutativity, where the operation results in the same output if the neutral element is either input? Because associativity ore closedness doesn't prove it, it's not a result of the definition of the monoid like you said, unless you also put that property into the definition of what a neutral element is.
@AllAnglesMathАй бұрын
This is a really good observation. I found this short explanation online: planetmath.org/LeftIdentityAndRightIdentity Basically, a left or right identity isn't necessarily unique. But as soon as you have both, they are the same and "they" are unique.