Group Axioms and Properties
The Rubik's Cube group (G, •) consists of the set of cube moves, G, and the operation of concatenation, •. Concatenation is a form of function composition.
The group axioms are:
- associativity, function composition is always associative.
- closure, the concatenation of two moves is another move.
- identity element, the empty move concatenated in either order with any other move is the same as .
- inverse element, reversing a move returns the cube to its previous position. Reversing a sequence of moves inverts the sequence.
More specifically, (G, •) is a permutation group. The basic cube moves form a generating set.
The cardinality of G is finite but large. Still, each position can be solved in 20 or fewer moves.
The largest order of an element in G is 1260. For example, .
(G, •) is non-abelian. Since is not the same as, not all cube moves are commutative.
Read more about this topic: Rubik's Cube Group
Famous quotes containing the words group, axioms and/or properties:
“[The Republicans] offer ... a detailed agenda for national renewal.... [On] reducing illegitimacy ... the state will use ... funds for programs to reduce out-of-wedlock pregnancies, to promote adoption, to establish and operate children’s group homes, to establish and operate residential group homes for unwed mothers, or for any purpose the state deems appropriate. None of the taxpayer funds may be used for abortion services or abortion counseling.”
—Newt Gingrich (b. 1943)
““I tell you the solemn truth that the doctrine of the Trinity is not so difficult to accept for a working proposition as any one of the axioms of physics.””
—Henry Brooks Adams (1838–1918)
“The reason why men enter into society, is the preservation of their property; and the end why they choose and authorize a legislative, is, that there may be laws made, and rules set, as guards and fences to the properties of all the members of the society: to limit the power, and moderate the dominion, of every part and member of the society.”
—John Locke (1632–1704)