So in my last question, @joshphysics showed me how to prove $K_\pm$ were ladder operators. Now I need to show that there is a lowest state, i.e $$\langle m_0|K_+=K_-|m_0\rangle=0$$ I am not completely sure how I should approach this. I saw that $$J_3(K_-|m\rangle)=(m-1)(K_-|m\rangle$$ But I do not see how this shows that there has to be a minimum eigenvalue.
EDIT::: So I think I may have figured something out
$$\langle m_0|K_+K_-|m_0\rangle = (K_-|m_0\rangle)^\dagger K_-|m_0\rangle$$ This last quantity should be greater than 0, so we have a minimum state m_0 that we act on and get 0. Does this make sense?