Rubik-kocka csoport | |
---|---|
Valaki után elnevezve | Rubik kocka |
ben tanult | csoportelmélet |
Csoportos rendelés | 4,325200327449E+19 |
Médiafájlok a Wikimedia Commons oldalon |
A Rubik-kocka csoport az S 48 szimmetrikus csoport alcsoportja , melynek elemei a Rubik-kocka transzformációinak felelnek meg . Az átalakítás bármely lap elfordításának hatását vagy lapfordulatok sorozatát jelenti [1] .
A Rubik-kocka lapjainak mindegyik elforgatása a 48 Rubik-kocka címkék halmazának szimmetrikus csoportjának elemének tekinthető , amelyek nem a lapok középpontjai. A lapok középpontját betűkkel jelöljük (lásd az ábrát), a többi címkét pedig 1-től 48-ig terjedő számokkal. Most a megfelelő lapokat az óramutató járásával megegyezően 90°-kal elforgatva társíthatjuk a szimmetrikus csoport elemeit :
Ekkor a Rubik-kocka csoportot hat lap 90°-os elforgatásával generált részcsoportként határozzuk meg [2] :
A csoport sorrendje : [2] [3] [4] [5] [6]
Legyen egy 18 generátorral rendelkező csoport Cayley-gráfja, amely az FTM-metrika 18 lépésének felel meg .
A konfigurációk mindegyike legfeljebb 20 FTM mozdulattal megoldható. Más szóval, a feladvány "összeállított" állapotának megfelelő gráfcsúcs excentricitása 20 [7] .
A grafikon átmérője is 20 [8] .
Az elem legmagasabb sorrendje 1260. Például a mozdulatok sorozatát 1260 - szor kell megismételni [9] , mielőtt a Rubik-kocka visszatér eredeti állapotába [10] [11] .
nem egy Abeli-csoport , mivel például a . Más szóval, nem minden elempár ingázik [12] .
Minden csoport, amelynek a sorrendje nem haladja meg a 12 -t, izomorf a Rubik-kocka csoport valamelyik alcsoportjával. Minden nem Abeli csoport, amelynek a sorrendje nem haladja meg a 24-et, szintén izomorf a Rubik-kocka csoport valamelyik alcsoportjával. A csoportok ( 13-as rendű ciklikus csoport ) és ( 26-os rendű diédercsoport ) nem izomorfak a Rubik-kockacsoport egyik alcsoportjával sem [13] .
A csoport középpontja olyan elemekből áll, amelyek a csoport minden elemével ingáznak. A Rubik-kocka csoport középpontja két elemből áll: az identitástranszformációból és a szuperflipből [5] [13] .
1981 júliusában Jesper C. Gerved és Torben Maack Bisgaard bebizonyította, hogy a Rubik-kocka csoport 73 különböző rendű elemet tartalmaz 1-től 1260-ig, és meghatározták az egyes lehetséges sorrendek elemeinek számát [14] [15] [16] .
Elemek sorrendje | Az arc elforgatásának sorrendje |
---|---|
négy | |
6 | |
63 | |
105 | |
1260 |
A Rubik-kocka csoport ciklikus rendű alcsoportokat tartalmaz
1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 15, 16, 18, 20, 21, 22, 24, 28, 30, 33, 35, 36, 40, 42, 44, 45, 48, 55, 56, 60, 63, 66, 70, 72, 77, 80, 84, 90, 99, 105, 110, 112, 120, 126, 40,4,4 154, 165, 168, 180, 198, 210, 231, 240, 252, 280, 315, 330, 336, 360, 420, 462, 495, 504, 630, 495, 504, 630, 90, 40
Csak egy elemnek (a csoport azonossági elemének) van 1-es sorrendje; a második legritkább sorrend a 11 ( 44 590 694 400 elem ); az összes elem körülbelül 10,6% -a ( 4601524692892926000 ) 60 -as sorrendű [14] [16] .
A táblázat példákat mutat be bizonyos rendek elemeinek megfelelő arcforgatási sorozatokra [11] [17] [18] .
A négyzetcsoport (négyzetcsoport) a lapok 180°-os elforgatásával létrehozott csoport alcsoportja [5] [19] :
A négyzetcsoport sorrendje 663 552 [20] .
A négyzetcsoportot a Thistlethwaite algoritmus használja , melynek segítségével sikerült bebizonyítani, hogy 45 mozdulat elegendő a Rubik-kocka megoldásához.
A Rubik-kocka lapjainak közepén elhelyezkedő címkék nem mozognak, hanem forognak. Egy szabályos Rubik-kockán a lapok középpontjainak tájolása láthatatlan.
Az összes Rubik-kocka-transzformáció csoportját, amelyeknek az arcközéppontja látható, Rubik-kocka szupercsoportnak nevezzük. Ez szor nagyobb, mint a csoport [5] .
Van egy Hamilton-ciklus a Cayley-gráfon egy 12 generátorral rendelkező csoportról , amely megfelel a QTM-metrika mozgásainak . A talált ciklus 6 lapból csak 5-öt használ [21] [22] [23] .
Van egy megfelelő Lovas-sejtés egy tetszőleges Cayley-gráfra.