The analysis of
and structure
We have that
If
then it is true that
is odd.
If
then it is true that
is even.
In this case the even
are even eigenvectors of
. The odd eigenvectors can be used to find the (odd) eigenvectors
of
by the same type of construction used for
By construction
it is
possible to show by reduction over the symmetry that if
there are
even and
odd eigenvectors of
.
If
there are
even and
odd eigenvectors.
Therefore, it is possible to account for all the eigenvectors
of
. The even eigenvectors form what we have called space 4.
The odd eigenvectors form space 1.