4 edited title

# Module in category O not genratedgenerated by a finite set of HWVs.

3 added 95 characters in body

For a while I've been reading J.E.Humphreys's book "Representations of semisimple Lie algebras in the BGG category O$\mathcal O$" under the impression that any module in O$\mathcal O$ has a finite generating set composed of highest weight vectors. Now I've realised that I'm lacking a proof. So what would serve as a counterexample? Or has my assumption been correct for some reason?

I apologize if the answer can be found further on in the book itself!

2 deleted 2 characters in body

For a while I've been reading J.E.Humphreys's book "Representations of semisimple Lie algebras in the BGG category O" under the impression that any module in O has a finite generating set composed of highest weight vectors. Now I've understood realised that I'm lacking a proof. So what would serve as a counterexample? Or has my assumption been correct for some reason?

1