Apart from the exponential functions, these are precisely the well known SHO ladder operators.
The second-order invariant may be directly calculated from eq. (\ref{27}):