The Rubik's Cube was invented by Ernő Rubik as a toy and has long served as a fertile ground for mathematical inquiry, particularly within finite group theory. This natural correspondence between a tangible puzzle and an abstract algebraic structure bridges intuition and formalism, establishing cube groups as canonical examples in both pedagogical and research-oriented algebra. Over the past five decades, extensive research has been devoted to understanding the group-theoretic structure of the Cube. Early investigations established the algebraic decomposition of cube groups via semidirect products, while subsequent work explored generators and relations, the diameter of the Cayley graph, and configuration enumeration. More recently, representation theory and the commutator structure of cube groups have emerged as frontiers, with significant results on minimal representation dimensions and the proof that every element of the commutator subgroup is itself a single commutator. The present paper surveys these group-theoretic foundations underlying Rubik's Cube modeling and solving strategies. It recapitulates essential preliminaries and then focuses on two complementary modelling approaches: the first employs linear algebra and permutation group theory to develop a mathematical reduction model, and the second examines the specific role of commutators in blindfolded solving. The paper concludes with a discussion of future research directions.
Research Article
Open Access