Sign up to our email list to be notified when we release more Abstract Algebra content: snu.socratica.com/abstract-algebra
@kirstens13898 жыл бұрын
These videos are really extremely helpful - too good to be true - for learning overall concepts.
@sadiqurrahman25 жыл бұрын
You explained a confusing topic in the most easiest manner. Thanks a lot.
@zy96623 жыл бұрын
I'm still confused as to why she says that every element has an inverse. Is this a consequence of the suppositions or an axiom?
@shreyrao81193 жыл бұрын
@@zy9662 Hi, Every element has its own inverse as this is one of the conditions which needs to be met for a set to be classified as a group
@zy96623 жыл бұрын
@@shreyrao8119 OK so it's an axiom. Was confusing because the next property she showed (that each element appears exactly once in each column or row) was a consequence and not an axiom
@brianbutler24813 жыл бұрын
@@zy9662 In the definition of a group, every element has an inverse under the given operation. That fact is not a consequence of anything, just a property of groups.
@zy96623 жыл бұрын
@@brianbutler2481 i think your choosing of words is a bit sloppy, a property can be just a consequence of something, in particular the axioms. For example, the not finiteness of the primes, that's a property, and also a consequence of the definition of a prime number. So properties can be either consequences of axioms or axioms themselves.
@fredm7311 ай бұрын
A question: must every valid Cayley table (as defined in video) represent a valid group? I.E. does associative law necessarily hold?
@Manuelsanchez-eu7ez10 ай бұрын
All groups are associative by definition
@filipve737 жыл бұрын
(abstract) is there a relationship between "group multiplication tables" and "truth tables" ?? (end abstract)
@LawsonEnglish7 жыл бұрын
Don't think so as the rules to construct the table are completely different. You could define a truth table to look like a group multiplication table in some cases, though and maybe there are special kinds of situations where that is important.
@b43xoit5 жыл бұрын
My quick thought, not carefully checked, says exclusive-or is a group, but AND and OR are not. In fact, the video says there is only one group of order 2. I think you will find it is exactly XOR. e=FALSE; a=TRUE.
@vs6x35 жыл бұрын
🤔1:51 you are you talking about diag elements, I took Group ×{1, -1, 2, -2} why is it not giving me Identity Element?😢
@nagys36snn5 жыл бұрын
How do you get to 2
@yvanbrunel97344 жыл бұрын
the weird thing is I have to convince myself that "+" doesn't mean "plus" anymore 😩
@Abhishek._bombay5 ай бұрын
Addition modulo 🙌😂
@jason-mr4 күн бұрын
@@yvanbrunel9734 what do you mean?
@mehulkumar34694 жыл бұрын
The time when you say Cayley table somewhat like to solve a sudoku you win my heart. By the way, you are a good teacher.
@JJ_TheGreat5 жыл бұрын
This reminds me of Sudoku! :-)
@MoayyadYaghi3 жыл бұрын
I literally went from Struggling in my abstract algebra course to actually loving it !! All love and support from Jordan.
@Socratica3 жыл бұрын
This is so wonderful to hear - thank you for writing and letting us know! It really inspires us to keep going!! 💜🦉
@tristanreid4 жыл бұрын
If anyone else is attempting to find the cayley tables, as assigned at the end: If you take a spreadsheet it makes it really easy. :) Also: she says that 3 of them are really the same. This part is pretty abstract, but what I think this means is that all the symbols are arbitrary, so you can switch 'a' and 'b' and it's really the same table. The only one that's really different (SPOILER ALERT!) is the one where you get the identity element by multiplying an element by itself (a^2 = E, b^2 = E, c^=E).
@dunisanisambo99463 жыл бұрын
She says that there are 2 distinct groups because 1 is abelian and the rest of them are normal groups.
@rajeevgodse28963 жыл бұрын
@@dunisanisambo9946 Actually, all of the groups are abelian! The smallest non-abelian group is the dihedral group of order 6.
@jonpritzker33142 жыл бұрын
Your comment helped me without spoiling the fun :)
@fahrenheit2101 Жыл бұрын
@@rajeevgodse2896 Really, I thought I found one of order 5... All elements self inverse, the rest fills itself in. table (only the interior): e a b c d a e c d b b d e a c c b d e a d c a b e What have I missed?
@fahrenheit2101 Жыл бұрын
@@rajeevgodse2896 Nevermind, turns out I needed to check associativity - I'm surprised that isn't a given.
@waynelast16854 жыл бұрын
at 4:10 when she says "e times a" she means "e operating on a" so it could be addition or multiplication ( or even some other operation not discussed so far in this series)
@jeovanny1976andres3 жыл бұрын
She says actually a times e, but here order it's important. And yes you are allright.
@kingston95825 жыл бұрын
This lesson saved my life omg. Thank you so much for being thorough with this stuff, my professor was so vague!
@fahrenheit2101 Жыл бұрын
I've got the 2 groups - spoilers below: Alright, so they're both abelian, and you can quickly work them out by considering inverses. There are 3 non identity elements - call them *a*, *b* and *c*. Note that these names are just for clarity, and interchanging letters still keeps groups the same, so what matters isn't the specific letters, but how they relate. One option is to have all 3 elements be their own inverse i.e. *a^2 = b^2 = c^2 = e* Alternatively, you could have some element *a* be the inverse of *b*, and vice versa, such that *ab = e*. The remaining element *c* must therefore be its own inverse - *a* and *b* are already taken, after all. This means *c^2 = e* That's actually all that can happen, either all elements are self inverse, or one pair of elements are happily married with the other left to his own devices, pardon the depressing analogy. You might be thinking: 'What if *a* was the self inverse element instead?' This brings me back to the earlier point - the specific names aren't that relevant, what matters is the structure i.e. how they relate to one another. Or you could take the point from the video - any 2 groups with the same Cayley table are 'isomorphic', which essentially means they're the 'same', structurally at least. Now, what can these groups represent? Whenever you have groups of some finite order *n*, you can be assured that the integers mod *n* is always a valid group (or Z/nZ if you want the symbols). This is easy to check, and I'll leave it to you to confirm that the group axioms (closure, identity, associativity and inverses) actually hold. In this case, the group where *ab = c^2 = e* is isomorphic to the integers mod 4, with *c* being the number 2, as double 2 is 0, the identity mod 4. (it's also isomorphic to the group of 4 complex units - namely 1, -1, i, -i under multiplication, with -1 being the self inverse element) The best isomorphism I have for the other group is 180 degree rotations in 3D space about 3 orthogonal axes (say *x*,*y* and *z*). Obviously each element here is self-inverse, as 2 180 degree rotations make a 360 degree rotation, which is the identity. It's easy to check that combining any 2 gives you the other, so the group is closed. I wasn't able to come up with any others, though I'm sure there's a nicer one. As for 5 elements? I only found 2, one of which was non-abelian. One had all elements as self-inverse, the other had 2 pairs of elements that were inverses of each other. The latter is isomorphic to Z/5Z but I've got no idea what the other is isomorphic to. Never mind, the other one isn't even a group - you need to check associativity to be safe. It's a valid operation table, but not for a group unfortunately. It does happen to be a *loop*, which essentially means a group, but less strict, in that associativity isn't necessary. There's an entire 'cube' of different algebraic structures with a binary operation, it turns out, going from the simplest being a magma, to the strictest being a group (and I suppose abelian groups are even stricter). By cube I mean that each structure is positioned at a vertex, with arrows indicating what feature is being added e.g. associativity, identity etc. Wow that was a lot.
@stirlingblackwood Жыл бұрын
Do you know where I can find a picture of this cube?? Sounds both fascinating and like it would give some interesting context to groups.
@fahrenheit2101 Жыл бұрын
@@stirlingblackwood The wiki article for "Abstract Algebra" has the cube if you scroll down to "Basic Concepts" It's been a while since I looked at this stuff though haha - I'm finding myself reading my own comment and being intimidated by it...
@stirlingblackwood Жыл бұрын
@@fahrenheit2101 Oh boy, now you got me down a rabbit hole about unital magmas, quasigroups, semigroups, loops, monoids...I need to go to bed 😂
@RISHABHSHARMA-oe4xc5 ай бұрын
@@fahrenheit2101 bro, are you a Math major ?
@fahrenheit21015 ай бұрын
@@RISHABHSHARMA-oe4xc haha, I am now, but wasn't at the time. at the time, I think I was just about to start my first term. I know a fair bit more now, for example, any group of prime order must be cyclic. That said, I do need to brush up on Groups, been a while since I looked at it.
@grexxiogdgd3764 жыл бұрын
So operation tables are just abstract sudokus
@efeuzel13994 жыл бұрын
I am watching and liking this in 2020!
@markpetersenycong87234 жыл бұрын
Guess we are here because of online class due to the Covid-19 😂
@halilibrahimcetin94484 жыл бұрын
Been to math village in Turkey?
@sukhavaho3 жыл бұрын
@@halilibrahimcetin9448 wow - that is cool! will they make you find the prime factors of some random large number before they let you in? (İyi tatiller, BTW!)
@into__the__wild5696 Жыл бұрын
i am in2023
@АялаБақытбек Жыл бұрын
2023...
@mheermance5 жыл бұрын
I was just thinking "hey we're playing Sudoku!" when Liliana mentioned it at 6:30. As for the challenge. The integers under addition are the obvious first candidate, but the second unique table eluded me. I tried Grey code, but no luck, then I tried the integers with XOR and that seemed to work and produce a unique table.
@fg_arnold5 жыл бұрын
love the Gilliam / Python allusions at the end. good work Harrisons, as usual.
@sandeepk43395 жыл бұрын
I'm from India, your explanation was outstanding.
@SaebaRyo217 жыл бұрын
This really helped me because application of caley's table is useful in spectroscopy in chemistry. Symmetric Elements are arranged exactly like this and then we have to find the multiplication. Thanks Socratica for helping once again ^^
@amrita32723 ай бұрын
I am watching this in 2024 and it's very helpful.Thank you very much
@hansteam7 жыл бұрын
Thank you for these videos. I just started exploring abstract algebra and I'm glad I found this series. You make the subject much more approachable than I expected. The groups of order 4 was a fun exercise. Thanks for the tip on the duplicates :) Subscribed and supported. Thank you!
@vanguard76748 жыл бұрын
Thank God Abstract Algebra is back :'''D
@pbondin6 жыл бұрын
I think the 4 groups are: 1) e a b c 2) e a b c 3) e a b c 4) e a b c a e c b a b c e a c e b a e c b b c e a b c e a b e c a b c a e c b a e c e a b c b a e c b e a However I can't figure out which 3 are identical
@samoneill62226 жыл бұрын
The following PDF will give an explanation as to why 3 of the tables are the same. www.math.ucsd.edu/~jwavrik/g32/103_Tables.pdf The trick is to rename the variables a->b, b->c and c->a, thus creating a new table and then rearrange the rows and columns. For example take table 2 and rename a->b, b->c and c->a which generates: e b c a b c a e c a e b a e b c Reorder the rows: e b c a a e b c b c a e c a e b Reorder the columns: e a b c a c e b b e c a c b a e Which is the same as table 3. Effectively the table is disguised by different names for the elements. You can repeat the process with a different naming scheme to see the tables 2,3,4 are all identical. If you try the same trick to table 1 (identity on the diagonal) you will find you just end up with table 1 again. Hence the 2 distinct tables.
@rikkertkoppes5 жыл бұрын
Note that there is only one with 4 e's on the diagonal. Think about what that means
@hemanthkumartirupati5 жыл бұрын
@@samoneill6222 Thanks a lot for the explanation :)
@hemanthkumartirupati5 жыл бұрын
@@rikkertkoppes I am not able discern what that means. Can you help?
@fishgerms5 жыл бұрын
@@hemanthkumartirupati In the one with e's on the diagonal, each symbol is its own inverse. A * A = E, B * B = E, and C * C = E. In the other groups, there are two symbols that are inverses of each other, and one that's its own inverse. In group 2), A * C = E, and B * B = E. For the other groups, there are also 2 symbols that are inverses of each other, and one that's its own inverse. So, they're the same in that you can swap symbols around and get the same group. For example, group 3) has A * B = E and C * C = E. If you swap symbols B and C, you get A * C = E and B * B = E, which are the same as group 2).
@TheFhdude5 жыл бұрын
Honestly, I watched many videos and read books to really grasp Groups but this presentation is the best hands down. It demystifies Groups and helps to understand it way better. Many thanks!
@randomdude91355 жыл бұрын
But how do you know that the associative law holds?
@jonatangarcia85645 жыл бұрын
@@randomdude9135 That's the definition of a group, that associative law holds. Now, if you take a concrete set, you have to prove that is a group (Proving that associative law holds).
@randomdude91355 жыл бұрын
@@jonatangarcia8564 Yeah how do you prove that the cayley table made by following the rules said by her always follows the associative law?
@jonatangarcia85645 жыл бұрын
@@randomdude9135 Cayley Tables are defined using a group, then, associative laws hold, because, since you use a group, and you use the elements of the group and use the same operation of the group, it holds. It's by definition of a Group
@youtwothirtyfive2 жыл бұрын
These abstract algebra videos are extremely approachable and a lot of fun to watch. I'm really enjoying this series, especially this video! I worked through the exercise at the end and felt great when I got all four tables. Thank you!
@JozuaSijsling4 жыл бұрын
Awesome video, well done as always. One thing that confused me was that group "multiplication" tables actually don't necessarily represent multiplication. Such as when |G|=3 the Cayley table actually represents an addition table rather than a multiplication table. I tend to get confused when terms overlap, luckily that doesn't happen too often.
@johnmorales43286 жыл бұрын
I believe the answer to the challenge question are the groups Z/2Z x Z/2Z and Z/4Z.
@larshizzleramnizzle37485 жыл бұрын
Thank you! I would've never thought of that Cartesian product!!
@xreed84 жыл бұрын
The Cayley table for {1,-1,i, -I} is wrong? The multiplication of (1 x i) like you said is that element, so its 1, not i, in the table. Furthermore, how is (i x i) = -1? What is i?
@MuffinsAPlenty4 жыл бұрын
i is what is often referred to as an "imaginary" or "complex" number. i is a number with the property that i^2 = -1. In this context, i does not stand for "identity" but rather a number which squares to -1. 1 is the identity under multiplication.
@andrewolesen87736 жыл бұрын
I did the excercise found the groups by setting, a^-1=b, a^-1=c, b^-1=c and finally for the trivial group a^-1=a and b^-1=b and c^-1=c. Came up with four unique Cayley tables though. Don't have 3 equal to each other, wondering where I went wrong.
@stefydivenuto32532 жыл бұрын
also I have the same result....3 different group....also I wondering where I went wrong....someone can help me?
@Redeemed_Daughter2 жыл бұрын
When checking for groups G of order 2 , I used the the integers 0 and 1 under addition operation and I don't see how adding 1 with 1 equates to 0. I feel compelled to say 2. But then two is not in the group elements. Where am I going wrong about this??
@reidchave71924 жыл бұрын
That sound when the contradiction appears after 2:50 is hilariously serious
@danielstephenson1463 жыл бұрын
@ortomy I was looking for someone to comment this hah scared me too!
@tomasito_20213 жыл бұрын
I have loved abstract algebra from the first time I read of it. Google describes it as a difficult topic in math but thanks to Socratica, I'm looking at Abstract algebra from a different view. Thanks Socratica
@mingyuesun32146 жыл бұрын
the background music makes me feel quite intense and wakes me up a lot hahhah. thnak you
@PunmasterSTP3 жыл бұрын
Those "contradiction" sound effects... But on a more serious note, it took me *so* long to piece these things together on my own. I *really* wish I had found Socratica years ago!
@arrpit5774 Жыл бұрын
Just loved your content , getting easier with each passing minute
@amyathas.pradeep69494 жыл бұрын
Omg... what the hell was i studied in my college 😂😂😂
@RajeshVerma-pb6yo4 жыл бұрын
Your Explaination is great... First time I able to understand abstract algebra.... Thank you much.. Infinite good wishes for you...😊
@ozzyfromspace4 жыл бұрын
SPOILER ALERT: ANSWER. (Click read more for answer) There are two groups of order 4. Any other groups are isomorphic wrt. these two groups. let e = 0, a = 1, b = 2, c = 3: Solution 1: 0 1 2 3 1 0 3 2 2 3 1 0 3 2 0 1 Solution 2: 0 1 2 3 1 0 3 2 2 3 0 1 3 2 1 0 You can generate these Cayley tables by trial and error, doing tree diagrams. Whenever you generate multiple solution from the same branch, the solutions are independent (think about it, it should make sense). Whenever you generate solutions from other branches, the solution set may contain isomorphisms. To check for isomorphisms, performs substitutions a b on a random group and reorganize the rows AND columns so your elements are ordered as before. The operation of a b followed by appropriate reorganizing of rows and columns will generate an isomorphic group. Any groups in the same branch as your isomorphic group can be disregarded. Rinse and repeat for a c. In practice, this is enough to get the answer, but a computer would also check b c. Doing this will leave *Solution 2* and any other group you found. *Solution 1* is just a 'natural' choice because it was generated from the same logical branch as *Solution 2.* I hope you found this helpful. Excellent presentation, Socratica! I used to generate puzzles like this when I was a kid, and did not realize they were called Cayley Multiplication Tables. You brought back fun memories. I even have a theorem about them in terms of math I created for myself from years back (and equation I haven't been able to solve). If you're interested, check out this open problem I posted to Stack-Exchange a year or two ago: math.stackexchange.com/q/2845247 Liliana de Castro and Team, you're awesome! -Float.
@KianAzami5 жыл бұрын
if we consider the group elements: e, a, b, c. Then: 1. { e, a, b, c a, e, c, b b, c, e, a c, b, a, e } 2. { e, a, b, c a, b, c, e b, c, e, a c, e, a, b } 3. { e, a, b, c a, c, e, b b, e, c, a c, b, a, e } 4. { e, a, b, c a, e, c, b b, c, a, e c, b, e, a } These are the 4 groups. When we can say that two groups are identical?
@urieldavid4 жыл бұрын
I have the same answer and then I have the same question.
@Klarpimier3 жыл бұрын
3:55 EA SPORTS It’s in the game
@slingshotninja69708 жыл бұрын
watch the first 2 mins and skip to 4;00 You'll understand..
@laurakysercallis6534 жыл бұрын
Hi! I'm trying to brush up and I have a question about inverses. In a finite group, it seems intuitive that the right and the left inverses probably have to be the same, otherwise there would be probably redundancies, right? I also remember from linear algebra that there is some proof that if right and left inverses both exist for matrices, then the left and right inverses are equal to each other, but I remember that proof felt specific to matrices. If you've got a non commutative infinite group, why is it that the left and right inverses have to be equal to each other? For that matter, is it possible that you could have a right identity and a different left identity? It seems like identity is just "do nothing," but when I got to quotient groups and cosets, the meaning of identity is no longer "do nothing."
@MuffinsAPlenty4 жыл бұрын
This is a great question! I'll start with the identity question. You cannot have different left- and right-identities. If you have both a left-identity and a right-identity, then they must be equal to each other. To show why, let e be a left-identity and ε be a right-identity. The key is to look at the product eε. Since e is a left-identity, eε = ε. On the other hand, since ε is a right-identity, eε = e. So we have e = eε = ε. So it is impossible to have different left- and right-identities. The "identity" property does not allow it. For the question about inverses, uniqueness is guaranteed by the _associative_ property. So, for example, let's say you have a multiplicative identity element e. Suppose you have an element g which has left inverse h and right inverse k. Then the proof that h = k follows from looking at hgk in two different ways: h(gk) = he = h (hg)k = ek = k So since multiplication is associative, you get h = h(gk) = (hg)k = k. There are group-like structures where we don't require the associative property (these are known as loops and quasigroups). In these structures, it is entirely possible to have an element whose left- and right-inverses are different! Even if you have a finite loop, for example, it's possible that the left- and right-inverses are different from each other.
I can make this too but I don't know what is cyclic. Why are there only 2 distinct groups?
@MoonLight110237 жыл бұрын
The simplest way to solve the puzzle is to use the group (Z4 , +) and then substitute alphabets for numbers. Z4 + 0 1 2 3 * e a b c This is called cheating guys. Actually it is an abelian group. 0 0 1 2 3 e e a b c 1 1 2 3 0 a a b c e 2 2 3 0 1 b b c e a 3 3 0 1 2 c c e a b The second one is called Klein four-group; it is abelian but NOT cyclic. + e a b c e e a b c a a e c b b b c e a c c b a e
@نظورينظوري-ز2ظ5 жыл бұрын
راءع جدا افتهموت اكثر من محاضرات الجامعة لان بالمحاضرة انام من ورة الاستاذ ساعة يلا نفتهم منة معنى الحلقة
@ivoriankoua39165 жыл бұрын
Who sub due to Cayley ?
@randomdude91355 жыл бұрын
I'd subbed earlier
@markmajkowski95455 жыл бұрын
Thanks Soln pretty easy GOOD clue The three identical solns take your 3 element group eAB add C*C must be e CB is A and CA B. Then exchange A for C then B for C. That’s 3 which are the same except ordering. Then for the non identical AA=BB=CC=e AC=B AB=C BC=A. This might seem like you can make 3 of these but you cannot. As the first non identity element times the second must be the third, etc so you get only one soon as ordered. In the first you get the identity element as AA BB then CC but these are the same. Fun!
@deepakmecheri46684 жыл бұрын
May God bless you and your channel with good fortune
@waynelast16854 жыл бұрын
OMG it is just like soduko!
@MrCEO-jw1vm14 күн бұрын
couldn't hold my excitemnet and just kept saying "wow, wow"! I have found a new love subject in math. I'll take this class this fall!!! Thanks so much for this content. It has blessed my life!
@kasturiranjanswain98085 жыл бұрын
how the three tables are identical
@chrissidiras5 жыл бұрын
Oh dear god, this is the first time I actually engage to a challenge offered in a youtube video!
@pinklady71843 жыл бұрын
I am learning fast with you. Thank you for tutorials,
@keplergelotte72076 жыл бұрын
Ni!!
@satyamrai395 жыл бұрын
So. Firstly I constructed the outer most (left corner ) of the table... Then just thought because of the pattern that z mod 4 table will be a valid one which it was! (Of course )... Then I realized that the inner 3x3 table of the zmod 4 table(one formed by excluding the top row and column)can be rotated to get 4 different new tables ..(flipping just gives same thing and rotation followed by flip just gave one of those 4 tables).. Then. Only two of them... contained all the elements once... Which was the solution...(which is already mentioned by others ) Woah.. just amazing vid.. (Hmm so what about 5x5?)
@satyamrai395 жыл бұрын
Gosh just found out that this vid was 3years ago😂
@Socratica5 жыл бұрын
We're so happy you've found us!! That's the nice thing about making videos about math & science - every year we have a chance to help new students.
@ozzyfromspace4 жыл бұрын
I kid you not, I used to generate these exact puzzles for myself (well, mine were slightly more broad because I never forced associativity) so it's so good to finally put a name to it: *Group Multiplication Tables.* I used to post questions about this on StackExchange under the name McMath and remember writing algorithms to solve these puzzles in college (before I dropped out lol). I wish I knew abstract algebra existed back then. Liliana de Castro and Team, at Socratica, you're phenomenal!
@tnp10225 жыл бұрын
or you can say ab is not equal b because a is not the identity element since e is already our identity element.
@aibdraco015 жыл бұрын
Thanks a lot for a clear explanation although the topic is so confusing and hard. God bless you !!!
@philosophyversuslogic Жыл бұрын
I beg your pardon, but is repeating elements in a tablet derives exactly a contradiction? I mean the case: x*a=y*a ... x=y? Because it would be, if previously x=y could be taken as a contradiction. Until we don't know what are these 'x' and 'y', the case 'x=y' is just a certain case. I guess there must be some kind of the restriction before getting such a result: we must define what is a contradiction for a certain tablet, and after that to go further. Again, why I insist on that here: if to assume the Leibniz's law of indescernibles, there are none. According to the one for all x and y [(x=y)->(Fx=Fy)] and here we see the same.
@adityakhanna1138 жыл бұрын
So is a sudoku a group of order 9?
@tresteinjordklatt81338 жыл бұрын
No, usually it won't have an identity element.
@ctogaurav5 жыл бұрын
Lol
@ctogaurav5 жыл бұрын
Great doubt! But, unfortunately sudoku is not a group of order 9.
@G53495 жыл бұрын
No sudoku is not a group because it does not have any of the properties that make a group a group. Sudoku is just a latin square
@annievmathew53614 жыл бұрын
Pls include a video on how to find the generators of a cyclic group of multiplicative order
@pittdancer85 Жыл бұрын
Would it be correct to say the 4 groups would be a^2=e, b^2=e, c^2=e, and a^2=b^2=c^2=e? The first three are actually identical.
@keyboard_toucher2 ай бұрын
If any row or column in a Cayley table were not a permutation of the group elements, that would mean some element doesn't have a (unique) inverse under the group operation, which violates the definition of a group.
@sukannyanath55835 жыл бұрын
Intergers modulo 4 under addition and klein 4 group will be the answer
@homiramanuj Жыл бұрын
I didn’t get the clues, what do you mean by ALL GROUPS of order 2 we always see single General Group 4 Cayley tables of order 4 Sorry Mam I didn’t get it😅 please explain Anyone!?
@minhazulislam46822 жыл бұрын
so, I used a pro gamer move to find the caley table of order 4. I basically created Z mod 4 table and changed 0,1,2,3 to e,a,b,c respectively. It worked!
@ZVENOM61343 жыл бұрын
Hmmm I don't quite understand why a*a is e for the order of 2. I understand that you're using the "rules" made from previous observations but to contextualise them into lets say e being 1 and a being 2, it wouldn't add up :/ Or am I seeing this in the wrong way?
@chair547 Жыл бұрын
I don't see why you need the Kaylee tables to prove that the integers mod 2 are identical to the group we found. Since we prove that group we found is the only order 2 group and we know z2 is an order 2 group, isn't it trivial?
@gk-qf9hv3 жыл бұрын
There is a cercular argument in this video! Sooorry... Namely, you wanted to prove that there is no repetition in any raw or colomn, but then you used the same fact to fill up the boxes.. Maybe this is not what you meant to say??
@TheZaratustra122 ай бұрын
long live the channel and its charming mathematician! Perfect presentation of the topic! I'm getting surer and surer that I can have the level in Math I want to have.
@integrantedavidanoturna3 ай бұрын
That's pretty cool. Does that mean that every group of order 3 is abelian?
@iconicarts6268 Жыл бұрын
How many tables will be there for group of order 5,6,7... etc is there any relation.
@DeLuini9854 ай бұрын
I found the 4 possible Cayley tables, but how do I now determine that 3 are identical?
@aabidmushtaq32434 жыл бұрын
I am watching u r videos in 2020 COVID19 From kashmir
@EyalRock5 жыл бұрын
I managed to find the two kind of groups the first kind has 2 elements that inverse each other and 1 that is an inverse of it self and the second kind has 3 elements that are an inverse of them selfs. I tried to find examples of this groups. I found out that integers (mod 4) is the first kind , the group 1,i,-1,-i. also the first kind. I could not find an example of the second kind 🙄 can anyone give me one?
@aldobernaltvbernal87452 жыл бұрын
i found that making a table of XOR with the values e = 00, a = 01, b = 10, c = 11 in binary works as an example of the second kind
@jumpoutatree6 ай бұрын
So for groups of order 4, I obviously did integers mod 4 and got a table, but what were the others??
@DeekshaVerma-i2s Жыл бұрын
I came up with 4 different cayleys table. Can you explain how there would be two tables?
@julianocamargo66742 жыл бұрын
Best explanation in the world
@ashwini80084 ай бұрын
thank you, no words dear teacher, you gave me the confidence to learn math....
@mmariokart231 Жыл бұрын
It’s not obvious to me why the defining difference would end up being what results in e and arbitrary names for those things
@pulverizedpeanuts4 ай бұрын
eabc aceb beca cbae
@forheuristiclifeksh7836Ай бұрын
2:00 Every row and column contains identity because,
@pearlairahcinco3868 Жыл бұрын
Woww thank you so much for thr beautiful explanations
@tadanohitohito90965 ай бұрын
Am I the only one who heard bloodborne parry sounds on the contradictions ?
@saharupam296 жыл бұрын
e a b c e e a b c a a e c b b b c e a c c b a e Soothing lectures.. Really had a fun with these abstract things
@MUHAMMADSALEEM-hu9hk5 жыл бұрын
thanks mam .your lecture is very helpful for me
@iconicarts6268 Жыл бұрын
Can we use this for making different number systems and thire operations?
@utkarshraj42687 ай бұрын
This is really helpful Love from india 🇮🇳🇮🇳
@antoniusnies-komponistpian217210 ай бұрын
The one group of order 4 is addition in Z/4Z, the other one is the standard base of the quaternions without signs
@aniketsaha74552 жыл бұрын
Cayley table is for any algebraic structure and not only groups..
@luckydannumber23 жыл бұрын
So Cayley tables are essentially Sudoku.
@paulcohen67277 күн бұрын
How can a group have an order of less than three and still be associative? I wasn't sure, so I checked and found that the "Associative law states that when three real numbers are added or multiplied together, then the grouping of the numbers does not matter." This implies three different elements unless I'm misreading it. Could {e * e} * { e} = {e} * {e * e} be a valid expression of associativity?
@MuffinsAPlenty2 күн бұрын
Associativity doesn't require distinct elements. For a set with two elements a and b, and a binary operation *, you need to check all of the following: (a*a)*a = a*(a*a) (a*a)*b = a*(a*b) (a*b)*a = a*(b*a) (a*b)*b = a*(b*b) (b*a)*a = b*(a*a) (b*a)*b = b*(a*b) (b*b)*a = b*(b*a) (b*b)*b = b*(b*b) So yes, in a one-element set with "e" as the only element, you would need to check (e*e)*e = e*(e*e). (Of course, if e were an identity, this would be easy to check.)
@squirrward10 ай бұрын
anyone who can suggest a channel that proves statement in abstract algebra?
@shotacercva47582 жыл бұрын
very helpful. THank you so much.
@ifrazali30524 жыл бұрын
4:23 why isn't a squared
@urieldavid4 жыл бұрын
because the "product" should be closed in the group - select from the elements only
@iusyiftgkl7346u4 жыл бұрын
It is, and a^2 must be an element from the group, what together with the non-repetition properties gives its value
@izzamahfudhiaaz-zahro7949 Жыл бұрын
hallo, i'm from indonesia and i like your videos, thanks you
@b43xoit5 жыл бұрын
Has group theory been applied to quantum chromodynamics?
@GregRebholz5 жыл бұрын
Yes, QCD is non-abelian with symmetry group SU(3)
@alejrandom65923 ай бұрын
The two groups are {1,i,-1,-i} and {1,j,-1,-j} from split complex numbers
@alejrandom65923 ай бұрын
First is rotations of a square, second is symmetries of a rectangle (allowing flipping)
@zeroUnknown117 Жыл бұрын
Xlelalblcl elelalblcl alalelclbl blblclelal clclblalel This is abelian right? so would e be the identity matrix? e.g. e=1000 0100 0010 0001