To calculate (2), it helps to visualize the Sn as the successive positions in a random walk.
The knowledge of the invariant subspaces of an operator helps us to visualize its action.