Great video! The reason the golden ratio φ appears in the A5 representation is that the geometrical construction of a regular pentagon involves the construction of a line segment of length φ.
"we even teach matrices and linear algebra to cs students, so you know its not that bad" 🤣🤣🤣 Seriously though wonderful video, really gave me a better notion of what representations are. Thanks for this.
I really like advanced topics made more accessible like this, but not any simpler than it should be. I only have a minor in math from uni and this was the perfect level for me, so thank you 😊
Good explanation, but I really wish you had mentioned that groups are required to be associative. It’s perhaps their most important property. Associativity is the only reason you’re allowed to think of the operation as a transformation so that representation theory makes sense. What you described is technically called a loop.
Good video. However, I think at 11:19 you 'give up' on matrices a little too quickly. In fact, your choice of representation starting at 9:29 is already more complicated than it needs to be. A really useful and important fact -- especially for wrapping one's head around groups and/or representations -- is that: All finite groups are subsets of some Permutation (aka Symmetric) group. In other words: All groups can be represented as simple permutation matrices which *_only_* contain 0s and 1s! (Even more, each column contains exactly one 1, and each row also contains exactly one 1.) This is really useful, since permutation matrices are very simple to compute with and use as examples. For example, for C4 (at 11:19), you could simply use these 4 matrices: rho(0) = the identity matrix, [1000 0100 0010 0001] rho(1) = [0100 0010 0001 1000] rho(2) = rho(1)^2 = [0010 0001 1000 0100] rho(3) = rho(1)^3 = [0001 1000 0100 0010] These four matrices are a subset (subgroup) of S4 (the permutations of 4 objects). Yes, they require 4 dimensions, but they are incredibly simple. To reduce the number of dimensions, you have to do clever things like using negatives, nth roots, complex numbers, etc. That all takes cleverness to figure out. But if you just want to jump into groups/representations without needing a whole lot of background, using subsets of Sn (for appropriately sized n) to represent your group elements is the easiest way to do it. It allows you to get a representation that *works correctly* right away, without much fuss. And if you have a more 'reduced' representation that is hard to understand or that you screwed up some how, you can fall back to subsets of Sn as a kind of 'debugging' aid to help you understand how the group should really work. The only real drawback of using permutation matrices is that their dimensions are usually bigger than technically necessary. They can get out of hand for high-degree finite groups, but by that point you can start figuring out how to reduce your representations, and that's where all the complicated representation stuff starts happening. But you don't need that stuff right away! To prove my point, for A5 at 14:45, you could instead just use the subset of S5 directly as 5x5 permutation matrices. Example, kappa((345)) would just be: [10000 01000 00010 00001 00100] Now, isn't that much nicer to introduce to somebody just learning about representations than the monstrosity with all those negatives and 1/2's and phi's in the 3D representation? Just sayin'!
Thanks for watching and I appreciate your comment! I do think you're right. Permutation representations are certainly easier to understand, especially in practice. And Cayley's theorem certainly has a lot to do with that. When we learn to construct representations, we usually can't just come up with the lower dimensional irreducible ones. However, on first thought I didn't want to present a representation that had a higher dimension than the geometric object I was trying to connect it with. I'm hoping I can turn some of this feedback into more content on representations, because it deserves a proper treatment. There's so much more I want to cover and it's really challenging (and fun) to balance that with the goal of keeping it at an introductory level. I love seeing others' takes on it as well. Cheers!
@@zamzawed227Why did you feel the need to teach a more complicated case? I'm not familiar with this topic (But I am familiar with matrices and linear algebra) and i was like "Ok, I guess that makes sense". But reading this comment is what clicked for me the idea that matrices are a fundamentally beautiful dual of the concept of groups. And whatever you can say about the constrained matrices we are constructing here has a deep real meaning in an abstract multidimensional not that complicated space representing the group Edit: So please consider pinning this comment! this bigger picture is very important for the introduction of the topic
Love the Video, I currently am learning some Modern Differential Geometry where Lie-Group Representations are everywhere and I found it hard to appriciate those. Learned to know better today, definitely have a deeper appriciation for those now!
Besides all the other mistakes that were already pointed out (missing associativity in the definition of groups, confusing fields and vector spaces in the definition of GL_n(F) / GL(V), subset symbols instead of ∈ at 5:48...), the derivation of the symmetry group of the dodecahedron having 60 elements is also completely false - you overcount by counting rotations by 0° around different faces as different elements, as well as rotations around opposite faces, while completely neglecting rotations around vertices and edges (both of which leave no single face in its place, and aren't part of the rotations you already counted). Don't get me wrong, I appreciate that you've taken the time to make this video to help more people get into representations, and you definitely did do a lot of things right - but next time maybe have someone else take a second look over the script before making the video, otherwise mistakes like those will inevitably happen and distract from the knowledge you're actually trying to share.
Honestly, I'm not mad he glossed over that many things, I knew about group theory, fields, galois theory beforehand and I didn't feel it was necessary to go that much into detail, when the whole point of the video was proving the power of turning abstract algebra into easier matrix manipulation. The thing with the symmetry group of the dodecahedron was a screwup, I'll give you that
I might be missing something, but pretty sure the symmetry group of the dodecahedron has 60 elements, 120 elements including reflections. Richard E. Borcherds uses the same reasoning to come to symmetry group of 60 elements for the dodecahedron. It's in his group theory playlist! I find it interesting that the faces have order five symmetry & there's twelve faces so 5*12 = 60. Rotating about a vertex has symmetry of order three and there's twenty vertices so 3*20 = 60. Rotating about edges has symmetry of order two and there's 30 edges so 2*30 = 60. If you don't like that reasoning then here's some different logic that I found with a quick google search! The elements are: 4 rotations (by multiples of 2π/5) about centres of 6 pairs of opposite faces = 24 1 rotation (by π) about centres of 15 pairs of opposite edges = 15 2 rotations (by ±2π/3) about 10 pairs of opposite vertices = 20 Together with the identity this accounts for all 60 elements.
We pick a face of the dodecahedron. The rotation is completely determined by the face it is send to (12 options), and the rotation of that face (5 options). 12×5=60
appreciated this video, I too once tried to do an "intro to representation theory" talk as part of the final project for one of my classes and failed. The specific thing I was struggling to understand and still don't fully get is that most proofs that graphs have certain expansion properties (and sometimes how markov chains mix) in theoretical CS involves using representation theory to analyze the eigenvalues of a matrix that is the adjacency matrix of a graph but also somehow related to a group
Amazing first video, i am already introduced in the topic, but i can still feel how good of an introduction this video is, thank you for this educational piece.
Thanks for the video man. I saw some comments pointomg out at your mistakes, I just want you to know that it's not that big of a deal for the uneducated public. I personally lack a formal education on this topic (only lineal algebra) and now I feel like I can come to understand it better with self study. This video values clarity over rigor and I'm thankful for that, it's not supposed to be a science article after all.
Although maybe not the most rigorous treatment you maintained my attention and attracted me to a subject that I thought would be a lot more complex than it is, at least the gist of it.
Great video, I learned a lot, but I did find some errors. Some errors: 2:28 - The group definition requires that the operation on the set is associative. 5:45 - A vector space V is not just R or C, in fact, these are usually what vector spaces are over (fields). Every finite-dimensional vector space does indeed have a matrix representation given a certain basis, but V can be infinite-dimensional as well. This is more a technical note, focusing only on GL(R) and GL(C) is totally fine!
Because the vector-space-over-a-field-ness is kinda baked into the linear group, I've always seen it as GL_n(F). Maybe Wiles' paper uses a notation where F and n are already collapsed into the prebuilt vector space V. Funnily enough, as much as throwing different size square matrices together may seem nonsensical, I've seen it done! When calculating the actual matrix multiplication, you could extend the smaller square matrix to the size of the larger one by filling new cells with the elements of an identity matrix. That could lead to a dimensionless GL(F). It's unfortunate that this notation technically overlaps with GL(V), because any field is also a vector space over itself, but it should always be clear from context what's going on.
@@rjthescholar177 oh I totally get it! Just wanted to share this thing I learned about in a seminar recently that I thought was cool, because the notation reminded me of it. GL(V) makes a lot of practical sense though, maybe I'll just write GL(R³) or sth in the future...
Actually, this video is wonderful, and I thank you very much for this effort, but I expected more, and I am still waiting for more of your videos, I know that it is very difficult, so thank you
I’d recommend watching Another Roof’s series on Set Theory before this, as I noticed I was constantly thinking about those videos to make sense of the beginning of this one
This was a brilliant video - super engaging! As an educational video creator myself, I understand how much effort must have been put into this. Liked and subscribed, always enjoy supporting fellow small creators :)
I dropped out from the group theory course just before they introduced representations so it was really enlightening to finally understand what's that all about. xD It's so interesting, this idea of mapping difficult stuff to easier stuff is even quite philosophical... 🤔
Representation theory is usually introduced in a course on Lie theory, which is graduate level. It's unlikely they were going to mention them in an ordinary group theory course.
16:35 edit: ohh i just read the comment of Peabrainiac, ok, to exclude overcounting of 0° rotations, and include rotations 180° around edges, 1*{0°}+2*V/2+1*E/2+4*F/2=1+2*20/2+1*30/2+4*12/2=1+20+15+24=60 ok now it's back to being good, point was there was miscalculation unedited: rotations of dodecahedron sequence of 5 rotations around 12 faces, but opposite faces are parallel which means for every 1 rotation there is double counted rotation form parallel face, so 5*12/2=30 but there are unaccounted 30 rotations around vertices, sequence of 3 around 20 vertices with double counting the the opposite, so exactly missing 3*20/2=30 awesome vid so far :D
@@SkorjOlafsen (edited) rotations from opposite faces do not need faces to align to be the same rotation. important part is axis of rotation and angle of rotation. the dual doesn't change the matter that dodecahedron has symmetries by rotating around faces, vertices and edges. It still has 5 (0°,72°,144°,216°,288°) rotations around each face double counted, 3 (0°,120°,240°) around each vertices double counted and 2 (0°,180°)rotations around middle of each edge (axis goes perpendicular to the edge to center and to middle of opposite edge) also double counted . if we inscribe icosahedron then we have 3 (0°,120°,240°) rotational symmetries around each face double counted, then 2 (0°,180°) around edges and 5 rotational symmetries (0°,72°,144°,216°,288°) around each vertices double counted which gives us 1*{0°}+(3-1)*F/2+(2-1)*E/2+(5-1)*V/2=1*1+2*20/2+1*30/2+4*12/2=1+20+15+24=60 the same 60.
Great video! One small nitpick, at 8:30 I think you made a typo with the matrix multiplication shown at the bottom of the screen. At a_21 I think you meant for it to be 1 not -1 b/c the resulting matrix from what you have yeilds (-2,-5) not the desired (-2,-1).
Maybe a technical detail you could mention is, that a vector space is more abstract and can be fairly easy defined by a few axioms, or even from the group axioms. And R and C are not the vector space V, they can be the fields over which the scalar multiplication is defined.
For your next video you might wanna: 1) think about how much each part of the video adds or takes away from the whole, and if it adds, but doesn't add a lot, maybe it's not worth it if it's not integral to the concept 2) use keyframes and the gain setting, or the cutting tool, in a video editor to take out any noises 3) show, don't tell, when you're trying to get a point across glhf
What’s the link between group homomorphisms and topological homeomorphisms? I mean they sound similar, and one professor on yt described homeomorphisms in the same way you described homomorphisms, which is that they allow you to deform a difficult problem into a simpler one, and solve the simple case instead.
"We even teach it to CS students" lol 🤣 Now seriously, nice video. I always found this topic fascinating and I have seen both videos you cited and none was satisfactory enough. Too shallow or to fast into the abyss. Your video had small scope but the right pacing. I would only try to fix the audio for the next one. I'm sure there is a way to filter that high pitch tone. It was a little distracting. Either way, it was a good one. Congrats!
I thought that all possible groups had been classified. It's one of the biggest pieces of work in mathematics that took over 30 years but it's now complete.
There is a general phi function for each prime with a novel sequential difference. The square root of the prime, plus a counting number, divided by that sequential difference. For instance phi, as the square root of 5 is the first twin, is divided by 2, returning a cycle of two mantissas. Eleven is the first square prime and its square root, plus a counting number, when divided by 4, yields a repeating cycle of four mantissas. Likewise for 29, the first sexy prime and its recurring cycle of six mantissas. Despite having an unknown finite limit, it is guaranteed that sequential differences among primes climb to at least seventy million, we find there would be so many mantissas in its cycle, too. We can see the universal matrix producing the self-similarity to manifest integer abundances out of this complex array.
You SEVERELY underestimate the mental effort necessary to digest even a single one of the definitions you give. Eg groups. No way a viewer with not background in calculus and trigonometry will get this without pondering it for some weeks and reading other sources. Well I clicked on a video which claims to explain rep theory in 20-ish minutes assuming no background. I knew it was doomed to fail.
I think you made a mistake at 5:26. V would be R to the power of the dimension of the vectorspace, i.e. the number of rows and columns of the matrix. So the correct way of saying htat would be that the vectorspace has the ground field R or C.
Don't know why youtube pushed this video to me, maybe because I watched a bunch of videos on AdS/CFT Duality, which could be a good example of representation.
Great video!
The reason the golden ratio φ appears in the A5 representation is that the geometrical construction of a regular pentagon involves the construction of a line segment of length φ.
thanks!
18:45 "We even teach matrices and linear algebra to CS students so you know it's not that bad"
BASED
😳
3:10 196,883 (the dimension of the smallest nontrivial representation of the monster)
Isn't that the number of elements of the Monster group?
@@cosimobaldi03 no, the monster group has approximately 8x10^53 elements
"we even teach matrices and linear algebra to cs students, so you know its not that bad" 🤣🤣🤣
Seriously though wonderful video, really gave me a better notion of what representations are. Thanks for this.
mf got us 🤣🤣🤣
I really like advanced topics made more accessible like this, but not any simpler than it should be. I only have a minor in math from uni and this was the perfect level for me, so thank you 😊
Good explanation, but I really wish you had mentioned that groups are required to be associative. It’s perhaps their most important property. Associativity is the only reason you’re allowed to think of the operation as a transformation so that representation theory makes sense. What you described is technically called a loop.
I mean, if groups can be represented by matrices, and matrices are associative, that kinda follows doesn't it?
amazing video, that break with the birb was timed perfectly
I'm a CS student and I agree with the passing remark... they never push us hard enough.
The five cubes animation was great and seeing the dodecahedron was crazy.
Good video. However, I think at 11:19 you 'give up' on matrices a little too quickly. In fact, your choice of representation starting at 9:29 is already more complicated than it needs to be. A really useful and important fact -- especially for wrapping one's head around groups and/or representations -- is that: All finite groups are subsets of some Permutation (aka Symmetric) group. In other words: All groups can be represented as simple permutation matrices which *_only_* contain 0s and 1s! (Even more, each column contains exactly one 1, and each row also contains exactly one 1.)
This is really useful, since permutation matrices are very simple to compute with and use as examples. For example, for C4 (at 11:19), you could simply use these 4 matrices:
rho(0) = the identity matrix,
[1000
0100
0010
0001]
rho(1) =
[0100
0010
0001
1000]
rho(2) = rho(1)^2 =
[0010
0001
1000
0100]
rho(3) = rho(1)^3 =
[0001
1000
0100
0010]
These four matrices are a subset (subgroup) of S4 (the permutations of 4 objects). Yes, they require 4 dimensions, but they are incredibly simple. To reduce the number of dimensions, you have to do clever things like using negatives, nth roots, complex numbers, etc. That all takes cleverness to figure out. But if you just want to jump into groups/representations without needing a whole lot of background, using subsets of Sn (for appropriately sized n) to represent your group elements is the easiest way to do it.
It allows you to get a representation that *works correctly* right away, without much fuss. And if you have a more 'reduced' representation that is hard to understand or that you screwed up some how, you can fall back to subsets of Sn as a kind of 'debugging' aid to help you understand how the group should really work.
The only real drawback of using permutation matrices is that their dimensions are usually bigger than technically necessary. They can get out of hand for high-degree finite groups, but by that point you can start figuring out how to reduce your representations, and that's where all the complicated representation stuff starts happening. But you don't need that stuff right away!
To prove my point, for A5 at 14:45, you could instead just use the subset of S5 directly as 5x5 permutation matrices. Example, kappa((345)) would just be:
[10000
01000
00010
00001
00100]
Now, isn't that much nicer to introduce to somebody just learning about representations than the monstrosity with all those negatives and 1/2's and phi's in the 3D representation? Just sayin'!
Thanks for watching and I appreciate your comment!
I do think you're right. Permutation representations are certainly easier to understand, especially in practice. And Cayley's theorem certainly has a lot to do with that. When we learn to construct representations, we usually can't just come up with the lower dimensional irreducible ones. However, on first thought I didn't want to present a representation that had a higher dimension than the geometric object I was trying to connect it with.
I'm hoping I can turn some of this feedback into more content on representations, because it deserves a proper treatment. There's so much more I want to cover and it's really challenging (and fun) to balance that with the goal of keeping it at an introductory level. I love seeing others' takes on it as well. Cheers!
For what it is worth, I think it is important to include a "non-trvial" example to make representations more interesting
@@zamzawed227Why did you feel the need to teach a more complicated case? I'm not familiar with this topic (But I am familiar with matrices and linear algebra) and i was like "Ok, I guess that makes sense". But reading this comment is what clicked for me the idea that matrices are a fundamentally beautiful dual of the concept of groups. And whatever you can say about the constrained matrices we are constructing here has a deep real meaning in an abstract multidimensional not that complicated space representing the group
Edit: So please consider pinning this comment! this bigger picture is very important for the introduction of the topic
The way this creator has begun to define his channel is hinting me towards an isomorphism to greatness.
This video was what made me start studying abstract algebra! Thanks for making it!
Amazing, it's great how you emphasize the importance of maps to more than just functions
Love the Video, I currently am learning some Modern Differential Geometry where Lie-Group Representations are everywhere and I found it hard to appriciate those. Learned to know better today, definitely have a deeper appriciation for those now!
This is great, I've had a hard time coming to understand group theory, and your video is one of the best I've seen.
I like the format: dry, informative, good clear illustrations.
I loved watching this as a math enthusiast and programmer, please continue :)
Isnt the group operation necessarily supposed to be associative as well?
Correct
and closed
Not always. You need a broader object like a ring
Yes.
Yes.
Besides all the other mistakes that were already pointed out (missing associativity in the definition of groups, confusing fields and vector spaces in the definition of GL_n(F) / GL(V), subset symbols instead of ∈ at 5:48...), the derivation of the symmetry group of the dodecahedron having 60 elements is also completely false - you overcount by counting rotations by 0° around different faces as different elements, as well as rotations around opposite faces, while completely neglecting rotations around vertices and edges (both of which leave no single face in its place, and aren't part of the rotations you already counted).
Don't get me wrong, I appreciate that you've taken the time to make this video to help more people get into representations, and you definitely did do a lot of things right - but next time maybe have someone else take a second look over the script before making the video, otherwise mistakes like those will inevitably happen and distract from the knowledge you're actually trying to share.
Honestly, I'm not mad he glossed over that many things, I knew about group theory, fields, galois theory beforehand and I didn't feel it was necessary to go that much into detail, when the whole point of the video was proving the power of turning abstract algebra into easier matrix manipulation. The thing with the symmetry group of the dodecahedron was a screwup, I'll give you that
I might be missing something, but pretty sure the symmetry group of the dodecahedron has 60 elements, 120 elements including reflections. Richard E. Borcherds uses the same reasoning to come to symmetry group of 60 elements for the dodecahedron. It's in his group theory playlist!
I find it interesting that the faces have order five symmetry & there's twelve faces so 5*12 = 60. Rotating about a vertex has symmetry of order three and there's twenty vertices so 3*20 = 60. Rotating about edges has symmetry of order two and there's 30 edges so 2*30 = 60.
If you don't like that reasoning then here's some different logic that I found with a quick google search!
The elements are:
4 rotations (by multiples of 2π/5) about centres of 6 pairs of opposite faces = 24
1 rotation (by π) about centres of 15 pairs of opposite edges = 15
2 rotations (by ±2π/3) about 10 pairs of opposite vertices = 20
Together with the identity this accounts for all 60 elements.
We pick a face of the dodecahedron. The rotation is completely determined by the face it is send to (12 options), and the rotation of that face (5 options).
12×5=60
This is a cool video. You explain things in a way that I can actually understand. Thanks
appreciated this video, I too once tried to do an "intro to representation theory" talk as part of the final project for one of my classes and failed. The specific thing I was struggling to understand and still don't fully get is that most proofs that graphs have certain expansion properties (and sometimes how markov chains mix) in theoretical CS involves using representation theory to analyze the eigenvalues of a matrix that is the adjacency matrix of a graph but also somehow related to a group
Groups must also have associativity. [(a x b) x c = a x (b x c)] (2:51)
Amazing first video, i am already introduced in the topic, but i can still feel how good of an introduction this video is, thank you for this educational piece.
This is a great video you need to keep doing more please!!!!!!
wow, that construction with 5 cubes is neat!
Thanks for the video man. I saw some comments pointomg out at your mistakes, I just want you to know that it's not that big of a deal for the uneducated public. I personally lack a formal education on this topic (only lineal algebra) and now I feel like I can come to understand it better with self study. This video values clarity over rigor and I'm thankful for that, it's not supposed to be a science article after all.
great content. i like how you are able to simplify such complex subject into something easy to digest.
This was just right for me. Thanks for the good intro to this subject.
Although maybe not the most rigorous treatment you maintained my attention and attracted me to a subject that I thought would be a lot more complex than it is, at least the gist of it.
this is an amazing video. "real-time" learning is extremely educational
Great video! Looking forward to many more
Great video, I learned a lot, but I did find some errors.
Some errors:
2:28 - The group definition requires that the operation on the set is associative.
5:45 - A vector space V is not just R or C, in fact, these are usually what vector spaces are over (fields). Every finite-dimensional vector space does indeed have a matrix representation given a certain basis, but V can be infinite-dimensional as well. This is more a technical note, focusing only on GL(R) and GL(C) is totally fine!
Because the vector-space-over-a-field-ness is kinda baked into the linear group, I've always seen it as GL_n(F). Maybe Wiles' paper uses a notation where F and n are already collapsed into the prebuilt vector space V.
Funnily enough, as much as throwing different size square matrices together may seem nonsensical, I've seen it done! When calculating the actual matrix multiplication, you could extend the smaller square matrix to the size of the larger one by filling new cells with the elements of an identity matrix. That could lead to a dimensionless GL(F).
It's unfortunate that this notation technically overlaps with GL(V), because any field is also a vector space over itself, but it should always be clear from context what's going on.
@@ilonachan I agree that GL(F) is the more natural choice. However, the video uses GL(V) where V is a vector space.
@@rjthescholar177 oh I totally get it! Just wanted to share this thing I learned about in a seminar recently that I thought was cool, because the notation reminded me of it. GL(V) makes a lot of practical sense though, maybe I'll just write GL(R³) or sth in the future...
5:30 V is not R or C. V is the vector space. So at least R^n or so.
Actually, this video is wonderful, and I thank you very much for this effort, but I expected more, and I am still waiting for more of your videos, I know that it is very difficult, so thank you
I’d recommend watching Another Roof’s series on Set Theory before this, as I noticed I was constantly thinking about those videos to make sense of the beginning of this one
What a cool video! Great work!
This was a brilliant video - super engaging! As an educational video creator myself, I understand how much effort must have been put into this. Liked and subscribed, always enjoy supporting fellow small creators :)
I dropped out from the group theory course just before they introduced representations so it was really enlightening to finally understand what's that all about. xD It's so interesting, this idea of mapping difficult stuff to easier stuff is even quite philosophical... 🤔
Representation theory is usually introduced in a course on Lie theory, which is graduate level. It's unlikely they were going to mention them in an ordinary group theory course.
Absolutely amazing video! Subscribed.
Amazing video, wish I had this when first learning groups for motivation
Exceptionally good content , make more please
16:35
edit:
ohh i just read the comment of Peabrainiac, ok, to exclude overcounting of 0° rotations, and include rotations 180° around edges,
1*{0°}+2*V/2+1*E/2+4*F/2=1+2*20/2+1*30/2+4*12/2=1+20+15+24=60
ok now it's back to being good, point was there was miscalculation
unedited:
rotations of dodecahedron sequence of 5 rotations around 12 faces, but opposite faces are parallel which means for every 1 rotation there is double counted rotation form parallel face, so 5*12/2=30
but there are unaccounted 30 rotations around vertices, sequence of 3 around 20 vertices with double counting the the opposite, so exactly missing 3*20/2=30
awesome vid so far :D
@@SkorjOlafsen (edited) rotations from opposite faces do not need faces to align to be the same rotation. important part is axis of rotation and angle of rotation. the dual doesn't change the matter that dodecahedron has symmetries by rotating around faces, vertices and edges. It still has 5 (0°,72°,144°,216°,288°) rotations around each face double counted, 3 (0°,120°,240°) around each vertices double counted and 2 (0°,180°)rotations around middle of each edge (axis goes perpendicular to the edge to center and to middle of opposite edge) also double counted .
if we inscribe icosahedron then we have 3 (0°,120°,240°) rotational symmetries around each face double counted, then 2 (0°,180°) around edges and 5 rotational symmetries (0°,72°,144°,216°,288°) around each vertices double counted which gives us 1*{0°}+(3-1)*F/2+(2-1)*E/2+(5-1)*V/2=1*1+2*20/2+1*30/2+4*12/2=1+20+15+24=60
the same 60.
9:50 It's not the fact that rho is a map which causes rho(a + b) = rho(a)rho(b), it's the fact it is a homomorphism.
Great video! One small nitpick, at 8:30 I think you made a typo with the matrix multiplication shown at the bottom of the screen. At a_21 I think you meant for it to be 1 not -1 b/c the resulting matrix from what you have yeilds (-2,-5) not the desired (-2,-1).
Maybe a technical detail you could mention is, that a vector space is more abstract and can be fairly easy defined by a few axioms, or even from the group axioms. And R and C are not the vector space V, they can be the fields over which the scalar multiplication is defined.
Now I want a Megaminx-shaped(Dodecahedron) rubics cube where you can turn only along the internal cubes!
But really good video!
I did a video on the three identities of zero.
excellent intro, my compliments. pity that you did not continue further into the topic.
How can we find the result matrix from the input group?
Nicely done!
14:53 I'm crying "No I will not explain"
this is wonderful wish it had more views.
What's the A mean on A5?
Please do more on the fermat thing. 😃
For your next video you might wanna:
1) think about how much each part of the video adds or takes away from the whole, and if it adds, but doesn't add a lot, maybe it's not worth it if it's not integral to the concept
2) use keyframes and the gain setting, or the cutting tool, in a video editor to take out any noises
3) show, don't tell, when you're trying to get a point across
glhf
so the idea of langlands is to have representation of different types of numbers into geometries?
Excellent job!!!
hi, wonderful video!! what is the font you're using? I love it
What’s the link between group homomorphisms and topological homeomorphisms? I mean they sound similar, and one professor on yt described homeomorphisms in the same way you described homomorphisms, which is that they allow you to deform a difficult problem into a simpler one, and solve the simple case instead.
Splendid! I understood almost everything but the mapping part though
Excellent video! Thank you.
"We even teach it to CS students" lol 🤣
Now seriously, nice video. I always found this topic fascinating and I have seen both videos you cited and none was satisfactory enough. Too shallow or to fast into the abyss. Your video had small scope but the right pacing.
I would only try to fix the audio for the next one. I'm sure there is a way to filter that high pitch tone. It was a little distracting.
Either way, it was a good one. Congrats!
I thought that all possible groups had been classified. It's one of the biggest pieces of work in mathematics that took over 30 years but it's now complete.
Great introduction to representations! Indeed, transformations from one mathematical field to another are exremely important. Subscribed!
First time in my life I could understand something in maths.
Great video!
That is very nice ..very important..very clear.. Thank you
Is there a typo @ 8:2, the matrix should have 1 not -1 in the bottom left entry or
Great stuff
Thanks a lot! It works for me!
Great video.
Btw... You didn't do more videos! And that one is really helpful! Thank you anyway
Mind blowing 😮
Cheer~~~the action of speaking or acting on behalf of someone or the state of being so represented.😊
18:56 "you know we teach matrices to cs students so you know its not that bad"
hahaha. cs student here so true and it kinda hurts .
I think you have a typo at 8:44, the first column of your basis vectors should be (-1, 1) not (-1, -1)
Truly excellent.
Thank you !
That was basically my linear algebra 1 course))
Wonderful!
I hope you make more videos.
18:49 i feel attacked
Amazing video
There is a general phi function for each prime with a novel sequential difference. The square root of the prime, plus a counting number, divided by that sequential difference. For instance phi, as the square root of 5 is the first twin, is divided by 2, returning a cycle of two mantissas. Eleven is the first square prime and its square root, plus a counting number, when divided by 4, yields a repeating cycle of four mantissas. Likewise for 29, the first sexy prime and its recurring cycle of six mantissas. Despite having an unknown finite limit, it is guaranteed that sequential differences among primes climb to at least seventy million, we find there would be so many mantissas in its cycle, too. We can see the universal matrix producing the self-similarity to manifest integer abundances out of this complex array.
yeahhh, i like this style.
Thank you for the video, I found it very helpful at my level of math self study. Ignore the negative energy from the nit pickers
You SEVERELY underestimate the mental effort necessary to digest even a single one of the definitions you give. Eg groups. No way a viewer with not background in calculus and trigonometry will get this without pondering it for some weeks and reading other sources.
Well I clicked on a video which claims to explain rep theory in 20-ish minutes assuming no background. I knew it was doomed to fail.
You cannot understand Representation Theory without basic undergraduate math training. That is the simple truth.
calculus and trigonometry are not particularly useful for understanding groups
I think you made a mistake at 5:26. V would be R to the power of the dimension of the vectorspace, i.e. the number of rows and columns of the matrix. So the correct way of saying htat would be that the vectorspace has the ground field R or C.
The acting in the beginning was really cute ^v^
Fantastic!
post more videos please!!!
Is the bird okay?
Bravo 👏
Don't know why youtube pushed this video to me, maybe because I watched a bunch of videos on AdS/CFT Duality, which could be a good example of representation.
the crow break 👌
Nice
A group needs closure and associativity too.
the prequel to pascals triangle
Bird does cool wooo sound. Wooo.
Hi there, is there a way I can contact you personally (for example, a DM on Twitter or an email address)? Great job.