Fortunately, we shall not be forced to deal in this
book too much with computations of
matrix multiplications of large matrices.
Roughly speaking,
we shall eventually show how each move of the
Rubik's Cube can be expressed in terms of matrices
(more precisely, as a pair of matrices -
an
matrix corresponding to the movement
of the
corners and a
matrix corresponding to the movement
of the
edges). Therefore, a little bit of
brief background on matrix multiplication
is appropriate.
When you multiply an
matrix
by a
matrix
, you get an
matrix
.
The
entry of
is computed as follows:
In particular, if
is an
matrix and if
if
is an
matrix
then both
and
are column vectors in
and
the above multiplication defines a rule
which sends column vectors to column vectors.
In other words,
defines a map
If
is a square
matrix and if there is a matrix
such that
then we call
the inverse
matrix of
, denoted
.
If you think of
as a function
then
is the
inverse function. As a practical matter,
if
is `small' (say,
)
then matrix inverses can be computed by pencil and paper
using known techniques (see for example [JN]).
For most larger matrices, computers are needed.