therefore, \(a \) and \(a^{\dagger}\) are ladder operators. As usual, we suppose the existence of a fundamental state, defined by \(a\left|0\right\rangle =0\), and therefore \(n\) must be a natural number. All other eigenstates can be derived from