[go: up one dir, main page]

Gruppo del cubo di Rubik

gruppo delle mosse del cubo di Rubik

Il gruppo del cubo di Rubik è un gruppo costituito dalle mosse del cubo di Rubik. Ogni elemento dell'insieme 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 .[1][2] L'operazione binaria è la composizione delle mosse del cubo: una composizione di mosse corrisponde ad una sequenza di mosse effettuate una dopo l'altra.

Un cubo di Rubik 3x3x3 in una configurazione casuale.

Il gruppo del cubo di Rubik si realizza assegnando a ciascuno 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 generato dalle sei permutazioni corrispondenti alle sei rotazioni in senso orario. Quindi ogni configurazione realizzabile attraverso una sequenza di mosse appartiene al gruppo. Il gruppo del cubo di Rubik è un gruppo non abeliano in quanto la composizione delle mosse non è commutativa; eseguire due sequenze di mosse in ordine differente può portare a configurazioni finali diverse.

Un cubo di Rubik   consiste di   facce, ognuna con   quadrati colorati, per un totale di   quadrati. Un cubo risolto ha ogni quadrato su ciascuna faccia dello stesso colore.

Una mossa consiste in una rotazione di una delle   facce:   o  . 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 di seguito descritte con la notazione di Singmaster:[3]

90° 180° -90°
  Rotazione in senso orario della faccia frontale   Doppia rotazione in senso orario della faccia frontale   Rotazione in senso antiorario della faccia frontale
  rotazione in senso orario della faccia posteriore   doppia rotazione in senso orario della faccia posteriore   rotazione in senso antiorario della faccia posteriore
  rotazione in senso orario della faccia superiore   doppia rotazione in senso orario della faccia superiore   rotazione in senso antiorario della faccia superiore
  rotazione in senso orario della faccia inferiore   doppia rotazione in senso orario della faccia inferiore   rotazione in senso antiorario della faccia inferiore
  rotazione in senso orario della faccia sinistra   doppia rotazione in senso orario della faccia sinistra   rotazione in senso antiorario della faccia sinistra
  rotazione in senso orario della faccia destra   doppia rotazione in senso orario della faccia destra   rotazione in senso antiorario della faccia destra

Struttura del gruppo

modifica

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 S48 in base alle configurazioni che ciascuna mossa fa assumere ai quadrati. Il gruppo del cubo di Rubik G è quindi definito come il sottogruppo generato dalle 6 rotazioni,  .

La cardinalità di G è data da

 .[4]

Nonostante abbia una cardinalità così grande, nessuna configurazione richiederà mai un numero di rotazioni superiore a 20 per ottenere la risoluzione[5] (dove una rotazione di 180 gradi conta come una singola mossa, ma se viene contata come due rotazioni di 90 gradi, allora tale numero è 26[6]).

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

 .[1]

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

Sottogruppi

modifica

Consideriamo due sottogruppi di G: il sottogruppo Co 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:

  (ruota due angoli)
  (inverte due spigoli).

Il secondo sottogruppo   è quello delle permutazioni, ovvero i movimenti che consentono di cambiare la posizione dei cubetti, ma lasciano invariata l'orientazione del cubo:

 

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

 

La struttura di Co è

 

dato che il gruppo della rotazione di ogni angolo è  , mentre per gli spigoli è  , ma solo sette degli otto angoli possono essere ruotati in modo indipendente, perché la disposizione dell'ultimo angolo dipenderà dalla posizione degli altri.

Il sottogruppo delle permutazioni, Cp, è un po' più complicato. Esso contiene i seguenti due sottogruppi normali disgiunti: il gruppo delle permutazioni pari degli angoli A8 e il gruppo delle permutazioni pari degli spigoli A12. Complementare a questi due sottogruppi è una permutazione che scambia due angoli e due spigoli. Questi generano tutte le possibili permutazioni, ovvero

 

Abbiamo che G è isomorfo a

 

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

 

utilizzando la notazione di Griess[senza fonte].

Generalizzazione

modifica

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

 

Se ammettiamo di poter disassemblare il cubo e ricomporlo a piacimento, il gruppo di simmetria del cubo di Rubik è il prodotto diretto

 

Il primo fattore tiene conto soltanto delle rotazioni dei pezzi centrali, il secondo soltanto delle simmetrie degli angoli e il terzo soltanto delle simmetrie degli spigoli,   indica il prodotto intrecciato.

  1. ^ 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.
  2. ^ a b Davis, Tom, Group Theory via Rubik’s Cube (PDF), su geometer.org, 2006. URL consultato il 13 ottobre 2018 (archiviato dall'url originale il 2 ottobre 2013).
  3. ^ David Singmaster, Notes on Rubik's Magic Cube, Penguin Books, 1981, ISBN 0-907395-00-7.
  4. ^ Martin Schönert, Analyzing Rubik's Cube with GAP, su gap-system.org. URL consultato il 13 ottobre 2018 (archiviato dall'url originale il 20 gennaio 2013).
  5. ^ Rokicki, Tomas, God's Number is 20, su cube20.org.
  6. ^ God's Number is 26 in the Quarter-Turn Metric

Voci correlate

modifica

Altri progetti

modifica

Collegamenti esterni

modifica