Finite generation of the quantization parameter semigroup

Let $\mathfrak{h}$ be the Cartan subalgebra and let $\Lambda$ denote the set of parameters for which the corresponding quantization exists, viewed as a semigroup under the semigroup operation defined in the paper. Finite-generation conjecture. The semigroup $\Lambda$ is finitely generated. The conjecture is motivated by examples in which $\Lambda$ is smaller than the corresponding group $\Lambda_{\mathfrak{h}}$, and by examples where the semigroup requires more generators than its associated group. Its status is not determined by the supplied source context.