The “S” in stands for special, meaning that
, then
.
.
The condition obviously requires . It turns out that the converse is true as well and so
as shown in the following.
Let ,
, and
.
Then any matrix in can be represented by
. By the linearity of
. We can show that
and thus
as long as we can show
.
Note that ,
.
Thus,
and for ,
.
Similarly, we can show .
Finally, note that ,
, and
.