Rubik's cube group elements and their distance from the solved position The Rubik's cube group has 6 2 generators (see EDIT). Let's define the "distance" between two positions dist(A,B) as the shortest sequence of generator moves that takes you from A to B. Now if dist(X,Y) = 1, X and Y can't have the same distance from the solved position.


*

*How do I prove this?

*Is this true for all groups?

*Does this statement have a name, or does it immediately follow from some well-known theorem?
EDIT
As Robert Chamberlain points out in the comments: a minimal generating set of the Rubik's cube group is composed of 2 elements, not 6 as I previously thought.
 A: This depends crucially on the choice of generating set; in fact, as I'll show below, there are size-2 generating sets both with and without (a version of) your property.  The observation you need is this, which has nothing to do with Rubik's cubes:
Lemma:  Suppose $G$ is a finite group, $H < G$ is an index-2 subgroup, and $S$ is a generating set of $G$ that is disjoint from $H$.  Then no $g \in G$ can be written both as a product of an odd number of generators and as a product of an even number of generators.
Proof:  The product of an even number of generators is in $H$, and the product of an odd number isn't.
In fact, conversely, you can see that if some generating set has the property claimed in the lemma, then the set of $g \in G$ that can be written as a product of an even number of generators must be an index-2 subgroup that contains none of the generators.  So index-2 subgroups are the only things that can produce these parity restrictions.
In the case of the Rubik's cube group $G$, let $H$ consist of operations that (ignoring orientations) are even permutations of both edges and corners.  (This is the only index-2 subgroup of $G$; you can prove this by showing it equals the derived subgroup.)  None of the standard six generators are in this subgroup, so the standard generating set has the desired property.
On the other hand, suppose $S = \{g, h\}$ generates $G$.  At least one of the two is outside of $H$; say $g$ is.  Then if $h \in H$, we get another generating set $\{g, gh\}$ with both elements outside of $H$.  Conversely, if $h \notin H$, then $\{g, gh\}$ is a generating set with $gh \in H$.  So given that $G$ has some 2-element generating set (which it does), it must have some with the parity property and some without.
A: I don't think this is easily provable.  Here are some thoughts.
Let $G = \{L,R,U,D,F,B\}$ denote the set of generators.  Let $S$ denote the solved position.  We will think of $X$ as also denoting the element of the Rubik's group that takes you from the solved position to $X$ (similarly for $Y$).  Let $n = dist(S,X)$.  Because $dist(X,Y) = 1$, we have
$$
X = g_n \cdots g_2g_1\\
Y = g_{n+1}g_n \cdots g_2g_1 = g_{n+1}X
$$
with $g_i \in G$. Now, suppose that $dist(S,Y) = n$.  We then have
$$
Y = h_n\cdots h_2h_1
$$
for $h_i \in G$.  Thus, we have
$$
X = g_{n+1}^{-1}h_n\cdots h_2h_1
$$
Now, we have
$$
S = g_n\cdots g_2g_1h_1^{-1}h_2^{-1} \cdots h_n^{-1}g_{n+1}
$$
Now, this is what I think is the missing ingredient:

Conjecture: If $k$ is odd, we cannot have $g_k \cdots g_1 = S$ with $g_1 \in S$.  That is: all relations on the generators preserve parity of length.

If the above were true, we would have reached a contradiction.

Edit: Based on Chamberlain's link, it suffices to note that any generator switches the "parity" of the edges (and simultaneously, that of the corners).  With that, we see that any word of odd length on the generators must switch the parity, and can therefore not be the identity element.
