Utente:GiovanniCzz/Sandbox

Il Gruppo del cubo di Rubik è un gruppo $(G,\cdot )$ costituito dalle mosse del Cubo di Rubik. Ogni elemento dell'Insieme $G$ corrisponde ad una mossa, che può essere una qualsiasi sequenza di rotazioni delle facce del cubo. Questi elementi ci permettono di rappresentare ogni configurazione del cubo, specificando le mosse necessarie per ottenerla a partire da quella iniziale (convenientemente quella in cui il cubo viene considerato risolto). Infatti, scelta la configurazione iniziale, c'è una corrispondenza biunivoca tra ogni configurazione possibile del cubo e gli elementi dell'insieme $G$ .^[1]^[2] L'operazione binaria $\cdot$ è la composizione delle mosse del cubo: una composizione di mosse corrisponde ad una sequenza di mosse effettuate una dopo l'altra.

Il gruppo del cubo di Rubik si realizza contrassegnando a ciascuna dei 48 quadratini, esclusi i centri, un numero intero da 1 a 48. Ogni configurazione del cubo può essere rappresentata come una permutazione dei numeri da 1 a 48, in base alla posizione di ciascun quadratino. Usando questa rappresentazione, la permutazione identità è quella che lascia il cubo invariato, mentre le dodici mosse che consistono in una rotazione di 90 gradi di ciascun strato sono rappresentate dalle rispettive permutazioni. Il gruppo del cubo di Rubik è un sottogruppo del gruppo simmetrico $S_{48}$ generato dalle sei permutazioni corrispondenti alle sei rotazioni in senso orario. Quindi ogni configurazione realizzabile attraverso una seguenza di mosse appartiene al gruppo. Il gruppo del cubo di Rubik è un gruppo non abeliano in quanto la composizione delle mosse non è commutativo; eseguire due sequenze di mosse in ordine differente può portare a configurazioni finali diverse.

Mosse

Un cubo di Rubik $3\times 3\times 3$ consiste di $6$ facce, ognuna con $9$ quadrati colorati, per un totale di $54$ quadrati. Un cubo risolto ha ogni quadrato su ciascuna faccia dello stesso colore.

Una mossa del cubo consiste in una rotazione di una delle $6$ facce: $90^{\circ },180^{\circ }$ or $-90^{\circ }$ . Il quadrato centrale di ciascuna faccia del cubo ruota attorno al proprio asse (ad esso perpendicolare e passante per il centro) rimanendo quindi nella stessa posizione.^[1]

Le mosse sono descritte con la notazione di Singmaster:^[3]

Basic 90°	180°	-90°
$F$ Rotazione in senso orario della faccia frontale	$F^{2}$ Doppia rotazione in senso orario della faccia frontale	$F^{\prime }$ Rotazione in senso antiorario della faccia frontale
$B$ rotazione in senso orario della faccia posteriore	$B^{2}$ doppia rotazione in senso orario della faccia posteriore	$B^{\prime }$ rotazione in senso antiorario della faccia posteriore
$U$ rotazione in senso orario della faccia superiore	$U^{2}$ doppia rotazione in senso orario della faccia superiore	$U^{\prime }$ rotazione in senso antiorario della faccia superiore
$D$ rotazione in senso orario della faccia inferiore	$D^{2}$ doppia rotazione in senso orario della faccia inferiore	$D^{\prime }$ rotazione in senso antiorario della faccia inferiore
$L$ rotazione in senso orario della faccia sinistra	$L^{2}$ doppia rotazione in senso orario della faccia sinistra	$L^{\prime }$ rotazione in senso antiorario della faccia sinistra
$R$ rotazione in senso orario della faccia destra	$R^{2}$ doppia rotazione in senso orario della faccia destra	$R^{\prime }$ rotazione in senso antiorario della faccia destra

Struttura del gruppo

L'orientazione dei quadrati centrali è fissa. Possiamo identificare ciascuna delle sei rotazioni come elementi di un gruppo simmetrico. In pratica numeriamo i quadrati, esclusi quelli centrali, da 1 a 48, e identifichiamo le sei rotazioni delle facce come elementi del gruppo simmetrico S₄₈ in base alle configurazioni che ciascuna mossa fa assumere ai quadrati. Il gruppo del cubo di Rubik G è quindi definito come il sottogruppo di generato dalle 6 rotazioni, $\{F,B,U,D,L,R\}$ .

La cardinalità di G è data da

|G|=43{,}252{,}003{,}274{,}489{,}856{,}000\,\!=2^{27}3^{14}5^{3}7^{2}11

.^[4]

Nonostante abbia una cardinalità così grande, data qualsiasi configurazione iniziale, il numero minimo di mosse per risolvere il cubo di Rubik è 20^[5] (dove una rotazione di 180 gradi conta come una singola mossa; se viene contata come due rotazioni di 90 gradi, allora il numero minimo è 26^[6]).

Il più grande ordine di un elemento in G è 1260. Per esempio un elemento di ordine 1260 è

(RU^{2}D^{\prime }BD^{\prime })

.^[1]

G è un gruppo non-abeliano. Ciò vuol dire che non tutte le mosse del cubo commutano tra loro;^[2] per esempio, $FR$ è diverso da $RF$ .

Sottogruppi

Consideriamo due sottogruppi di G: il sottogruppo C_o delle orientazioni, ovvero le mosse che consistono nel ruotare l'intero cubo, lasciando quindi invariate le posizioni reciproche tra i cubetti. Questo è un sottogruppo normale di G. Può essere rappresentato come la chiusura normale delle mosse che invertono degli spigoli oppure che ruotano gli angoli.

Per esempio, è la chiusura normale delle seguenti mosse:

BR^{\prime }D^{2}RB^{\prime }U^{2}BR^{\prime }D^{2}RB^{\prime }U^{2},\,\!

(ruota due angoli)

RUDB^{2}U^{2}B^{\prime }UBUB^{2}D^{\prime }R^{\prime }U^{\prime },\,\!

(inverte due spigoli).

Il secondo sottogruppo $C_{P}$ è quello delle permutazioni, ovvero i movimenti che consentono di cambiare la posizione dei cubetti, ma lascia invariata l'orientazione. Per questo sottogruppo ci sono diverse opzioni, a secondo del modo in cui si definisce l'orientamento. Un esempio è il seguente gruppo:

C_{p}=[U^{2},D^{2},F,B,L^{2},R^{2},R^{2}U^{\prime }FB^{\prime }R^{2}F^{\prime }BU^{\prime }R^{2}].\,\!

Dal momento che C_o è un sottogruppo normale e l'intersezione di C_o e C_p è l'identità e il loro prodotto è il gruppo G, segue che G è il prodotto semidiretto di questi due gruppi. Ovvero

G=C_{o}\rtimes C_{p}.\,

Analizziamo più nel dettaglio i due sottogruppi. La struttura di C_o è

\mathbb {Z} _{3}^{7}\times \mathbb {Z} _{2}^{11},\

dato che il gruppo della rotazione di ogni angolo è (rispettivamente gli spigoli) è $\mathbb {Z} _{3}$ (rispettivamente $\mathbb {Z} _{2}$ ), e in ogni caso tutti, eccetto uno, possono ruotare liberamente, infatti queste rotazioni determinano l'orientazione dell'ultimo.

Il sottogruppo delle permutazioni, C_p, è un pò poù complicato. Esso contiene i seguenti due sottogruppi normali disgiunti: il gruppo delle permutazioni pari degli angoli A₈ e il gruppo delle permutazioni pari degli spigoli A₁₂. Complementare a questi due sottogruppi è una permutazione che scambia due angoli e due spigoli. Questi generano tutte le possibili permutazioni, ovvero

C_{p}=(A_{8}\times A_{12})\,\rtimes \mathbb {Z} _{2}.

Abbiamo che G è isomorfo a

(\mathbb {Z} _{3}^{7}\times \mathbb {Z} _{2}^{11})\rtimes \,((A_{8}\times A_{12})\rtimes \mathbb {Z} _{2}).

Questo gruppo può essere descritto anche come il seguente prodotto semidiretto

[(\mathbb {Z} _{3}^{7}\rtimes \mathrm {S} _{8})\times (\mathbb {Z} _{2}^{11}\rtimes \mathrm {S} _{12})]^{\frac {1}{2}}

,

con la notazione di Griess^{[senza fonte]}.

Generalizzazione

Se prendiamo in considerazione le simmetrie dei quadrati centrali il gruppo simmetrico è un sottogruppo di

[\mathbb {Z} _{4}^{6}\times (\mathbb {Z} _{3}^{7}\rtimes \mathrm {S} _{8})\times (\mathbb {Z} _{2}^{11}\rtimes \mathrm {S} _{12})]^{\frac {1}{2}}.

Il grupppo di simmetria del cubo di Rubik ottenuto per smontaggio e rimontaggio è è il prodotto diretto

\mathbb {Z} _{4}^{6}\times (\mathbb {Z} _{3}\wr \mathrm {S} _{8})\times (\mathbb {Z} _{2}\wr \mathrm {S} _{12}).

Il primo fattore rappresenta soltanto le rotazioni dei pezzi centrali, il secondo soltanto le simmetrie degli angoli e il terzo soltanto le simmetrie degli spigoli.

Note

^ ^a ^b ^c Joyner, David, Adventures in group theory: Rubik's Cube, Merlin's machine, and Other Mathematical Toys, Johns Hopkins University Press, 2002, ISBN 0-8018-6947-1.
^ ^a ^b Davis, Tom, Group Theory via Rubik’s Cube (PDF), su geometer.org, 2006.
^ David Singmaster, Notes on Rubik's Magic Cube, Penguin Books, 1981, ISBN 0907395007.
^ Martin Schönert, Analyzing Rubik's Cube with GAP, su gap-system.org.
^ Rokicki, Tomas, God's Number is 20, su cube20.org.
^ God's Number is 26 in the Quarter-Turn Metric