Working through this is an interesting exploration of the normal subgroups of the rubik's group. It must be a challenge to make sure the algorithms for the larger cyclic group elements end up commutative.
I'm a cuber as well as a math student but I've never thought anything like this. I appreciate you for giving this kinda mind-boggling aspect to see or use the mod. ❤
I’m not very skilled with the Rubik’s Cube so I couldn’t handle the complex algorithms for 10, but I have found one for modulo 2: 1: do nothing and the decoding process: • cube has been destroyed: 0 • cube exists: 1 (orientation unimportant)
@@R6nken idea for mod 0: you don't need the cube. the cube does not exist. the cube has never existed. multiplication does not exist. the universe does not exist. there is only an eternal void.
I'm relearning group theory right now and I'm delighted that this video came out right now 😁 Also, embedding an Abelian group within the Rubik's cube in order to multiply numbers mod n is stick is a wild idea. I know these (non-trivial) subgroups exist, I know how group isomorphism works, but there's a whole other set of steps I'd need to do to come to the idea "I'll use the Rubik's cube to compute ab mod n"
9:58 The reason for this is, of course, that cube algorithms aren't abelian. The irony here is that commutators are an extremely useful concept for solving twisty puzzles precisely because the piece movements of one algorithm messes with the pieces of another algorithm.
I've spent far too much of my life watching cubing videos on youtube, and this has to be one of my all-time favorites! Thank you for making this - it's excellently done :)
Interesting video. You can actually do all four elementary operations (addition, subtraction, multiplication, division) mod 10 on the 3x3, where defined and invertible, for the dumb reason that the symmetric group S10 embeds into the Rubik's group. So you just perform the action corresponding to how the elements 0 through 9 permute. (Actually S12 fits as well.) Note that you can add or subtract any number, but only multiply and (modular) divide by units.
@@alejrandom6592 For S12, you can simply use the 12 edge cubes, ignore both edge orientation and all about corner cubes, and notice that you can perform swaps between any two edges. (These swaps also swap corner cubes, but you choose to ignore it.)
Then, for the encodings, assign the names '0', '1', ..., '11' to each edge (arbitrarily). For each operation of the form '+4', '-3', etc., encode it as the corresponding permutation (e.g. for +4, you get 0->4, 1->5, ...), which can always be built out of simple swaps. For multiplication/division, do the same game, restricting yourself to invertibles mod 12.
I'm not a cuber so maybe I'm missing something obvious, but I don't understand your addition. Are you saying that to add, eg 3 + 4, you first do 3, and then you make the 7 permutation? Where does the 4 come in? Or is it that one set of moves goes from 1, 2 , 3 etc each iteration (like how repeating U adds one in mod 4).
If your stickers all had arrows on them, that would introduce additional state for your cube. I once had a Rubik’s cube (or… a derivative of one) that had directioned stickers. The 9 stickers formed a picture with the right orientation. With the wrong orientation it looked scrambled. It was harder for this reason.
@@error_6o6 that’s super cool! I never noticed that with my cube. From what you’re saying, there are only 6*4 additional legal states that are added by taking this type of “sticker rotation” into account? Well maybe it’s not 6*4… but it’s a number small enough to be entirely represented by the orientation of all the middle stickers. I can understand that. I gotta think abt it a bit 😁
@@arisweedler4703 I’m pretty sure the amount of states are multiplied by 4^6 divided by 2 because of weird parity stuff, but that should total to a multiplier of 2048, or, in simpler terms, a lot.
Wow that was such a great video, didn't know rubix cubes could go that deep! Now it makes me wonder if this, or a similar concept, could somehow be used by computers, with arithmetic modulo 256, 65536, (all the powers of 2), since right now they still do multiplication the old fashioned way
I know you won't read this, but this actually just made my day better. This is such a cool concept and I'm very thankful this appeared in my page. Subbed.
This was supremely disappointing when it turned out that you couldn't do 5x8, but then supremely interesting when it turned out that you could do all sorts of other stuff.
one of the most impressive and informative videos I've seen, and bonus points for using a rubiks cube (I'm a speedcuber so it makes me so happy to see videos like these) great video!!
If you need to construct a n cycle algorithm, it doesn't have to find n positions for stickers. For example, one can construct a 45 cycle algorithm that move an edge piece between 9 positions and move a corner piece between 5 positions. Unforntunately, a 25 cycle algorithm still can't be constructed with this technique.
Yes, this is a great point! 25 and 23 are problematic because they are only divisible by one prime, and therefore can't be constructed from smaller cycles.
I was brushing teeths while watching, this : => 1) I have to watch the video a second time => 2) Iwon't be able to sleep because of too intense curiosity
I love your encoding schema! That is a great way to map modular arithmetic onto a non-abelian group! Although I am very disappointed that R2D2 was not an alg...
The reason it works is that the subgroup is abelian. But if you want R2 and D2 to be valid algs, you can't do that, because they don't commute, and your subgroup is then not abelian. Though i suppose R2D2 could be a base alg in itself, perhaps. It has a period of 6 though, so not sure it can be used for this? It's not clear to me what determines what cycles you need for a given mod, how that's determined, and if you can have multiple different cycle sets. I guess i'll have to wait for the next video.
@@artemisSystem I guess you could just do ℤ/6ℤ or (ℤ/7ℤ)× with R2D2, as both groups have one cycle of length 6. To answer your question, first and foremost, yes, you can have multiple different cycle sets by the Chinese Remainder Theorem. So one 6-cycle is isomorphic to a 2-cycle and a 3-cycle because these two numbers are coprime. However, a 4-cycle is NOT the same as two 2-cycles. So essentially, if we break our cycles into "elementary cycles", they all have a length that is a power of a prime. These are sometimes called something along the lines of "elementary divisors." For a given n, to find which cycles you need (the elementary ones, i.e. powers of primes), you need to analyze the multiplicative group (ℤ/nℤ)× (which has φ(n) elements where φ is the Euler Totient function; in the video he calls these the units, e.g. φ(10) = 4 because the four units mod 10 are 1, 3, 7, 9). This, in turn, is easily Googlable, i.e. to find what product of cyclic groups (ℤ/nℤ)× is isomorphic to. But if you want to find it yourself, there is something called the Structure Theorem of Finitely Generated Abelian Groups (SToFGAG), which states that any finitely generated (thus also any finite) abelian group is a direct product of cyclic groups, i.e. that is what allows this entire exercise. If we take the example of mod 15, there are 8 elements in (ℤ/15ℤ)× (specifically, 1, 2, 4, 7, 8, 11, 13, 14). Then, SToFGAG clearly says it must be isomorphic to one of the following: ➡ ℤ/8ℤ ➡ ℤ/4ℤ × ℤ/2ℤ ➡ ℤ/2ℤ × ℤ/2ℤ × ℤ/2ℤ simply because if an abelian group (we know modular multiplication is abelian) with 8 = 2³ elements is a direct product of cyclic groups, there simply are no other ways. In other words, every abelian groups with 8 elements is isomorphic to one of the three above. Furthermore, since (ℤ/15ℤ)× has no element of order 8 (easily checkable) but it has an element of order 4 (for example 2*2*2*2 = 16 ≡ 1 mod 15), it must be the middle case, i.e. (ℤ/15ℤ)× ≅ ℤ/4ℤ × ℤ/2ℤ so we conclude that the "structure" of the multiplicative group mod 15 is a 4-cycle and a 2-cycle, which can be encoded using the ways discussed in the video (e.g. by setting 2 to be R, 11 to be L2, and then everything else is generated by 2 and 11). However, it's another question whether the Rubik's cube is "big enough" to contain so and so many different cycles.
*multiple angry mathematicians staring at you* Edit: btw this reply was made before watching this video so I thought the comment said “can we do mod 1 though” (oh well too late to change it now)
Wow it's like is a slide rule took 10 times as many moves to use and gave you the least significant digits instead of the most significant digits. How... useful?
It is actually possible to input even numbers if you use 6 * 5 = 0 in modular arithmetic: Since 6 * 6 = 6, 6 would be peeling the stickers partially and not doing anything else. And the other numbers: 2 = 6 * 7 4 = 6 * 9 8 = 6 * 3 And any face (ignoring the colors) that has peeled the other stickers is 5 Hope this helps!
You still need to figure out which stickers to remove so that a cube with partially removed stickers can still be unambiguously interpreted as the correct result.
I love this because this year i was feeling so desperate that i wanted to cheat using more 5x5 i didnt because like memorazing a cheating method is harder than actually learning the topic i needed for the exam but it's cool knowing i could've done it
Great video! I've always known this trick was a thing, but I've never fully understood it great detail. This could be a great video in an advanced abstract algebra series - you thinking of diving more into it? Also, do you mind if I ask how you did the 3D Rubik's cube animation? I'm getting my hands dirty with Manim right now, but I haven't dealt with any 3D components yet so I'm just wondering if that's what you used or if it was something entirely different. I want to try to create a 2x2 chess cube if you're curious :)
There is a link in the description to that Rubik's cube I made on OpenProcessing. You can view the source code and even make a fork to make your own version!
Oh my gosh, this is brilliant. I'm definitely very jealous to not have thought of it , considering all of my years of cube experience and "it's a group" propaganda. Couldn't put 2 and 2 together to make a 4 xD Also, i believe you can only use units because the cube's moves are reversible (i.e. a group). I like your idea of 2*5 ≈ 0 mod 10, but just to hammer in the point that this means 2 doesn't have an inverse, which every move on the cube does.
@@Zufalligeule 1260 is the maximum cycle possible on a cube, but 1261 is not prime. 990 is the second highest cycle that fits on a 3x3, and then adding 1 we get 991 which is prime!
It might be possible to do for larger numbers by using multiple cubes and exploiting chinese remainder theorem right? To do modulo 1000, you could do 125 (if possible) and 8
You've got the right idea, the CRT does help breakdown the structure, but the units mod 125 still need a 4 cycle and a 25 cycle. There isn't really a way to do that 25 cycle on an nxn
dumb/random idea: since the center squares never change with respect to eachother, can you use the orientation of the cube itself to get larger cycles? mix in pitch, yaw, and roll of the cube, and say define white up with some color facing you as the default starting position?
Yes this would allow at least an additional 4-cycle! But then I think you'd also need to 'fix' the algs, like saying that U must always be the white face instead whatever is on top
I didn't watch it, but it's an application of the Chinese Remainder Theorem. For finite Abelian groups, there's a unique factorization analogous to the fundamental theorem of algebra. The Rubik's group isn't abelian (for example R U is not equivalent to U R) but the cyclic subgroup generated by a sequence of moves as one element is (for example )
Thoughts: The prime numbers seem really important for this, since they avoid the "multiply to 0" problem, and seem to be related to the unit cycles Would each prime number just have 1 cycle? If they do each have 1 cycle, than would 23 be the largest prime you can fit on a cube? And therefore are you able to fit any modulus that only has prime factors less than 23? I eagerly await the next videos in this series, since they seem like they'll answer some of these questions
Yes, primes are important for this and they do each only have 1 cycle. Good observations! It does turn out that you can get higher primes than 23 onto the cube though. 29 needs a 28 cycle, but you can achieve a 28 cycle by mixing a 4 cycle and a 7 cycle. So therefore the problematic primes are ones like 83, where p-1 is divisible by a prime > 24. 82 = 2*41
@@creepinator4587 If you have two cycles A and B, you can always combine them into a single cycle lcm(A,B) by doing them both at the same time. If A and B are coprime, this just means A×B.
It would probably have been easier if you would have explained it for addition first and then explained isomorphisms 😂 Then you would have drastically expanded the potential watchers
Man. Abstract Algebra is a hell of a drug.
wait till calculus
@@mekaindo who's taking abstract algebra before calculus?
@@minerscaleme later today cuz this sounds interesting
@@minerscale I mean... you could, I suppose, but it is just a bit unorthodox
@@minerscale i dont know i tried to be funny
I've been speedcubing for quite a few years, and this is by far the coolest thing involving Rubik's cubes I've come across!
Thank you, I'm glad you enjoyed the video!
I like it too! 10:51
0×0
"Remove the stickers"
*removes the stickers*
"Remove the stickers"
*starts panicking*
then just remove the cube
wait what do you do in case of 0x0x0???
@@mr.duckie._.
Remove stickers
Stickers existed on cube, so remove cube
cube existed in your hands, so...
just fix the rule like this: "Remove the stickers if they are not removed yet"
@@mr.duckie._. hammer
@@katie-ampersand 0^4: remove the hammer
My gosh doing 3*67 and watching the cube turn back to its starting position was amazingly satisfying
Isn't 67 then the inverse of 3?
@@cubingboxSo then he would be using mod 70
when you can't bring a calculator to a test
However it looks really complicated and probably took a long time.
Also, for one who aren't able to play rubik, that would be extremely hard. I think it is just better to use the usual method.
he didnt say that its a good method he said its a method@@petersusilo9588
@@petersusilo9588no shit Sherlock
🍑🧮🧮🧮⚖️😞💀🌝🌝🌚🌚
by tricking me into being entertained by modular arithmatic, you earn my subscription.
Working through this is an interesting exploration of the normal subgroups of the rubik's group. It must be a challenge to make sure the algorithms for the larger cyclic group elements end up commutative.
is this just a sneaky introduction to group homomorphisms?
It sure is!
But without any of the complex math terms that obscure away the beauty of math to the layman viewer.
I KNEW IT
I haven't been in a group homomorphism since college
I'm a cuber as well as a math student but I've never thought anything like this. I appreciate you for giving this kinda mind-boggling aspect to see or use the mod. ❤
1:05 hey, I *AM* thirsty, I should drink water.
Fr bro caught me
not only once, he made me think about it 3 times!
I was thirsty sure, but now I'm REALLY thirsty and can't contain myself anymore, to the water I go!
I’m not very skilled with the Rubik’s Cube so I couldn’t handle the complex algorithms for 10, but I have found one for modulo 2:
1: do nothing
and the decoding process:
• cube has been destroyed: 0
• cube exists: 1 (orientation unimportant)
I have found one for modulo 1:
0: destroy cube
and the decoding process:
• cube has been destroyed: 0
@@catstone i think it's more like:
0: cube
Decoding:
* cube: 0
@@R6nken idea for mod 0: you don't need the cube. the cube does not exist. the cube has never existed. multiplication does not exist. the universe does not exist. there is only an eternal void.
I'm relearning group theory right now and I'm delighted that this video came out right now 😁
Also, embedding an Abelian group within the Rubik's cube in order to multiply numbers mod n is stick is a wild idea. I know these (non-trivial) subgroups exist, I know how group isomorphism works, but there's a whole other set of steps I'd need to do to come to the idea "I'll use the Rubik's cube to compute ab mod n"
9:58 The reason for this is, of course, that cube algorithms aren't abelian. The irony here is that commutators are an extremely useful concept for solving twisty puzzles precisely because the piece movements of one algorithm messes with the pieces of another algorithm.
Then my chess board is a graphing calculator. Also most sane mathematician.
if the chess is a graphin calculator, what is checkers???
@@mekaindo binary?
@@Bangaudaala thats a good idea
The Chinese calculator thing. Can't remember it's name
@@willlagergaming8089 Abacus?
I've spent far too much of my life watching cubing videos on youtube, and this has to be one of my all-time favorites! Thank you for making this - it's excellently done :)
Thank you for watching, I'm glad you enjoyed it!
Interesting video. You can actually do all four elementary operations (addition, subtraction, multiplication, division) mod 10 on the 3x3, where defined and invertible, for the dumb reason that the symmetric group S10 embeds into the Rubik's group. So you just perform the action corresponding to how the elements 0 through 9 permute. (Actually S12 fits as well.)
Note that you can add or subtract any number, but only multiply and (modular) divide by units.
Nice, can you elaborate?
@@alejrandom6592 For S12, you can simply use the 12 edge cubes, ignore both edge orientation and all about corner cubes, and notice that you can perform swaps between any two edges. (These swaps also swap corner cubes, but you choose to ignore it.)
Then, for the encodings, assign the names '0', '1', ..., '11' to each edge (arbitrarily). For each operation of the form '+4', '-3', etc., encode it as the corresponding permutation (e.g. for +4, you get 0->4, 1->5, ...), which can always be built out of simple swaps.
For multiplication/division, do the same game, restricting yourself to invertibles mod 12.
For mod 10, play the same game and just ignore two edges.
I'm not a cuber so maybe I'm missing something obvious, but I don't understand your addition. Are you saying that to add, eg 3 + 4, you first do 3, and then you make the 7 permutation? Where does the 4 come in? Or is it that one set of moves goes from 1, 2 , 3 etc each iteration (like how repeating U adds one in mod 4).
U crazy bro. This math so good it seems forbidden.
“Can we doNO” 😂
"We can make a religion out of"NO, don't.
If your stickers all had arrows on them, that would introduce additional state for your cube.
I once had a Rubik’s cube (or… a derivative of one) that had directioned stickers. The 9 stickers formed a picture with the right orientation. With the wrong orientation it looked scrambled. It was harder for this reason.
Actually, only the center stickers’ direction matter, but I think that should be enough to improve the highest number it can multiply by.
@@error_6o6 that’s super cool! I never noticed that with my cube. From what you’re saying, there are only 6*4 additional legal states that are added by taking this type of “sticker rotation” into account? Well maybe it’s not 6*4… but it’s a number small enough to be entirely represented by the orientation of all the middle stickers. I can understand that. I gotta think abt it a bit 😁
@@arisweedler4703 I’m pretty sure the amount of states are multiplied by 4^6 divided by 2 because of weird parity stuff, but that should total to a multiplier of 2048, or, in simpler terms, a lot.
Ah, the cliffhanger. Looking forwards to the next video!
0:15 setting it to its default position is not as easy as the other steps (depending on who you are)
No its pretty Easy actually
Wow that was such a great video, didn't know rubix cubes could go that deep!
Now it makes me wonder if this, or a similar concept, could somehow be used by computers, with arithmetic modulo 256, 65536, (all the powers of 2), since right now they still do multiplication the old fashioned way
I know you won't read this, but this actually just made my day better. This is such a cool concept and I'm very thankful this appeared in my page. Subbed.
I did read this! Thanks for the positive comment, I'm very glad that you enjoyed the video
This was supremely disappointing when it turned out that you couldn't do 5x8, but then supremely interesting when it turned out that you could do all sorts of other stuff.
one of the most impressive and informative videos I've seen, and bonus points for using a rubiks cube (I'm a speedcuber so it makes me so happy to see videos like these) great video!!
This is why Rubik's cubes are loved by many. They are more than some toys.
I had one in Louisiana. I never thought of it this way.
A math video that also reminds you to drinks water. This is just the summit of youtube. Loved the video
this is literally what I had looking for for the past months!
this is so smart, thank you so much to make this video
Removing the stickers was really funny to me for some reason
Unbelievable video quality, nice job.
Great video. My idea for multiplying by 0 was exploding the cube but removing the stickers is way better.
You could use a 1x2xN cuboid to do N/2-digit binary multiplication
rowanfortier?!?! 0 likes 0 replies??!?!!?
If you need to construct a n cycle algorithm, it doesn't have to find n positions for stickers. For example, one can construct a 45 cycle algorithm that move an edge piece between 9 positions and move a corner piece between 5 positions. Unforntunately, a 25 cycle algorithm still can't be constructed with this technique.
That's what was bugging me while I was watching. Thanks for answering my question before I asked it =)
Yes, this is a great point! 25 and 23 are problematic because they are only divisible by one prime, and therefore can't be constructed from smaller cycles.
Because Z45 = Z9 × Z5
@@TheGrayCuber Couldn't you have two simultaneous five cycles for 25?
I was brushing teeths while watching, this :
=> 1) I have to watch the video a second time
=> 2) Iwon't be able to sleep because of too intense curiosity
the Gray Cuber doing a video with Cubes mentioned?
its more likely than you think!
I love your encoding schema! That is a great way to map modular arithmetic onto a non-abelian group! Although I am very disappointed that R2D2 was not an alg...
The reason it works is that the subgroup is abelian. But if you want R2 and D2 to be valid algs, you can't do that, because they don't commute, and your subgroup is then not abelian. Though i suppose R2D2 could be a base alg in itself, perhaps. It has a period of 6 though, so not sure it can be used for this? It's not clear to me what determines what cycles you need for a given mod, how that's determined, and if you can have multiple different cycle sets. I guess i'll have to wait for the next video.
@@artemisSystem I guess you could just do ℤ/6ℤ or (ℤ/7ℤ)× with R2D2, as both groups have one cycle of length 6.
To answer your question, first and foremost, yes, you can have multiple different cycle sets by the Chinese Remainder Theorem. So one 6-cycle is isomorphic to a 2-cycle and a 3-cycle because these two numbers are coprime. However, a 4-cycle is NOT the same as two 2-cycles. So essentially, if we break our cycles into "elementary cycles", they all have a length that is a power of a prime. These are sometimes called something along the lines of "elementary divisors."
For a given n, to find which cycles you need (the elementary ones, i.e. powers of primes), you need to analyze the multiplicative group (ℤ/nℤ)× (which has φ(n) elements where φ is the Euler Totient function; in the video he calls these the units, e.g. φ(10) = 4 because the four units mod 10 are 1, 3, 7, 9).
This, in turn, is easily Googlable, i.e. to find what product of cyclic groups (ℤ/nℤ)× is isomorphic to. But if you want to find it yourself, there is something called the Structure Theorem of Finitely Generated Abelian Groups (SToFGAG), which states that any finitely generated (thus also any finite) abelian group is a direct product of cyclic groups, i.e. that is what allows this entire exercise.
If we take the example of mod 15, there are 8 elements in (ℤ/15ℤ)× (specifically, 1, 2, 4, 7, 8, 11, 13, 14). Then, SToFGAG clearly says it must be isomorphic to one of the following:
➡ ℤ/8ℤ
➡ ℤ/4ℤ × ℤ/2ℤ
➡ ℤ/2ℤ × ℤ/2ℤ × ℤ/2ℤ
simply because if an abelian group (we know modular multiplication is abelian) with 8 = 2³ elements is a direct product of cyclic groups, there simply are no other ways. In other words, every abelian groups with 8 elements is isomorphic to one of the three above.
Furthermore, since (ℤ/15ℤ)× has no element of order 8 (easily checkable) but it has an element of order 4 (for example 2*2*2*2 = 16 ≡ 1 mod 15), it must be the middle case, i.e.
(ℤ/15ℤ)× ≅ ℤ/4ℤ × ℤ/2ℤ
so we conclude that the "structure" of the multiplicative group mod 15 is a 4-cycle and a 2-cycle, which can be encoded using the ways discussed in the video (e.g. by setting 2 to be R, 11 to be L2, and then everything else is generated by 2 and 11).
However, it's another question whether the Rubik's cube is "big enough" to contain so and so many different cycles.
The multiplicative group of units are one of my favorite constructions in ring theory!!!
2 of my favorite things in one video. thank you
"Can we do mod one thou-"
"NO."
*multiple angry mathematicians staring at you*
Edit: btw this reply was made before watching this video so I thought the comment said “can we do mod 1 though” (oh well too late to change it now)
Wow it's like is a slide rule took 10 times as many moves to use and gave you the least significant digits instead of the most significant digits. How... useful?
BUT ITS A RUBIX CUBE so it’s cool
when you said "I'm a little thirsty" i was literally grabing for my water bottle
it goes in the square hole
It is actually possible to input even numbers if you use 6 * 5 = 0 in modular arithmetic:
Since 6 * 6 = 6, 6 would be peeling the stickers partially and not doing anything else.
And the other numbers:
2 = 6 * 7
4 = 6 * 9
8 = 6 * 3
And any face (ignoring the colors) that has peeled the other stickers is 5
Hope this helps!
You still need to figure out which stickers to remove so that a cube with partially removed stickers can still be unambiguously interpreted as the correct result.
5:27 6 and 5 can be these two
@@Rhys_1000 No, because 5×3=5×7=5×9=5
5 need to remove all stickers from the up layer (except the center)
@@aloi4Actually, it still only matters if that specific kind of stickers are peeled to be 5
This is an amazing video, loved it!
This was an immediate like and subscribe for me. I love it.
this is a really well-made video!
I love this because this year i was feeling so desperate that i wanted to cheat using more 5x5 i didnt because like memorazing a cheating method is harder than actually learning the topic i needed for the exam but it's cool knowing i could've done it
12:56, small error: the audio says 106 but the graphic shows 107. I’m fairly certain that 107 is correct. Hope it helps. Great video!
yes, thank you. 107 is correct
I wonder if anyone has adapted this as an alternative to the current popular blindfold method.
Great video! I've always known this trick was a thing, but I've never fully understood it great detail. This could be a great video in an advanced abstract algebra series - you thinking of diving more into it?
Also, do you mind if I ask how you did the 3D Rubik's cube animation? I'm getting my hands dirty with Manim right now, but I haven't dealt with any 3D components yet so I'm just wondering if that's what you used or if it was something entirely different. I want to try to create a 2x2 chess cube if you're curious :)
There is a link in the description to that Rubik's cube I made on OpenProcessing. You can view the source code and even make a fork to make your own version!
Insane yo, good explanation!
really creative thinking like this
Oh my gosh, this is brilliant. I'm definitely very jealous to not have thought of it , considering all of my years of cube experience and "it's a group" propaganda. Couldn't put 2 and 2 together to make a 4 xD
Also, i believe you can only use units because the cube's moves are reversible (i.e. a group). I like your idea of 2*5 ≈ 0 mod 10, but just to hammer in the point that this means 2 doesn't have an inverse, which every move on the cube does.
Mathematical beauty
This is beautiful
You could maybe also use corner twists as moves, but I don't know if you would use that
bro i was literally glugging water when you said "hm, im a little thirsty"😂😂😂
Really cool. makes me wonder, whether there is a largest prime modulus that can be represented on a cube.
This is a really interesting problem!
991 is the highest prime modulus possbile
@TheGrayCuber wow, it's surprisingly large! I've expected it to be around 100-200.
@@Zufalligeule 1260 is the maximum cycle possible on a cube, but 1261 is not prime. 990 is the second highest cycle that fits on a 3x3, and then adding 1 we get 991 which is prime!
It might be possible to do for larger numbers by using multiple cubes and exploiting chinese remainder theorem right?
To do modulo 1000, you could do 125 (if possible) and 8
You've got the right idea, the CRT does help breakdown the structure, but the units mod 125 still need a 4 cycle and a 25 cycle. There isn't really a way to do that 25 cycle on an nxn
@@TheGrayCuber oh that's so true. The cycles are given by factors and CRT requires the same factors, so they possibly inherit the impossiblities
This is really full circle for TheGrayCuber, or should I say... full cycle
I'll watch this later, but my big question going in is what abelian subgroups you used to make it commutative.
How the hell does he come up with this brilliant idea!? awesome.
Great video can’t wait for the next one
Finally a use for the multiplicative group of integers modulo n
dumb/random idea:
since the center squares never change with respect to eachother, can you use the orientation of the cube itself to get larger cycles? mix in pitch, yaw, and roll of the cube, and say define white up with some color facing you as the default starting position?
Yes this would allow at least an additional 4-cycle! But then I think you'd also need to 'fix' the algs, like saying that U must always be the white face instead whatever is on top
I didn't watch it, but it's an application of the Chinese Remainder Theorem. For finite Abelian groups, there's a unique factorization analogous to the fundamental theorem of algebra. The Rubik's group isn't abelian (for example R U is not equivalent to U R) but the cyclic subgroup generated by a sequence of moves as one element is (for example )
I love what you're doing! it's the beautifulest way to introduce someone to homomorphism group
Pretty nice video!!!!!!!
Fun fact: if you only use prime number bases, you won’t have any “problem” numbers :D
I did not watch the fuII thing but even just the beggining teIIs me that this is way too high quaIity for so IittIe
Imagine bringing this out on a math test
I hope you're doing this as part of a paper for some math journal.
This is magic; how'd you know I was thirsty?
Thanks for reminding me to drink water btw :]
This is gonna get virale
I probably need to watch 1000 instruction videos first in order to make sense of this.
Thoughts:
The prime numbers seem really important for this, since they avoid the "multiply to 0" problem, and seem to be related to the unit cycles
Would each prime number just have 1 cycle?
If they do each have 1 cycle, than would 23 be the largest prime you can fit on a cube? And therefore are you able to fit any modulus that only has prime factors less than 23?
I eagerly await the next videos in this series, since they seem like they'll answer some of these questions
Scratch that, the "prime numbers have 1 cycle" conjecture is easily disproved by 7 having 3 cycles
2-4-6-1, 3-6-1, and 5-3-1
Yes, primes are important for this and they do each only have 1 cycle. Good observations!
It does turn out that you can get higher primes than 23 onto the cube though. 29 needs a 28 cycle, but you can achieve a 28 cycle by mixing a 4 cycle and a 7 cycle.
So therefore the problematic primes are ones like 83, where p-1 is divisible by a prime > 24. 82 = 2*41
7 is really interesting! It can be represented as just one 6 cycle, or a 2 cycle and a 3 cycle. It's the smallest number that offers such a choice
@@creepinator4587 If you have two cycles A and B, you can always combine them into a single cycle lcm(A,B) by doing them both at the same time. If A and B are coprime, this just means A×B.
I wonder what could be done on a Rubik's Tesseract
imagine needing to multiply by zero but you have a stickerless cube
My brain is melting
It would probably have been easier if you would have explained it for addition first and then explained isomorphisms 😂
Then you would have drastically expanded the potential watchers
I am kinda thirsty 😰💔
Problem... for your average joe, just getting the cube back to its starting position is impossibly time consuming.
OK, but can you run DOOM on it?!
Yes, but it's very low resolution (3x3), and your hands are the cpu. Alg implementation is left as an exercise for the reader.
Instructions unclear: My cube is stickerless, how can I multiply by 0
Thats amazing bro
Can I caculate the number by which I can multiply the cube into its starting position?
Is this a math video about Rubik's cube or a cubing video about group theory
What do you mean that you solve 4x4 parity by ignoring it? You still have to deal with it at some point...?
can you give a link or a list of every modular multiplication below a number, like 100 ?
Its cool that rubiks cube is a calculator but i can do fast calculation than inserting values according to the video
That's very cool!...
Can it run Doom?
thank you thegaycuber for this awesome youtube video
You're welcome
Typo
типо
Do the megaminx one as I would love to see it
Try using a prime number as the mod so no numbers will multiply to that, meaining you can use all numbers
Awesome idea!
This is so cool
"remove stickers" is now a legal move
Is the 5-cycle one of the cycles that are used to solve the puppet v1?
Signed integers hardcoded style (that one that in computers can lead to -0 beeing a thing). Nice
What is the largest modulus possible on 3x3?
533,520 is the largest that I have found